Книга: Логический подход к искусственному интеллекту. От классической логики к логическому программированию

Скачать

Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики.

Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, пролог и логическое программирование.

Книга построена так, что для понимания материала от читателя требуется только знание основ информатики.

Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.