Microsoft Word Книга иис мггу 1 Print doc

11.4.1 Обратный метод логического дедуктивного вывода 
Для решения задач в продукционной интеллектуальной системе 
существует два основных метода дедуктивного логического вывода: 
обратный и прямой. Может использоваться и комбинация этих двух методов.
При обратном логическом выводе процесс интерпретации правил 
начинается с правил, непосредственно приводящих к решению задачи. В них 
в правой части находятся заключения с фактами, являющимися решением 
(целевыми фактами). При интерпретации этих правил в процесс решения 
могут вовлекаться другие правила, результатом выполнения которых 
являются факты, участвующие в условиях конечных правил и т.д. 
Метод обратного логического вывода можно применять тогда, когда 
необходимо минимизировать количество обращений к источнику данных 
(например, пользователю), исключив из рассмотрения заведомо ненужные 
для решения задачи факты. 
В самом общем виде алгоритм обратного логического вывода, 
записанный на псевдокоде в виде функции, выглядит так (условие ограничено 
конъюнкцией элементарных условий). 

---

103 
функция 
Доказана_Цель(Цель): boolean;
Поместить Цель в стек целей.
пока 
стек целей не пуст 
цикл
Выбор цели из стека целей и назначение ее текущей.
Поиск множества правил, в правой части которых находится 
текущая цель (множества подходящих правил). 
Считать, что Цель не доказана. 
пока 
множество походящих правил не пусто 
и Цель не доказана 
цикл
Выбор 
из 
этого 
множества 
одного 
текущего 
правила 
с 
использованием 
определенной 
стратегии. 
Считать 
текущим 
элементарным условием первое.