ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

С.Ю. Болотова, С.Д. Махортов "Алгоритмы релевантного обратного вывода на основе решения продукционно-логических уравнений"

Аннотация.

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

Ключевые слова:

решетка, логическое уравнение, продукционная система, обратный вывод, верификация знаний.

Стр. 40-50.

Полная версия статьи в формате pdf.