Аннотация доклада.

В докладе представляется созданная автором на основе выполненных им исследований теория LP-структур, описывающая новые эффективные методы для построения широкого спектра моделей знаний продукционного типа. Теория LP-структур предлагает общую методологию анализа продукционных систем в плане их эквивалентности, эквивалентных преобразований, верификации и оптимизации. На основе рассмотрения особенностей продукционных систем в докладе предлагается обобщающая их новая алгебраическая модель. Данная модель базируется на иерархическом множестве (решетке) и содержит дополнительное бинарное отношение с набором специальных (продукционно-логических) свойств.