Нечеткие логики и образные ряды

Нечеткие множества можно рассматривать как подходящий способ установления упорядочения на множестве возможных миров или на возможных интерпретациях. Такое применение приводит к двум видам нечетких логик с различной семантикой: логике сходства или близости Руспини (Ruspini) и логике предпочтения или возможностей Дюбуа-Прада (Dubois-Prade). Первая занимается различными метриками для возможных миров, а вторая — различением более или менее правдоподобных интерпретаций [7]. Соответственно, логике сходства можно поставить в соответствие истинные образы в ряду, тогда как сравнение истинных и метафорических образов, архетипически послуживших причиной наименования конкретного образного ряда, может осуществляться с использованием обеих логик или логики предпочтения.

При моделировании шаблонов приближенного вывода нечеткие множества используются для выражения следующей семантики: предпочтения, неопределенности и сходства. Один из примеров семантики предполагает выражение таких свойств, как близость, сходство и неразличимость. Если рассматривать элементы со значением функции принадлежности, равным 1, как прототипы нечеткого множества, то другие степени принадлежности оценивают близость элементов к прототипам. Подобная точка зрения соответствует классификации по образцу, когда достаточно близкие объекты собираются в общий нечеткий класс [7]. В образном ряду таким образцом может быть визуальный образ-архетип, в качестве которого может выбираться и образ-метафора.

Рассматривая различаемые сущности как денотаты, а множество объектов восприятия как денотативное пространство [8], можно говорить о денотатах образного ряда в базе знаний и об отражении «подлинников» в системе восприятия пользователя. Но в нашем случае, компоненте реальности в когнитивном процессе сопоставлен ряд денотатов — денотаты «подлинника» в образном нечетком ряде и денотат отражения в когнитивном процессе. Денотаты в ряду можно поставить в соответствие метаденотатам, являющимся производными метапонятий — элементов когнитивного пространства. С каждым метаденотатом соотносится класс (нозологическая группа) или метаобразный ряд, т. е. открытое множество наблюдавшихся, наблюдаемых и/или потенциально возможных (т.е. виртуальных) денотатов, включаемых в данный класс по принципу сходства визуальных проявлений группы заболеваний.

На вход системы могут поступать нечеткие (в смысле отличия от архетипа) образы (например, лица больных), а в базе знаний храниться серии целостных изображений аналогичных образов, представляющих собой прецеденты, имевшие место в прошлом, что должно позволять принимать решение о сходстве с лицом при определенном заболевании. В качестве аналогии можно вспомнить пример Л. Заде [9] в отношении оценки степени принадлежности к классу прекрасных женщин, которое невозможно однозначно формализовать, что приводит к определению функции совместимости не на множестве математически точно определенных объектов, а на множестве обозначенных некими символами впечатлений.

Условие выдвижения гипотезы, в том числе на основе «образа», должно сопровождаться указанием о степени уверенности врача его соответствию (принадлежности) определенной ситуации:

• 1) скорее всего или весьма (очень) вероятно,
• 2) нельзя исключить,
• 3) можно заподозрить,
• 4) противоречивые или спорные сведения,
• 5) сомнительно, но не исключено или маловероятно,
• 6) крайне маловероятно [10].

Эта уверенность складывается, с одной стороны, из полноты наблюдаемых проявлений в смысле степени их совпадения с мысленным псевдовизуальным образом и, с другой стороны, из учета однозначности соответствия конкретного образа другим проявлениям заболевания.