Моделирование рассуждений в ИИС

Интерес к моделированию рассуждений не случаен. Интеллектуальные системы создаются для того, чтобы овеществлять в технических устройствах знания и умения, которыми обладают люди, чтобы решать задачи, относимые к области творческой деятельности человека, не хуже людей.
В интеллектуальные системы, особенно в те, которые получили название экспертных систем и предназначены для помощи специалистам в решении их задач, необходимо вложить знание о том, как мы рассуждаем, когда ищем решение

Введение………………………………………….………………………………..2
Глава 1. Знания и их представление……………………………………………4
Логические модели……………………………………………………5
Продукционные модели………………………………………………7
1.3 Сетевые модели………………………………………………………..8
1.4 Фреймовые модели……………………………………………………9
Глава 2. Моделирование рассуждений……………………………………….12
2.1 Рассуждения на основе прецедентов………………………………13
2.2 Моделирование рассуждений на основе ограничений……….…….15
2.3 Немонотонные модели рассуждений……………………………….16
2.4 Рассуждения о действиях и изменениях……………………………16
2.5 Рассуждения с неопределенностью……………….………………..17
Глава 3. Логическое программирование…………………………………….18
3.1 Арифметика………………………………… ……………………….20
3.2 Запросы……………………………………………………………….21
3.3 Правила………………………………………………………………23
Заключение………………………………………………………………………25
Список использованной литературы………………………………………….26