Метод резолюций

Цель моей курсовой работы – ознакомление с методом резолюции и с программами, осуществляющими поиск доказательств с использованием принципа резолюции.
Для достижения заданной цели были поставлены следующие задачи:
– Изучение литературы по теме;
– Продемонстрировать применение метода резолюции и решение
логических задач;
– Практическая часть-рассмотрение задач на Прологе-языке,
построенного на методе резолюции.

Введение
3
Глава 1 Метод резолюции в исчислении высказываний и в исчислении предикатов первого порядка 4
1.1 Принцип резолюции 6
1.2 Точное определение принципа резолюции 14
1.3 Эффективность, правильность и полнота принципа резолюции 16
1.4 Резолюция единичных элементов 17
Глава 2 Стратегии, используемые при доказательстве теорем на основе принципа резолюции
18
Глава 3 Программа, использующая принцип резолюции для нахождения доказательств 23
Глава 4 Программа, использующая принцип резолюции для отыскания следствий 24
Заключение 29
Список использованной литературы