Программирование на языке Пролог для искусственного интеллекта


Содержание


ОБЩИЙ ОБЗОР ЯЗЫКА ПРОЛОГ
Пример программы: родственные отношения
Пример программы: родственные отношения - часть 2
Пример программы: родственные отношения - часть 3
Пример программы: родственные отношения - часть 4
Упражнения
Расширение программы-примера с помощью правил
Расширение программы-примера с помощью правил - часть 2
Расширение программы-примера с помощью правил - часть 3
Расширение программы-примера с помощью правил - часть 4
Расширение программы-примера с помощью правил - часть 5
Расширение программы-примера с помощью правил - часть 6
Расширение программы-примера с помощью правил - часть 7
Упражнения
Рекурсивное определение правил
Рекурсивное определение правил - часть 2
Рекурсивное определение правил - часть 3
Рекурсивное определение правил - часть 4
Рекурсивное определение правил - часть 5
Рекурсивное определение правил - часть 6
Упражнение
Как пролог-система отвечает на вопросы
Как пролог-система отвечает на вопросы - часть 2
Как пролог-система отвечает на вопросы - часть 3
Как пролог-система отвечает на вопросы - часть 4
Как пролог-система отвечает на вопросы - часть 5
Упражнение
Декларативный и процедурный смысл программ
Резюме
Литература
СИНТАКСИС И СЕМАНТИКА ПРОЛОГ ПРОГРАММ
Объекты данных
Атомы и числа
Атомы и числа - часть 2
Переменные
?- Родитель( X, _ )
Структуры
Структуры - часть 2
Структуры - часть 3
Структуры - часть 4
Упражнения
Сопоставление
Сопоставление - часть 2
Сопоставление - часть 3
Сопоставление - часть 4
Сопоставление - часть 5
Упражнения
Декларативный смысл пролог-программ
Декларативный смысл пролог-программ - часть 2
Декларативный смысл пролог-программ - часть 3
Упражнения
Процедурная семантика
Процедурная семантика - часть 2
Процедурная семантика - часть 3
Процедурная семантика - часть 4
Процедурная семантика - часть 5
Процедурная семантика - часть 6
Процедурная семантика - часть 7
Процедурная семантика - часть 8
Процедурная семантика - часть 9
Упражнение
Пример: обезьяна и банан
Пример: обезьяна и банан - часть 2
Пример: обезьяна и банан - часть 3
Пример: обезьяна и банан - часть 4
Пример: обезьяна и банан - часть 5
Пример: обезьяна и банан - часть 6
Опасность бесконечного цикла
Опасность бесконечного цикла - часть 2
Опасность бесконечного цикла - часть 3
Варианты программы, полученые путем переупорядочивания предложений и целей
Варианты программы, полученые путем переупорядочивания предложений и целей - часть 2
Варианты программы, полученые путем переупорядочивания предложений и целей - часть 3
Сочетание декларативного и процедурного подходов
Замечания о взаимосвязи между Прологом и логикой
Упражнение
Резюме
Резюме - часть 2
Литература
СПИСКИ, ОПЕРАТОРЫ, АРИФМЕТИКА
Представление списков
Представление списков - часть 2
Представление списков - часть 3
Некоторые операции над списками
Принадлежность к списку
Сцепление ( конкатенация)
Сцепление ( конкатенация) - часть 2
Сцепление ( конкатенация) - часть 3
Упражнения
Добавление элемента
Удаление элемента
Удаление элемента - часть 2
Подсписок
Перестановки
Перестановки - часть 2
Упражнения
Упражнения - часть 2
Операторная запись (нотация)
Операторная запись (нотация) - часть 2
Операторная запись (нотация) - часть 3
Операторная запись (нотация) - часть 4
Операторная запись (нотация) - часть 5
Упражнения
Упражнения - часть 2
Арифметические действия
Арифметические действия - часть 2
Арифметические действия - часть 3
Арифметические действия - часть 4
Арифметические действия - часть 5
Арифметические действия - часть 6
Арифметические действия - часть 7
Упражнения
Упражнения - часть 2
Резюме
ИСПОЛЬЗОВАНИЕ СТРУКТУР: ПРИМЕРЫ
Получение структурированной информации из базы данных
Получение структурированной информации из базы данных - часть 2
Получение структурированной информации из базы данных - часть 3
Получение структурированной информации из базы данных - часть 4
Получение структурированной информации из базы данных - часть 5
Упражнения
Абстракция данных
Абстракция данных - часть 2
Абстракция данных - часть 3
Упражнение
Моделирование недетерминированного автомата
Моделирование недетерминированного автомата - часть 2
Моделирование недетерминированного автомата - часть 3
Моделирование недетерминированного автомата - часть 4
Моделирование недетерминированного автомата - часть 5
Упражнения
Планирование поездки
Планирование поездки - часть 2
Планирование поездки - часть 3
Планирование поездки - часть 4
Планирование поездки - часть 5
Планирование поездки - часть 6
Планирование поездки - часть 7
Задача о восьми ферзях
Задача о восьми ферзях - часть 2
Задача о восьми ферзях - часть 3
Задача о восьми ферзях - часть 4
Упражнение
Программа 2
Программа 2 - часть 2
Программа 2 - часть 3
Программа 3
Программа 3 - часть 2
Программа 3 - часть 3
Программа 3 - часть 4
Заключительные замечания
Упражнение
Резюме
УПРАВЛЕНИЕ ПЕРЕБОРОМ
Ограничение перебора
Эксперимент 1
Эксперимент 1 - часть 2
Эксперимент 2
Эксперимент 2 - часть 2
Эксперимент 2 - часть 3



Начало