Прямая и обратная цепочки рассуждений

Применение метаправил

Иногда, для того чтобы решить, какое правило следует активизировать, желательно использовать конкретные знания, а не следовать общей стратегии разрешения конфликтов. С этой целью в некоторые интерпретаторы правил включены средства, позволяющие программисту сформулировать и ввести в программу метаправила. Метаправила определяют правила, по которым выполняется отбор из списка заявок тех правил, которые следует рассматривать в первую очередь или, более того, выполнять обязательно.

Метаправила позволяют значительно сузить круг правил - кандидатов на основании какого-либо критерия или изменить порядок приоритетов правил. Метаправила часто используют знания из конкретной предметной области. Примером может служить приведенное ниже метаправило, относящееся к сис-

теме медицинской диагностики MYCIN.

МЕТАПРАВИЛО 001

ЕСЛИ (1) инфекция относится к классу pelvic-abscess, и

(2) существуют правила, в предпосылках которых упоминается

enterobacteria, и

(3) существуют правила, в предпосылках которых упоминается

грамположительная окраска,

ТО с уверенность 0.4 приоритет следует отдать первым из перечисленных правил.

Выделяют две стратегии выполнения системы продукций – применять правила в прямом и обратном порядке. Прямой порядок означает, что цепь рассуждений строится от данных (условий, о которых известно, что они удовлетворяются) к гипотезам. Обратная цепочка означает, что рассуждения строятся от заданной цели (гипотезы) к условиям, при которых возможно достижение этой цели.

При использовании прямой цепочки рассуждений сопоставляются состояние рабочей памяти и предпосылки правил, а затем выполняются действия, предусмотренные правой частью выбранного правила.

При обратной цепочке рассуждений отбираются все правила, в правой части которых дается заключение, соответствующее поставленной цели, и затем анализируется, предпосылки какого из них удовлетворяются текущими данными.

Дата добавления: 2013-12-11