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

1. Роль логики в системах искусственного интеллекта. 2. Понятие дедуктивного вывода и логического следствия. 3. Автоматизация доказательств - поста...