Математические основы искусственного интеллекта теория LP-структур для построения и исследования моделей знаний продукционного типа

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