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

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