Логическое программирование

Психология мышления также весьма сдержанно относится к тому, как формируются у человека схемы рассуждений и как он ими пользуется в конкретных ситуациях. Лингвисты, которые много занимались логическими проблемами естественного языка, остались далеки от понимания того, как носитель этого языка строит на нем свои схемы принятия решений.
Цель курсовой работы ― рассмотреть модели рассуждений, их виды и цель их создания.
Актуальность темы моделирования рассуждений представляют интерес для специалистов по интеллектуальным системам и искусственному интеллекту.

Введение………………………………………….………………………………..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