УДК: 004.825

Алгебраическая модель распределенной логической системы продукционного типа

С. Д. Махортов, д-р физ.-мат. наук, доц., зав. кафедрой, e-mail: makhortov@amm.vsu.ru, Воронежский государственный университет

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

Ключевые слова: распределенная база знаний, продукционная система, LP-структура, логическое замыкание, эквивалентные преобразования, логическая редукция

Стр. 32–38

Работа поддержана грантом РФФИ № 15-07-05341.