Телелекции

Системы искусственного интеллекта. Лекция 2. Логические аспекты и моделирование рассуждений

1. Роль логики в системах искусственного интеллекта. 2. Понятие дедуктивного вывода и логического следствия. 3. Автоматизация доказательств - постановка задачи. 4. Метод резолюций для исчисления высказываний. 5. Метод резолюций для исчисления предикатов. Основные этапы: предварительная форма, сколемовская форма, унификация. 6. Достоверные и недостоверные рассуждения. Классификация и примеры. 7. Правдоподобные рассуждения. Абдукция. Немонотонность. 8. Индуктивный вывод, порождение гипотез и правдоподобные рассуждения

 

Данная передача рекомендуется для просмотра лицам старше 16 лет