Механизм обратного вывода в ЭС логического типа. (Процесс вывода решения в ЭС продукционного типа)

Процесс вывода решения в экспертной системе продукционного типа

Для того, чтобы «запустить» машину вывода при наличии системы продукционных правил, очевидно, что необходимы следующие компоненты:

задание значений переменных, используемых в продукциях;

сами правила-продукции,

механизм интерпретации правил.

Значения переменных обычно задаются в так называемой рабочей базе данных – РБД (рабочая память) в виде набора конкретных фактов, формат которых согласуется с форматом правил. Совокупность правил-продукций является сердцем системы и называется базой знаний или правил (БЗ). Механизм интерпретации правил как раз и является механизмом вывода (МВ).

Рассмотрим механизм вывода в продукционной системе.

Как следует из сказанного, под продукционной системой (ПЭС) понимается совокупность:

ПЭС = < РБД, БЗ, МВ >

В каждом цикле интерпретации выполняется следующие процессы:

- определяется множество означиваний, т.е. выделяется набор продукций БЗ и фактов из РБД, согласующихся между собой;

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

Легко показать, что продукционные системы являются некоторым неформальным обобщения нормальных алгоритмов А.А. Маркова. Очевидно, что в продукционной модели легко просматриваются аналогии:

РБД – с её помощью моделируются текущие состояния предметной области;

БЗ – модель самой предметной области;

МВ – модель механизма принятия решений (вывода) – прямой аналог человеческим рассуждениям.

Таким образом, обобщенный алгоритм работы состоит из:

- задания каким-либо образом модели текущего состояния предметной области (прямой диалог, моделирование, генерация, интерполяция и т.д.);

- интерпретации текущего состояния предметной области (т.е. РБД) на БЗ и выработки вариантов решения;

- выбора по какому-либо способу варианта решения и выдачи его на выход системы для пользователя;

- изменения состояния модели предметной области (РБД), путем выполнения действий и процедур, рекомендованных в послесловиях.

Управление процессом вывода осуществляется путем изменения состояния РБД и не затрагивает БЗ.