Интеллектуальные информационные системы. Макаренко С.И. - 104 стр.

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


      В основу главы 11 положен материал учебного пособия [1], работы [6]
и учебных курсов [7, 8].




                                   103