Излагается основанная на решетках алгебраическая теория, которая предназначена для моделирования и управления знаниями в интеллектуальных системах продукционного типа. Многие модели в информатике имеют продукционный характер, а структуры представления информации, как правило, являются иерархическими. Предложенная теория адекватно отражает вторичные продукционные связи в иерархических системах широкого спектра применения, а также обосновывает формальные исследования таких систем на предмет их эквивалентности, эквивалентных преобразований, верификации и оптимизации.
Описаны возможности применения теории LP-структур на примерах из различных областей информатики. Представлена интегрированная среда разработки продукционных экспертных систем, а также реализация в ее составе LP-структуры для верификации и оптимизации баз знаний. Приводятся результаты экспериментов, подтверждающие практическую значимость изложенной теории.
Книга предназначена для студентов, аспирантов и научных работников, занимающихся исследованиями в области алгебраических основ информатики и интеллектуальных систем.
