|
|
Математическое моделирование, 2012, том 24, номер 12, страницы 3–7
(Mi mm3214)
|
|
|
|
Алгебраическая модель релевантного обратного вывода на основе решения уравнений
С. Ю. Болотова Воронежский государственный университет
Аннотация:
Представлен метод обратного вывода для баз знаний продукционного типа, основанный на решении уравнений в алгебраических структурах. Стратегия релевантного вывода направлена на минимизацию обращений к внешнему источнику (базе данных или интерактивному пользователю). Преимущества алгоритмов подтверждены экспериментально для тестовых баз знаний.
Ключевые слова:
решетка, логическое уравнение, продукционная система, обратный вывод.
Поступила в редакцию: 01.10.2012
Образец цитирования:
С. Ю. Болотова, “Алгебраическая модель релевантного обратного вывода на основе решения уравнений”, Матем. моделирование, 24:12 (2012), 3–7
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mm3214 https://www.mathnet.ru/rus/mm/v24/i12/p3
|
|