Представление и обработка знаний

60 Шаг 6. Исключить кванторы всеобщности. Пусть задано исходное выражение: F = (  x ) (  T ( x ))  (  y )(  z )( P ( y ) & Q ( y , z )). Выполним поэтапное преобразование и определим множест- во дизъюнктов: Шаг 1. Исключим операции импликации и эквивалентности: F 1 =  ((  x )(  T ( x )))  (  y )(  z )( P ( y ) & Q ( y , z )), Шаг 2. Перенесем отрицание к атомарным формулам: F 2 = (  x )( T ( x ))  (  y )((  z )( P ( y ) & Q ( y , z ))), Шаг 3. Вынести кванторы вперед и сформируем префикс: F 3 = (  x )(  y )[( T ( x ))  ((  z )( P ( y ) & Q ( y , z )))], окончательно имеем: F 4 = (  x )(  y )(  z )[( T ( x ))  ( P ( y ) & Q ( y , z ))]. Шаг 4. Бескванторную часть привести к КНФ: F 5 = (  x )(  y )(  z )[( T ( x )  P ( y )) & ( T ( x )  Q ( y , z ))]. Шаг 5. Исключим кванторы существования: F 6 = (  y )(  z )[( T ( a )  P ( y )) & ( T ( a )  Q ( y , z ))] и окончательно имеем: F 7 = (  z )[( T ( a )  P ( b )) & ( T ( a )  Q ( b , z ))]. Шаг 6. Исключим квантор всеобщности: F 8 = ( T ( a )  P ( a )) & ( T ( a )  Q ( a , z )). В результате преобразований получено следующее множест- во дизъюнктов: С = { T ( a )  P ( a ), P ( a )  Q ( a , z )} . Рассмотрим преобразование суждений, представленных в форме предложений естественного языка на формальном языке