Иллюстрированный самоучитель по введению в экспертные системы


Обратное прослеживание и множество контекстов - часть 12


Но при этом не предпринимается никакой попытки локализовать в процессе выбор точки, которая стала причиной конфликта, например выбрать именно тот "мир", с которым конфликтует текущий.

;; Хронологический откат к тому "миру", который был

;; покинут без выполнения анализа в предположении

;; о лживости (поле scope содержит значение truth,

;; а поле task - значение check),

(defrule undirected-falsity

(world (tag ?N) (scope falsity) (task contra))

?W <- (world (tag, ?M&:(< ?M ?N)) (scope truth) (task check))

=>

(modify ?W (task back)) )

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

Приведенное ниже правило undirected-disjunct выполняет подготовку к такому откату в хронологическом порядке.

;; Хронологический откат к тому "миру", который был

;; покинут без завершения анализа дизъюнктов,

(defrule undirected-disjunct

world (tag ?N) (scope falsity) (task contra))

V <- (world (tag ?M&:(< ?M ?N))

(task check) (context 1))

claim (content OR ?P ?X ?Q ?Y) (reason ?M)

(scope ?S)) =>

;; Дизъюнкт в ранее покинутом "мире", анализ которого

;; не был выполнен.

assert (claim (content ?Q ?Y) (reason ?M) (scope ?S)

(context 2)))

;; Зафиксировать необходимость отката в этот "мир".

modify ?V (task back)) )

Хронологический откат является не единственной операцией такого рода. Ниже представлены "направленные" (directed) версии соответствующих правил, в которых используется информация о том, в каком именно "мире" имеется утверждение, ставшее причиной конфликта с текущим "миром".


Начало  Назад  Вперед



Книжный магазин