Практическое занятия Выводы на основе моделей продукции
жүктеу/скачать 421,48 Kb.
|
| Обратный вывод. Кроме прямого вывода, в продукционных системах широко применяется и обратный вывод, т. е. вывод, управляемый целевыми условиями [1,2]. Такой вывод начинается с целевого утверждения, которое фиксируется в РП. Затем отыскивается правило-продукция, заключение которого сопоставимо с целью. Условия данного правила помещаются в РП и становятся новой подцелью. Процесс повторяется до тех пор, пока в РП не будут найдены факты, подтверждающие целевое утверждение. Проиллюстрируем обратный вывод на множестве продукций предыдущего примера (Рис. 8.2).
Процесс вывода начинается с того, что в РП помещается целевое утверждение goal, истинность которого необходимо подтвердить или опровергнуть, а также множество исходных фактов {L; M; N}, которые считаются истинными утверждениями. Удобно рассматривать переменные правил как многозначные объекты, характеризуемые тремя возможными значениями: «не определено», «ложь», «истина». В этом случае начальное значение переменной goal- «не определено», а факты L, M, N имеют значение «истина». Обратная цепочка рассуждений для рассматриваемого примера изображена на табл. 8.2. Здесь факты, имеющие значение «истина», выделены курсивом. Вывод начинается с утверждения goal, которое рассматривается как текущая подцель. Все продукционные правила, заключение которых сопоставимо с текущей подцелью, добавляются в конфликтное множество правил. На каждом шаге активизируется первое правило конфликтного множества. Посылки данного правила добавляются в РП и на следующем шаге выступают в качестве новой подцели системы. Такая стратегия разрешения конфликтов соответствует поиску в ширину (табл. 8.2). Множество правил-продукций [1,2]: 1) G ∧ H → C; 2) I∧K → D; 3) L∧M → E; 4) N → F; 5) O → F; 6) C → A; 7) D → A; 8) E → B; 9) F → B; 10) A → goal; 11) B → goal. Исходные данные: START = {L; M; N} Таблица 8.2.Обратный вывод по образцу. Указанный процесс повторяется до тех пор, пока все условия (посылки) некоторого правила не станут истинными, т. е. совпадут с фактами, имеющимися в РП. В этом случае заключение правила тоже получает значение «истина». Данное истинное значение распространяется вверх по цели активизированных правил. Если целевая вершина получает значение «истина», то процесс поиска на этом заканчивается. Если этого не происходит, то вновь выбирается первое правило конфликтного множества и т. д. На рис. 8.2 при активизации правила 3 устанавливается, что его посылки L и M являются фактами. Следовательно, фактом является и заключение E. Далее, если верно E, то верно и B (правило 8). И, наконец, если верно B, то справедливо и целевое утверждение goal (правило 11). Рис. 8.2. Обратный вывод в продукционных системах. жүктеу/скачать 421,48 Kb. Достарыңызбен бөлісу:
|