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

Одним из распространённых подходов к представлению знаний и управлению ими в интеллектуальных системах является подход, основанный на продукциях. Продукции в таких системах обычно имеют импликативную семантику («если справедливо A, то справедливо B», где A и B – некоторые высказывания). При этом в рамках решения задач управления знаниями реализуется прямой и/или обратный логический вывод.

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