- •127994, Москва, ул. Образцова, 15
- •2.Теоретические основы логическоого программирования
- •2.1.Логика высказываний и логика предикатов.
- •2.1.1.Формулы. Синтаксис и семантика формул.
- •2.1.2.Интерпретация формул в логике высказываний.
- •2.1.3.Интерпретация в логике предикатов первого порядка
- •2.1.4.Равносильность формул логики высказываний
- •2.1.5.Тождественная истинность формул логики высказываний
- •2.1.6.Равносильность формул логики первого порядка
- •2.1.7.Тождественная истинность, общезначимость, выполнимость, противоречивость формул логики предикатов
- •2.1.8.Рассуждения в логике высказываний (предикатов)
- •2.2.Метод резолюций
- •2.2.1.Метод резолюций в логике высказываний
- •2.2.2.Подстановка и унификация
- •2.2.3.Метод резолюций для логики первого порядка
- •2.2.4.Стратегии метода резолюций
- •2.3.Отношения и предикаты
- •3.Пролог- язык РекуРсивно-логического программирования
- •3.1.Пролог-история возникновения
- •3.2.Синтаксис языка пролог
- •3.3.Семантика языка пролог
- •3.4.Язык пролог и метод резолюций. Логическая интерпретация языка Пролог.
- •3.5.Работа в пролог-системе
- •3.6.Описание инфиксных операций
- •3.7.Списки в языке пролог
- •3.8.Арифметика в языке пролог
- •3.9.Отсечение и отрицание в языке пролог
- •3.10.Встроенные предикаты языка пролог
- •3.11.Работа с базой данных в языке пролог
- •3.12.Предикаты поиска
- •3.13.Решение головоломки на языке пролог(задача Эйнштейна)
- •4.Лабораторные работы по РекуРсивно-логическому программированию
- •4.1.Задание n1 Отношения между объектами. (на Прологе и Паскале)
- •4.1.1.Методические указания
- •4.1.2.Варианты
- •4.2.Задание n2. Работа со списками
- •4.2.1.Методические указания
- •4.2.2.Варианты
- •4.3.Задание n3. Разные задачи
- •4.3.1.Методические указания
- •4.3.2.Варианты
- •4.4.Содержание отчета
4.4.Содержание отчета
Титульный лист.
Содержание (содержит названия всех последующих пунктов)
ЗАДАНИЕ N1. Отношения между объектами.
Постановка задачи (копия задания)
Авторское понимание задачи (более детальное изложение возможностей программы своими словами)
Теоретический раздел
Текст(ы) программы(мм)
Результаты тестирования программы(мм)
Выводы по заданию 1.
ЗАДАНИЕ N2. Работа со списками.
(Аналогично)
ЗАДАНИЕ N3. Разные задачи.
(Аналогично)
Упражнения.
ОБЩИЕ ВЫВОДЫ
ИСПОЛЬЗОВАННАЯ ЛИТЕРАТУРА
ЛИТЕРАТУРА
Ч. Чень, Р. Ли Математическая логика и автоматическое доказательство теорем, М.: Наука, 1983.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов, 3-е изд. - М.: Наука, 1995.
Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. -М.: Мир, 1990.- 560 с., ил.
Морозов М.Н. Логическое программирование. ПРОЛОГ. Kурс лекций.- http://www.marstu.mari.ru:8101/mmlab/home/prolog/study_l.html # LEC.- 2001.
Задача Альберта Эйнштейна. - http://ruslit.ioso.ru/puzzle_en.htm
1если множество М – конечно, то можно просто перебрать все его значения и для каждого из них вычислить истинностное значение F, если же множество М – бесконечно, то вычисление истинностного значения представляет собой проблему, которая в общем виде неразрешима, а в каждом конкретном случае может представлять значительные трудности принципиального характера