Солдатова о.п., лёзина и.в. логическое программиро

Учебное пособие –Самара: СНЦ РАН, 2010 –81 с., ил.
ISBN – 978-593424-486-7
Данное пособие предназначено для студентов направления 010400 «Информационные технологии» и специальности 230102 «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем».
Содержание
Предисловие
Логическое программирование и аксиоматические системы
Общие положения
Автоматизация доказательства в логике предикатов
История вопроса
Скулемовские стандартные формы
Метод резолюций в исчислении высказываний
Правило унификации в логике предикатов
Метод резолюций в исчислении предикатов
Введение в язык логического программирования ПРОЛОГ
Общие положения
Основы языка программирования Пролог
Использование дизъюнкции и отрицания
Унификация в Прологе
Вычисление цели. Механизм возврата
Управление поиском решения
Процедурность Пролога
Структура программ Пролога
Использование составных термов
Использование списков
Применение списков в программах
Поиск элемента в списке
Объединение двух списков
Определение длины списка
Поиск максимального и минимального элемента в списке
Сортировка списков
Компоновка данных в список
Повторение и рекурсия в Прологе
Механизм возврата
Метод возврата после неудачи
Метод повтора, использующий бесконечный цикл
Методы организации рекурсии
Создание динамических баз данных
Использование строк в Прологе
Преобразование данных в Прологе
Представление бинарных деревьев
Представление графов в языке Пролог
Поиск пути на графе
Метод образовать и проверить
Основные стратегии решения задач. Поиск решения в пространстве состояний
Понятие пространства состояния
Основные стратегии поиска решений в пространстве состояний
Поиск в глубину
Поиск в ширину
Сведение задачи к подзадачам и И/ИЛИ графы
Решение игровых задач в терминах И/ИЛИ- графа
Минимаксный принцип поиска решений
Литература