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

Скачать книгу бесплатно (djvu, 3.27 Mb)

---

Читать «Логический подход к искусственному интеллекту : От классической логики к логическому программированию (Пер. с франц.)»