Назовем формальным знанием высказывание естественного языка, обладающее следующей структурой:
ЕСЛИ (A1Y1 A 2Y2... AN-1YN-1A N), ТО В, (2.19)
где {Ai}, В – атомарные высказывания (предикаты),
Yi – логические связки вида И/ИЛИ, N – размерность условия, причем атомарные высказывания – это
aQX, (2.20)
где a – определяемый объект (аргумент),
Q - логическая связка принадлежности вида ЕСТЬ/НЕ ЕСТЬ,
X – обобщение (класс объектов).
Также соблюдается правило очередности в рассмотрении фразы для понимания: сначала все связки И применяются к двум смежным предикатам, а затем все связки ИЛИ применяются к результатам предшествующих операций.
Например, классический вывод «Если Сократ человек, а человек смертен, то и Сократ смертен» можно преобразовать к структуре формального знания по следующим правилам:
вводится два класса объектов X1 = «Человек (Люди)» и X2 = «Смертный (-ая, -ое)»;
рассматриваются два аргумента: a1 = «Сократ», a2 = «Человек» = X1.
Тогда наше знание имеет формулу
ЕСЛИ a1 ЕСТЬ X1 И (a2 = X1) ЕСТЬ X2 ТО a1 ЕСТЬ X2 (2.21)
