Рассматриваются изоморфные отображения схемы Шортлиффа, способные существенно изменять составляющие эту схему функции вычисления коэффициентов уверенности. Исследуются вопросы конструирования изоморфизмов, порождающих схемы правдоподобных рассуждений с заданными свойствами.

Когда-то инженерно-технические работники зачитывались книгой Д.Пойа [8] "Математика и правдоподобные рассуждения". Книга буквально подталкивала к конструированию формальных структур неформальных рассуждений, коих и было придумано весьма немало. Те времена миновали и оставили нам в пользование несколько вполне утвердившихся методов.

В наступившую эпоху инноваций длинная история применений стала едва ли не главным аргументом при выборе схем рассуждений и иных правдоподобных моделей и методов. Именно поэтому любая эвристическая модель, задействованная в десятках проектов, достойна стать предметом отдельного исследования.

В работе рассматривается весьма известная схема правдоподобных рассуждений Э.Шортлиффа (см. разделы 1 и 2), именуемая также моделью Шортлиффа-Бучанана и стэндфордской теорией фактора уверенности [7]. В качестве инструмента исследования выбраны изоморфные отображения (см. разделы 3 и 4), позволяющие строить аналоги схемы Шортлиффа.

С функциональной точки зрения аналоги способны полноценно заменить в экспертной системе оригиал. С точки зрения инженерии знаний внутреннее устройство аналогов (см. разделы 5, 6, 10, 11 и 12) и сам факт их существования открывают новые возможности и порождают новые задачи. В части возможностей вскрывается, например, наличие "родственных связей" с другими областями информатики (см. комментарий к свойству 1 из раздела 6), позволяющие привлечь для целей извлечения знаний наработанные там методы. Кроме того, располагая рядом аналогов, инженер по знаниям может буквально "по-гоголевски" реализовать уникальную схему правдоподобных рассуждений: ... губы аналога-1 да приставить к носу аналога-2 ... и т.д. А главной из вновь приобретенных задач является задача порождения аналога с заданными характеристиками (см. разделы 7, 8 и 9). Комплекс задач формального исследования схем правдоподобного вывода, изоморфных схеме Шортлиффа, и составляют основное содержание последующего изложения.

Итак, схема Шортлиффа (и другие аналогичные системы функций) посредством изоморфных преобразований может изменять свое "обличие" весьма радикально. Однако при этом приходится считаться с тем, что трансформации функции комбинирования могут породить достаточно сложные трансформации функции ослабления. В развитие темы имеет смысл исследовать задачи поиска приемлемой пары трансформаций и/или выбора их допустимых приближений.