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