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

85 В результате линейного вывода получен пустой дизъюнкт. Поэтому предположение: «Каждый художник любит природу» яв- ляется истинным. Контрольные вопросы для разд. 3 1. Как определяется атом в логике предикатов первого по- рядка? 2. Как определяется формула в логике предикатов первого порядка? 3. Запишите законы логики предикатов. 4. Как проводится интерпретация в логике предикатов пер- вого порядка? 5. Как перейти из формы дизъюнктов к правилам Хорна? 6. Определите сколемовскую форму. 7. Правила удаления кванторов существования. 8. Как привести логическое выражение к форме дизъюнк- тов? 9. Как построить логическую модель по естественно- языковому описанию? 10. Поставьте задачу логического вывода. 11. В чем отличие нисходящего вывода от восходящего? 12. Постройте схему алгоритма восходящего логического вы- вода. 13. Постройте схему алгоритма нисходящего логического вы- вода. 14. Поставьте задачу вывода при использовании метода резо- люций 15. Как находится резольвента? 16. В чем проблема согласования контрарных пар в методе резолюций? 17. Что такое подстановка?