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