Transcript Машина вывода

Алгебраическая модель релевантного
обратного вывода
на основе решения уравнений
Светлана Болотова
Воронежский государственный
университет
Математический аппарат
Воронежский государственный университет
Структура решетки
Воронежский государственный университет
Экспертная продукционная система

Факт – некоторое суждение о внешнем мире.

Объект экспертизы – объект, ради исследования
которого разрабатывается экспертная система

Рабочая память - подмножество фактов, которые на
текущий момент работы считаются выполненными
Воронежский государственный университет
База знаний

Правило состоит из предпосылки и заключения.

Предпосылка - выражение над фактами.

Заключение – это действие, которое можно
осуществить, если верна предпосылка.

База знаний - совокупность правил
Воронежский государственный университет
Машина вывода

Машина вывода - программа, осуществляющая
прямой или обратный вывод в продукционной
системе

Прямой вывод: циклическое применение правил к
содержимому рабочей памяти

Обратный вывод: анализ правил в направлении от
заключения к предпосылке
Воронежский государственный университет
Стратегии релевантного LP-вывода
Первый признак релевантности:
Релевантными считаются объекты, чьи значения
присутствуют в максимальном количестве построенных
прообразов.
 Второй признак релевантности:
Значения объекта присутствуют в прообразах
минимальной мощности.

Воронежский государственный университет
Пример
Пример базы знаний с правилами:



если тучи и идти_пешком и выходишь_надолго то взять_зонтик;
если прогноз_плохой и идти_пешком и выходишь_надолго то
взять_зонтик;
если идет_дождик и идти_пешком то взять_зонтик.
Прообразы гипотезы «взять зонтик»:



{тучи, идти_пешком, выходишь_надолго};
{прогноз_плохой, идти_пешком, выходишь_надолго};
{идет_дождик, идти_пешком}.
Воронежский государственный университет
Статистические исследования
Воронежский государственный университет
Стратегии быстрого вывода

Rete - эффективный алгоритм сопоставления с
образцом для продукционных систем, экспертных
систем и баз знаний.

Treat - алгоритм, осуществляющий полное
сопоставление.

Leaps осуществляет компиляцию в язык C множества
правил продукционной системы OPS5
Воронежский государственный университет
СПАСИБО ЗА ВНИМАНИЕ!
Воронежский государственный университет