Контрольная Логика, вариант 17, номер: 201905

"ДОМАШНЕЕ ЗАДАНИЕ


Формализовать посылки и гипотезу с использованием языка логики первого порядка и показать с помощью метода резолюций, что гипотеза логически следует из посылок или, если это не так, найти такую интерпретацию, в которой все посылки принимают значение «истина», а гипотеза принимает значение «ложь».


Группа РК9-112

17.

Посылки:

1. Всё, что движется, не съедобно.

2. Здесь всё куда-то движется.

Гипотеза: Здесь нет ничего съедобного.

Список использованных источников и литературы

1. Доказательство методом резолюции http://life-prog.ru/view_ekspertnie_systemi.php?id=12 (Дата обращения 30.10.2015)
2. Об автоматическом доказательстве теорем http://ai-center.botik.ru/planning/index.php?ptl=materials/aboutTheoremProving.htm (Дата обращения 30.10.2015)
3. Основы логического программирования. Проверка общезначимости формулы. Метод резолюций http://it.kgsu.ru/Prolog/pro006.html (Дата обращения 30.10.2015)
"