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

1. Роль логики в системах искусственного интеллекта. 2. Понятие дедуктивного вывода и логического следствия. 3. Автоматизация доказательств — постановка задачи. 4. Метод резолюций для исчисления высказываний. 5. Метод резолюций для исчисления предикатов. Основные этапы: предварительная форма, сколемовская форма, унификация. 6. Достоверные и недостоверные рассуждения. Классификация и примеры. 7. Правдоподобные рассуждения. Абдукция. Немонотонность. 8. Индуктивный вывод, порождение гипотез и правдоподобные рассуждения. Лектор — Олег Кузнецов. Образование для всех. © Телекомпания СГУ ТВ, 2004. Другие лекции смотрите на https://www.youtube.com/playlist?list=PLho0jPYl5RAEY9znw11tUnhhxk_cN6pZd