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

72 Необходимо вывести пустой дизъюнкт. Применяя описанный метод, последовательно получаем дизъюнкты: 8.  A  A 1 и A  B (1 и 3) : A 1  B . 9.  B  B 1 и A 1   B 1 (2 и 7) : A 1   B . 10. A 1  B и A 1   B (8 и 9) : A 1. 11. A  B и  B  A 1 (3 и 5) : A   A 1. 12.  A   B 1 и  A 1  B 1 (4 и 6) :  A   A 1 . 13. A   A 1 и  A   A 1 (11 и 12) :  A 1 . 14. A 1 и  A 1 (10 и 13) : . В результате получен пустой дизъюнкт, что доказывает ис- тинность целевого утверждения. Рассмотрим еще один пример. Пусть множество дизъюнктов имеет следующий вид: S = { P  R (1),  P  R (2), P   R (3),  P   R (4)}. Необходимо показать, что из S выводится пустой дизъюнкт. Применяя алгоритм вывода, последовательно получаем список дизъюнктов (табл. 3.13). Таблица 3.13 Номер дизъ- юнкта R  R P  P Исходные дизъюнкты резольвенты 1 R P 2 R  P 3  R P 4  R  P 5 R P  R (1),  P  R (2) 6 P P  R (1), P   R (3) 7  P  P  R (2),  P   R (4) 8  R P   R (3),  P   R (4) 9 R (5),  R (8)