Введение…………………………………………………………………………
Глава 1 Принцип резолюций в логике высказываний………………………
1.1 Описание метода резолюции………………………………………
1.2 Теорема метода резолюций…………………………………………
1.3 Применение метода резолюций для доказательства…………….
Глава 2 Метод резолюций в логике предикатов……………………………
2.1 Унификация выражений…………………………………………..
2.2 Алгоритм унификации…………………………………………….
2.3 Пример унификации……………………………………………….
Глава 3 Стратегии метода резолюций………………………………………
3.1 Основные стратегии метода резолюций…………………………
3.2 Стратегия полного перебора………………………………………
3.3 Стратегия опорного множества…………………………………..
3.4 Стратегия предпочтения одночленам……………………………
3.5 Линейная стратегия……………………………………………….
Глава 4 Примеры использования метода резолюций………………………
Заключение…………………………………………………………………..
Список используемой литературы…………………………………………..
Приложения…………………………………………………………………..