- •21. Модели представления знаний. Классификация и общая характеристика.
- •2) Продукционные;
- •3) Индуктивного обобщения;
- •22. Вопрос алгебры логики – логические модели представления знаний.
- •24. Модель представления знаний, основанная на исчислениях высказываний.
- •25. Метод Ван-хао
- •26. Модель представления знаний на основе исчисления предикатов первого порядка.
- •27. Канонизация выражений в исчислениях предикатов.
- •34. Унификация выражений в методе резолюций
27. Канонизация выражений в исчислениях предикатов.
28. Префиксная нормальная форма
29. Сколемовская нормальная форма
30 Конъюктивная нормальная форма
31 Клаузальная нормальная форма
33 Метод резолюции в исчислении предикатов.
Суть метода резолюции состоит:
В проверке того, содержит или не содержит S пустое предложение;
В проверке того, выводится или не выводится пустое предложение из S, если оно в S отсутствует.
Введём новые определения:
Предикат и его отрицания вместе называются литералом или литерой;
Дизъюнкция литер, входящих в предложение называются дизъюнктом;
Дизъюнктом Хорна являются дизъюнкты, имеющие не более одного положительного литера;
Дизъюнкт, не содержащий никаких литер, называется пустым. Обычно его обозначают знаком . Так как пустой дизъюнкт не содержит литер, которые могли бы быть истинными при любых интерпретациях, то он всегда ложен;
Контрарной парой литер называется пара, состоящая из P и P .
Резольвентой дизъюнктов называется новый дизъюнкт, образованный из оставшихся частей после вычёркивания контрарных пар литер.
Основная идея принципа резолюции заключается в проверке, содержит ли множество дизъюнктов S пустой дизъюнкт. Если S содержит пустой дизъюнкт, то формула является ложью, следовательно, “В” выводится из групп предикатов. Если же S не содержит , то следующие шаги процедуры заключаются в выводы новых дизъюнктов, пока не будет получен пустой дизъюнкт.
34. Унификация выражений в методе резолюций