Поспелов Д. А. Моделирование рассуждений. Опыт анализа мыслительных актов.—М.: Радио и связь, 1989.—184 c.

 

 

Предисловие 3
Глава первая. У истоков формальных рассуждений 5
Правое и левое- 5
Пралогнческое мышление 9
Дети, родители и взрослые 16
Как рассуждает ребенок 24
Особенности человеческих рассуждений 27
Глава, вторая. Силлогистика и герменевтика рассуждений 31
Что сделал Аристотель? 31
Силлогистика Аристотеля 34
Расширения силлогистики Аристотели 46
Моделирование силлогистики 55
Забытые науки 62
Глава тр еть я. Автоматизация достоверных рассуждений 70
Исчисление высказываний 70
<С Логик-теоретик» 76
Исчисление предикатов 79
Общая схема вывода 83
Глава четвертая. Автоматизация правдоподобных рассуждений . . 87
От Аристотеля до Бэкона 87
Индукция Джона Стюарта Мнлля 90
Рассуждения по аналогии 98
ДСМ-метод 105
Нечеткий вывод ПО
Нечеткая силлогистика 117
Коллекция схем . . 122
Глава пятая. Вывод в базе знаний 124
Что такое интеллектуальная система 124
Продукционные системы 131
Управление выводом 135
Вывод на семантической сети 140
Спрашивай — Отвечаем 147
Глава шестая. Рассуждения и поведение 151
Рационален ли человек? 151
Ты прав, но это меня не убеждает» 153
"Сон думает, что... " 156
Текст и рассуждение 161
"Верую, ибо абсурдно!" 163

Краткое заключение 166
Комментарий 167
Список литературы . . 179