Читать онлайн «Системы представления знаний: Описание самостоятельной работы студентов»
Автор Федор Новиков
Санкт-Петербургский государственный университет
информационных технологий, механики и оптики
Описание самостоятельной работы студентов
по дисциплине
«Cистемы представления знаний»
Новиков Ф. А. ,
канд. физ. -мат. наук, доцент кафедры «Технологии программирования»
Санкт-Петербург
2007
1
2
Оглавление
Введение ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5
Тема 1. Прикладные системы с искусственным интеллектом... ... ... ... ... . . 7
1. 1. Вопросы для самопроверки ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 7
Тема 2. Представление знаний системами продукций ... ... ... ... ... ... ... ... ... . . 9
2. 1. Вопросы для самопроверки ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 9
2. 2. Задачи для самостоятельного решения ... ... ... ... ... ... ... ... ... ... ... ... ... . . 10
2. 2. 1. Людоеды и миссионеры ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 11
2. 2. 2. Линейные шашки... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 11
2. 2. 3. Задача о разливе воды ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 12
2. 2. 4. Приведение к каноническому виду ... ... ... ... ... ... ... ... ... ... ... ... ... . 12
Тема 3. Алгоритмы поиска ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 13
3. 1. Вопросы для самопроверки ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 13
3. 2. Задачи для самостоятельного решения ... ... ... ... ...
... ... ... ... ... ... ... ... . . 14
3. 2. 1. Задача коммивояжера... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 15
3. 2. 2. Задача о четырех ферзях ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 15
3. 2. 3. Игра НИМ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 15
3. 2. 4. Игра калах... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 16
Тема 4. Представление знаний формулами исчисления предикатов ... . 18
4. 1. Вопросы для самопроверки ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 18
4. 2. Задачи для самостоятельного решения ... ... ... ... ... ... ... ... ... ... ... ... ... . . 19
4. 2. 1. Метод резолюций для исчисления высказываний ... ... ... ... ... . 20
4. 2. 2. Метод резолюций для исчисления предикатов ... ... ... ... ... ... ... 20
4. 2. 3. Представление утверждений предикатами ... ... ... ... ... ... ... ... ... . 20
4. 2. 4. Альпинклуб ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 21
4. 2. 5. Мир кубиков... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 21
Тема 5. Система дедукции на основе правил... ... ... ... ... ... ... ... ... ... ... ... ... ... . 23
3
5. 1.
