Тей А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту:
от классической логики к логическому программированию: Пер.с франц.

1990. 432 с. СОСТОЯНИЕ: 4+.

Аннотация

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

Состоит из шести глав:

1. Логика ( исчисление высказываний, исчисление предикатов);

2.Аксиоматические системы ( аксиоматический подход к логике; теории первого порядка);

3.Представление знаний и рассуждений (логическое представление, сетевое представление, объектное представление);