Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397
Номер 6 2020 год
Алгебраическая теория LP-структур развивает методологию управления знаниями в интеллектуальных системах продукционного типа, основанную на формально-логическом представлении. Ее важным достижением является метод релевантного обратного вывода, значительно снижающий число обращений к внешним источникам информации. В основе методологии лежит аппарат продукционно-логических уравнений. В настоящей статье введен и проанализирован расширенный класс таких уравнений для алгебраической модели, выразительные возможности которой охватывают интеллектуальные системы с нечеткой базой знаний. Предложены и обоснованы методы решения этих уравнений. Представленные теоремы создают теоретическую основу для дальнейших продвижений в области оптимизации нечеткого логического вывода.