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

58 Пусть областью интерпретации D является население города Казани и задан предикат P ( x , y ) означающий, что житель x старше или одного возраста с жителем y . Тогда в данной интерпретации выполняется следующее правило: ( ) x yP x, y   . (3.1) Всегда найдется такой житель x , который будет не младше (старше или одного возраста) любого жителя y . Найдем и обозна- чим такого жителя через a . Тогда, если (3.1) является истинной формулой и один из старейших жителей найден, то и следующая формула будет принимать истинное значение: ( , ) yP a y  . Пусть областью интерпретации D является множество дейст- вительных чисел. Пусть задан предикат P ( x , y ), означающий, что y больше x. Тогда в данной интерпретации выполняется правило: ( , ) x yP x y   . Всегда можно найти такой y , который будет больше x , на- пример, используя функцию: y = f ( x ) = x + 1. Тогда следующая формула будет иметь истинное значение ( , ) ( , ( )) x yP x y xP x f x     . Приведение логического выражения к сколемовской форме проводится поэтапно: Шаг 1. Исключение импликации и эквивалентности. Для это- го необходимо произвести замены: F  G на  F  G ; F  G на ( F  G ) & ( G  F ) и затем на (  F  G ) & ( F   G ).