
- •Лабораторная работа 1. Решение логических задач
- •Константы, переменные, домены
- •Предикаты, факты, структура логической программы
- •Унификация, доказательство простых целей
- •Доказательство составных целей, правила
- •Пример выполнения лабораторной работы
- •Варианты заданий
- •Лабораторная работа 2. Обработка списков
- •Рекурсивные предикаты
- •Пример выполнения лабораторной работы
- •Варианты заданий
- •Лабораторная работа 3. Недетерминированное программирование
- •Понятие недетерминированного программирования
- •Пример выполнения лабораторной работы
- •Варианты заданий
- •17) Задача об устойчивых браках (Стерлинг л., Шапиро э. Искусство программирования на языке Пролог./Пер. С англ. — м.: Мир, 1990. — 335 с., стр. 173):
- •Лабораторная работа 4. Динамическая база данных
- •Динамическая база данных
- •Составные домены
- •Пример выполнения лабораторной работы
- •Варианты заданий
- •Библиографический список
Варианты заданий
Используя динамическую базу данных, списки и составные термы реализовать программу для обработки предложенного ниже варианта набора данных, выполняющую:
— включение/исключение/замену данных;
— 4-5 поисковых запроса (разработать самостоятельно и согласовать с преподавателем).
Расписание авиарейсов.
Железнодорожное расписание.
Купля/продажа/сдача/наем/обмен недвижимости.
Телефонный справочник организации.
Учет результатов экзаменационных сессий.
Подбор персонала (вакансии и резюме).
Учет технических осмотров автомобилей в автопарке.
Планы изданий и заказ книг.
Бронирование номеров в гостиницах.
Учет выданных книг в библиотеке.
Учет выдачи фильмов в прокате.
Инвентаризация лабораторий университета (аудитории, установленная техника).
Маршруты городского транспорта.
Учет сотрудников в отделе кадров.
Репертуар театров.
Учет услуг абонентам мобильной связи.
Котировки ценных бумаг.
Запись к врачам в поликлинике.
Проведение научной конференции.
Учет товаров на складе.
Библиографический список
Братко И. Алгоритмы искусственного интеллекта на языке PROLOG./Пер. с англ. — М.: Вильямс, 2004. —640 с.
Братко И. Программирование на языке Пролог для искусственного интеллекта./Пер. с англ. — М.: Мир, 1990. — 560 с.
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог./Пер. с англ. — М.: Мир, 1990. — 335 с.
Лорьер Ж.Л. Системы искусственного интеллекта./Пер. с франц. — М.: Мир, 1991 г. — 568 с.
Содержание
Лабораторная работа 1. Решение логических задач 3
1. Константы, переменные, домены 3
2. Предикаты, факты, структура логической программы 4
3. Унификация, доказательство простых целей 6
4. Доказательство составных целей, правила 8
5. Пример выполнения лабораторной работы 12
6. Варианты заданий 16
Лабораторная работа 2. Обработка списков 17
1. Списки 17
2. Рекурсивные предикаты 18
3. Пример выполнения лабораторной работы 23
7. Варианты заданий 24
Лабораторная работа 3. Недетерминированное программирование 27
1. Понятие недетерминированного программирования 27
2. Пример выполнения лабораторной работы 28
3. Варианты заданий 32
Лабораторная работа 4. Динамическая база данных 36
1. Динамическая база данных 36
2. Составные домены 39
3. Пример выполнения лабораторной работы 41
8. Варианты заданий 46
Библиографический список 47