Интерпретатор правил.

Механизм вывода или интерпретатор правил выполняет две функции:

1. Просмотр и обновление фактов в рабочей памяти

2. Определение порядка просмотра и применения правил.

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

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

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