Материал: Описание самостоятельной работы студентов по дисциплине Cистемы представления знаний
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Описание самостоятельной работы студентов по дисциплине
«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. Вопросы для самопроверки............................................................ |
23 |
5.2. Задачи для самостоятельного решения......................................... |
24 |
5.2.1. Задача об умных студентах...................................................... |
24 |
Тема 6. Автоматический синтез программ .............................................. |
25 |
6.1. Вопросы для самопроверки............................................................ |
25 |
6.2. Задачи для самостоятельного решения......................................... |
26 |
6.2.1. Определение квадранта............................................................ |
26 |
6.2.2. Элементарная физика............................................................... |
27 |
6.2.3. Максимум.................................................................................. |
27 |
4
Введение
Самостоятельная работа студентов по курсу «Системы представления знаний» проводится в двух направлениях.
Первое направление — подготовка доклада для выступления на учебном семинаре. Порядок и подготовки доклада и требования к нему изложены в описании практической работы студентов по курсу «Системы представления знаний». Лабораторный практикум по курсу «Системы представления знаний» выполняется в форме семинаров с докладами студентов. Каждый студент в течение семестра должен подготовить и провести один семинар на выбранную тему.
Целью лабораторного практикума по дисциплине «Системы представления знаний» является:
•изучение студентом новейших достижений искусственного интеллекта в отдельной выбранной предметной области;
•приобретение практических навыков подготовки презентаций и демонстраций с помощью компьютера;
•приобретение опыта владения аудиторией при проведении презентации.
Целью самостоятельной работы студента по первому направлению является расширение кругозора студента за пределы лекционного курса, изложенного в учебно-методическом пособии «Системы представления знаний» Второе направление самостоятельной работы студентов имеет другую
цель – углубить и закрепить знания и навыки студентов именно в объеме материала, охваченного лекционным курсом.
5