Паскаль Грибомон - автор 3 книг. Из известных произведений можно выделить: Логический подход к искусственному интеллекту. От классической логики к логическому программированию, Логический подход к искусственному интеллекту. Книга 2: От модальной логики к логике баз данных, Логический подход к искусственному интеллекту. Книга 1: От классической логики к логическому программированию. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.
Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понима...
Монография французских математиков, представляющая собой продолжение книги «Логический подход к искусственному интеллекту: От классической логики к логическому программированию» (1990). Она включает основы модальных и временных логик, анализ естественных языков, семантики Монтегю, немонотонных логик и логической теории баз данных. Изложение живое и наглядное, сопровождаемое графическими иллюстраци...
Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждений, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понима...