Интеллектуальные информационные системы. Дубровин А.Д. - 70 стр.

      Пример 3. ЕСЛИ («ученик ответил неверно» или «воспользовался подсказкой») ТО («оценка его ответа
должна быть неудовлетворительной»).
      Пример 4. ЕСЛИ («спрос на товар не растет») ТО («следует прекратить торги»). В первом и четвертом
примерах антецеденты являются простыми высказываниями (фактами), а в остальных примерах – составными,
состоящими из двух простых, соединенных разными логическими операциями. Может показаться, что
антецедент четвертого примера тоже составной, но это не так, поскольку логическая операция «не» относится
только к одному факту - «спрос на товар растет».
            В памяти продукционной модели ПО (в БЗ системы) должны храниться факты и правила, истинность
которых установлена (на прошлом опыте или в процессе решения конкретной задачи) к текущему моменту
времени. Любое правило применяется к взятой из БЗ совокупности фактов, если сопоставление их с
антецедентом анализируемого правила покажет полную идентичность. Базу знаний такой системы, основанной
на моделях продукций, удобно представлять двумя частями – базой фактов (БФ) и базой правил (БП), а
программные средства – компонентой вывода и программой управления выводом.
           Компонента вывода выполняет три вида операций:
          - сканирует БП и идентифицирует (отмечает) правила, антецедент которых идентичен совокупности
фактов, указанных в запросе к системе;
          - формирует из отмеченных правил совокупности (цепочки) действий, позволяющие на основании
анализа фактов, указанных в запросе, сделать вывод или совершить действие составляющее суть задачи – дать
ответ на запрос пользователя;
          - проверяет (пробными решениями) отобранные цепочки правил и определяет оптимальную
последовательность их применения к указанному набору фактов.
           Существуют две схемы, два принципа получения результирующего вывода в системах с
продукционной моделью ПЗ: схема прямого вывода и схема обратного вывода.
            Прямой логический вывод реализует стратегию «ОТ ФАКТОВ - К ЗАКЛЮЧЕНИЮ» или «ОТ
ДАННЫХ - К ПОИСКУ ЦЕЛИ».
            Обратный логический вывод предполагает поиск в БЗ такого сочетания фактов, которые могут
опровергнуть или подтвердить истинность некой, выдвинутой в ходе поиска решения гипотезы. При этом
реализуется стратегия «ОТ ГИПОТЕЗЫ – К ФАКТАМ».
             Сущность этих двух схем можно легко понять на примере продукционной модели ПЗ,
представленной в виде ориентированного графа (рис.3.1.1).




         Ф 11             Ф 12         Ф 13          Ф 14           Ф 15




                   Ф 21               Ф 22                  Ф 23




                                 Р1             Р2




      Рис.3.1.1 Пример продукционной модели представления знаний.

          Символами Ф обозначены известные факты, а символами П – известные правила, обеспечивающие
возможность перехода типа «если А то К» от факта-посылки (антецедента) к факту-следствию (консеквенту). На
основании признаков, характерных для природы фактов и причинно-следственных связей между ними, факты


                                                                                                      74