Например, классический вывод «Если Сократ человек, а человек смертен, то и Сократ смертен» можно преобразовать к структуре формального знания по следующим правилам:
вводится два класса объектов X1 = «Человек (Люди)» и X2 = «Смертный (-ая, -
ое)»;
рассматриваются два аргумента: a1 = «Сократ», a2 = «Человек» = X1.
Тогда наше знание имеет формулу ЕСЛИ a1 ЕСТЬ X1 И (a2 = X1) ЕСТЬ X2
ТО a1 ЕСТЬ X2 (П1.25)
Очень часто в структуре знаний классы объектов являются нечеткими понятиями. Также высказывающиеся лица могут делать выводы, содержащие элементы неуверенности, оценочности. Это заставляет нас переходить от знаний в классическом понимании к знаниям нечетким.
Введем следующий набор лингвистических переменных со своим терм-
множеством значений:
= Отношение принадлежности = {Принадлежит, Скорее всего принадлежит, Вероятно принадлежит,...., Вероятно не принадлежит, Скорее всего не принадлежит, Не принадлежит}
(П1.26)
= Отношение следования = {Следует, Скорее всего следует, Вероятно следует,...., Вероятно не следует, Скорее всего не следует, Не следует }
(П1.27)
AND/OR = Отношение связи = {И/ИЛИ, Скорее всего И/ИЛИ, Вероятно И/ИЛИ,....}
(П1.28)
