Условие:
Понятие “искусственный интеллект”
Мыслить подобно человеку (thinking humanly): подход, основанный на когнитивном моделировании
«ИИ – новое захватывающее направление по созданию машин, способных думать…, машин обладающих разумом»
Требуются научные теории функционирования мозга.
Как проверить?
Подходы:
1) Прогнозирование и тестирование поведения людей (подход сверху вниз)
2) Прямая идентификация по неврологическим данным (снизу вверх)
Оба подхода (грубо говоря, когнитивная наука и когнитивная нейробиология) теперь не входят в ИИ.
Думать рационально (thinking rationally): подход, основанный на использовании «законов мышления»
«Изучение способности рассуждать с помощью вычислительных моделей»
Аристотель: разрабатывал правильные схемы рассуждений. Его силлогизмы позволяют прийти к правильным заключениям при верных предпосылках. Например: «Сократ – человек; все люди смертны; следовательно Сократ смертен»
Несколько греческих школ разработали различные логики: систему обозначений и правила вывода заключений.
В 1965 году предложен принцип резолюции – способ механизации вывода для разрешимых формальных систем.
Проблемы:
1) Сложно выразить неформальные знания в формальных терминах;
2) Возможность решить задачу “в принципе” не означает, что её удастся решить на практике – проблема комбинаторного взрыва.
Действовать рационально (acting rationally): подход, основанный на использовании рациональных агентов
Вычислительный интеллект – это наука о проектировании интеллектуальных агентов
