М.: ВМиК МГУ, 2002. — 83 с.
В пособии излагаются основные понятия и алгоритмы теории эвристического поиска, представляющей одно из классических направлений исследований в области искусственного интеллекта. Пособие предназначено для студентов факультета ВМК МГУ в поддержку основного курса «Искусственный интеллект», а также для студентов и аспирантов программистских специальностей.
Оглавление:
Подходы к решению задач.
Представление задач в пространстве состояний.
Основные понятия.
Примеры пространств состояний.
Редукция задач.
Основные понятия.
И/ИЛИ графы. Решающий граф.
Пример: задача символьного интегрирования.
Алгоритмы поиска решения.
Разновидности поиска.
Слепой поиск.
Поиск вширь.
Поиск вглубь.
Слепой перебор и бектрекинг.
Эвристический поиск.
Алгоритм эвристического поиска.
Допустимость алгоритма эвристического поиска.
Алгоритм «подъема на холм».
Лисп- и Плэнер-алгоритмы поиска в пространстве состояний.
Слепой поиск на Лиспе.
Поиск вглубь на Плэнере.
Эвристический поиск на Лиспе.
Алгоритм «подъема на холм» на Плэнере.
Решения модельных задач.
Задача о коммивояжере (Лисп и Плэнер).
Задача об обезьяне (Плэнер).
Игра в восемь (Лисп).
Поиск на И/ИЛИ-графах.
Особенности поиска.
Схема просмотра И/ИЛИ-дерева.
Различия и ключевые операторы.
Поиск на игровых деревьях.
Деревья игры. Поиск выигрышной стратегии.
Минимаксная процедура.
Альфа-бета процедура.
Плэнер-алгоритмы поиска на игровых деревьях.
Краткие сведения о языках Лисп и Плэнер.
Язык программирования Лисп.
Определение новых функций.
Операции над списками.
Арифметические функции.
Предикаты.
Логические функции.
Другие специальные функции.
Блочная и связанные с ней функции.
Язык программирования Плэнер.
Определение новых функций.
Операции над списками.
Арифметические функции.
Предикаты.
Логические функции.
Блочная и связанные с ней функции.
Сопоставление с образцом.
Режим возвратов.
Литература.