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

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