Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 40 стр.

      В продукционной модели знания представлены совокупностью право вида "ЕСЛИ - ТО".
При этом левая часть правила описывает определенную ситуацию, представленную в
соответствии с нормальными правилами, а правая часть представляет собой действие, вы-
полнение которого предполагается в случае обнаружения соответствующей ситуации. В ИС,
основанных на продукционной модели, способ получения вывода представляет собой модус
поненс Раздел 3). Продукционная система состоит из трех основных компонентов, а именно: I)
набора правил, используемого как база знаний; 2) рабочей памяти, в которой хранятся
предпосылки, касающиеся конкретных задач предметной области, и результаты выводов,
полученных на их основания; 3) механизма логического вывода, использующего правила в
соответствии с содержимым рабочей памяти.
      Взаимодействие элементов продукционной системы рассмотрим на примере. Допустим,
что данные, записываемые в рабочую память, представляют собой образец в виде наборов
"атрибут-значение", например, "намерение - отдух". Пусть база знаний системы содержит два
правила, представленных ниже.
      1. ЕСЛИ "намерение - отдых" и "дорога ухабистая", ТО "использовать джип".
      2. ЕСЛИ "место отдыха - горы", ТО "дорога ухабистая".
      После того, как в рабочую память записываются образцы "намерение - отдых" и "место
отдыха - горы", рассматривается возможность применения этих правил. Сначала механизм
вывода сопоставляет образцы из условной части правила с образцами, хранимыми в рабочей
памяти. Если все образцы имеются в рабочей памяти, условная часть считается истинной, в
противном случае - ложной. Поскольку в данном случае существует правило с условной истинной
частью (правило 2), то механизм вывода заносит образец
"дорога ухабистая" в рабочую память. Далее для применения выбирается правило 1, поскольку
правило 2 уже было применено и выбыло из числа кандидатов. В результате рабочая память
пополнится новым образцом - "использовать джип", и система остановится. Способ вывода,
описанный в приведенном примере, называется прямым выводом.
      Способ, при котором на основании факторов, требующих подтверждения, чтобы
выступать в роли заключения, исследуется возможность применения правила, пригодного для
подтверждения, называется обратным выводом. Допустим, что цель - "использовать джип", и
исследуем вначале возможность применения правила 1,




                                             40