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

84 2) преобразования высказывания в префиксную форму:  x ( P ( x ) &  W ( x )) = =  x  (P ( x ) &  W ( x )) =  x (  P ( x )  W ( x )); 3) удаление квантора всеобщности:  x (  P ( x )  W ( x ))   P ( x )  W ( x ); 4) запись в форме дизъюнктов:  P ( x )  W ( x ). Аналогично проводится нормализации правил 2)-4). 4. Запись дизъюнктов множества S с использованием сле- дующего порядка литер при записи упорядоченных дизъюнктов:  P ,  W ,  G , L ,  S , W , G , S : 1)  P ( x )  W ( x ); 2)  W ( x )  G ( x ); 3)  G ( x )  S ( x ); 4) L ( x )   S ( x ); 5) P ( a ); 6)  L ( a ). Выведем пустой дизъюнкт методом линейной резолюции (рис. 3.7). 10. Используем унификатор:  ={x  a}: 10.  P(a)  W(a)  G(a)  S(a)  L(a) 10.  P(a)  W(a)  G(a)  S(a)  L(a) 10.  P(a) 1.  P(x)  W(x) 2.  W(x)  G(x) 7.  P(x)  W(x)  G(x) 3.  G(x)  S(x) 8.  P(x)  W(x)  G(x)  S(x) 4. L(x)   S(x) 9.  P(x)  W(x)  G(x)  S(x)  L(x) 6.  L(a) 5. P(a) 11. № Боковые дизъюнкты Центральные дизъюнкты Рис. 3.7. Пример линейного вывода пустого дизъюнкта