Дополнения

Конкретному выбору направлению поиска может помочь анализ правил:

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

Если количество целевых узлов гораздо меньше по сравнению с узлами данных, то – обратный логический вывод.

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

Функция вывода обеспечивает просмотр правил и/или существующих фактов из рабочей памяти и сопоставление этих фактов с базой правил или добавление фактов по мере необходимости. Для пользователя сохраняется информация о полученных заключениях и/или запрашивается информация, когда для срабатывания очередного правила оказывается недостаточно данных.

Функция управления обеспечивает определение порядка просмотра и применения правил и выполняет следующие функции:

1. Сопоставление. Образец правила сопоставляется с имеющимися фактами.

2. Выбор. Если в конкретной ситуации может быть применено сразу несколько правил, то из них выбирается одно, наиболее подходящее по заданному критерию.

3. Срабатывание. Если образец правила при сопоставлении совпал с какими-либо фактами, то правило срабатывает.

4. Действие. Рабочая память подвергается изменению путѐм добавления в неѐ заключения сработавшего правила. Если в правой части правила содержится указание на какое-либо действие, то оно выполняется.

На практике обычно учитывается история работы, то есть поведение механизма вывода фиксируется в протоколе, чтобы объяснить пользователю полученное заключение.

Действие механизма вывода основано на применении правила заключения,

называемого modus ponens:

На рис. 7 показан цикл работы механизма вывода.