Поспелов Д.А. Моделирование рассуждений. Опыт анализа мыслительных актов

Москва: Радио и связь, 1989. — 184 с. — I5ВN 5-256-00183-3.Описываются, дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений. Рассматриваются методы рассуждений, опирающиеся на знания и на особенности человеческого языка. Показано, как подобные рассуждения могут применяться для принятия решений в интеллектуальных системах.Предисловие
У истоков формальных рассуждений
Правое и левое
Пралогическое мышление
Дети, родители и взрослые
Как рассуждает ребенок
Особенности человеческих рассуждений
Силлогистика и герменевтика рассуждений
Что сделал Аристотель?
Силлогистика Аристотеля
Расширения силлогистики Аристотеля
Моделирование силлогистики
Забытые науки
Автоматизация достоверных рассуждений
Исчисление высказываний
«Логик-теоретик»
Исчисление предикатов
Общая схема вывода
Автоматизация правдоподобных рассуждений
От Аристотеля до Бэкона
Индукция Джона Стюарта Милля
Рассуждения по аналогии
ДСМ-метод
Нечеткий вывод
Нечеткая силлогистика
Коллекция схем
Вывод в базе знаний
Что такое интеллектуальная система
Продукционные системы
Управление выводом
Вывод на семантической сети
Спрашивай — Отвечаем
Рассуждения и поведение
Рационален ли человек?
«Ты прав, но это меня не убеждает»
«Он думает, что.»
Текст и рассуждение
«Верую, ибо абсурдно!»
Краткое заключение
Комментарий
[Список литературы