ПРЕДИСЛОВИЕ
Глава первая. У ИСТОКОВ ФОРМАЛЬНЫХ РАССУЖДЕНИЙ
Правое и левое
Пралогическое мышление
Дети, родители и взрослые
Как рассуждает ребенок
Особенности человеческих рассуждений
Глава вторая. СИЛЛОГИСТИКА И ГЕРМЕНЕВТИКА РАССУЖДЕНИЙ
Что сделал Аристотель?
Забытые науки
Глава третья. АВТОМАТИЗАЦИЯ ДОСТОВЕРНЫХ РАССУЖДЕНИЙ
Исчисление высказываний
«Логик-теоретик»
Исчисление предикатов
Общая схема вывода
Глава четвертая. АВТОМАТИЗАЦИЯ ПРАВДОПОДОБНЫХ РАССУЖДЕНИЙ
От Аристотеля до Бэкона
Индукция Джона Стюарта Милля
Рассуждения по аналогии
ДСМ-метод
Нечеткий вывод
Нечеткая силлогистика
Коллекция схем
Глава пятая. ВЫВОД В БАЗЕ ЗНАНИЙ
Что такое интеллектуальная система
Продукционные системы
Управление выводом
Вывод на семантической сети
Спрашивай – Отвечаем
Глава шестая. РАССУЖДЕНИЯ И ПОВЕДЕНИЕ
Рационален ли человек?
«Ты прав, но это меня не убеждает»
«Он думает, что…»
Текст и рассуждение
«Верую, ибо абсурдно!»
КРАТКОЕ ЗАКЛЮЧЕНИЕ
КОММЕНТАРИЙ
Глава первая
Глава вторая
Глава третья
Глава четвертая
Глава пятая
Глава шестая
СПИСОК ЛИТЕРАТУРЫ
