|
Автор: Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П.
-
Ключові слова:
логічне програмування, логическое программирование, logical programming, programmation logique ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; штучний інтелект,ШІ, искусственный интеллект, ИИ,artificial intelligence, l`intelligence artificielle
-
Анотація:
Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики к логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание основ информатики. Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.
-
Електронні версії документа:
-
Теми документа
-
Персоналії // Грибомон Паскаль
-
Персоналії // Луи Жорж
-
УДК // Математична логіка
-
ББК // Обчислювальна техніка
-
Персоналії // Тейз Андре
-
УДК // Штучний інтелект
|
