Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование. Пролог и логическое программирование. Кинга построена так, что для понимания материала от читателя требуется только знание основ информатики. Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.
Пароль на архив: www.aiportal.ru
Скачать «Логический подход к искусственному интеллекту»
Размер: 3.07 МБайт
Формат электронной книги: DjVu
Авторы: А. Тей, П. Грибомон и другие