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

• ПРЕДИСЛОВИЕ

• Глава первая. У ИСТОКОВ ФОРМАЛЬНЫХ РАССУЖДЕНИЙ
• Правое и левое
• Пралогическое мышление
• Дети, родители и взрослые
• Как рассуждает ребенок
• Особенности человеческих рассуждений

• Глава вторая. СИЛЛОГИСТИКА И ГЕРМЕНЕВТИКА РАССУЖДЕНИЙ
• Что сделал Аристотель?
• Забытые науки

• Глава третья. АВТОМАТИЗАЦИЯ ДОСТОВЕРНЫХ РАССУЖДЕНИЙ
• Исчисление высказываний
• «Логик-теоретик»
• Исчисление предикатов
• Общая схема вывода

• Глава четвертая. АВТОМАТИЗАЦИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ
• От Аристотеля до Бэкона
• Индукция Джона Стюарта Милля
• Рассуждения по аналогии
• ДСМ-метод
• Нечеткий вывод
• Нечеткая силлогистика
• Коллекция схем

• Глава пятая. ВЫВОД В БАЗЕ ЗНАНИЙ
• Что такое интеллектуальная система
• Продукционные системы
• Управление выводом
• Вывод на семантической сети
• Спрашивай – Отвечаем

• Глава шестая. РАССУЖДЕНИЯ И ПОВЕДЕНИЕ
• Рационален ли человек?
• «Ты прав, но это меня не убеждает»
• «Он думает, что…»
• Текст и рассуждение
• «Верую, ибо абсурдно!»

• КРАТКОЕ ЗАКЛЮЧЕНИЕ

• КОММЕНТАРИЙ
• Глава первая
• Глава вторая
• Глава третья
• Глава четвертая
• Глава пятая
• Глава шестая

• СПИСОК ЛИТЕРАТУРЫ