В книге изложены в значительной степени развитые в работах предшественников различные способы представления знаний в глобальных базах данных коммутативных и некоммутативных систем продукций. Рассмотрены формализованные операции для получения новых решений, в частности способы расширения баз данных, что отвечает процедурам обучения. Основное внимание уделяется методам формирования на основе математики и математической логики языков искусственного интеллекта, таких как Пролог и Лисп. Обсуждаются особенности применения нечеткой логики для создания алгоритмов и искусственных нейронных сетей. Представлены технологии создания планов для роботов с учетом конфликтов целей. Обсуждаются проблемы описания и реализации семантических сетей и семантической паутины.

Простые экспертные системы, элементы формальной логики, сущность языка − исчисления предикатов