Классическая монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с позиции математической логики.
Состоит из шести глав:
1. Логика ( исчисление высказываний, исчисление предикатов);
2.Аксиоматические системы ( аксиоматический подход к логике; теории первого порядка);
3.Представление знаний и рассуждений (логическое представление, сетевое представление, объектное представление);
4.Логика... (Подробнее)