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


Расширение наборправил — работс составными высказываниями - часть 4


(field tag (type INTEGER) (default 1))

(field scope (type SYMBOL) (default truth))

(field context (type INTEGER) (default 0)) )

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

(defrule left-or

?W <- (world (tag ?N) (context 0))

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

(scope ?V)) =>

(modify ?W (context 1)) (assert (claim

(content ?P ?X) (reason ?N) (scope ?V)

(context 1))) )

Это правило устанавливает значение 1 в поле context объекта world и формирует соответствующий объект claim.

По этому же принципу разработаем правило для формирования контекста правого операнда дизъюнкции.

(defrule right-or

?W <- (world (tag ?N) (context 1))

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

(scope ?V)) =>

(modify ?W (context 2)) (assert (claim

(content ?Q ?Y) (reason ?N) (scope ?V) (context 2))

)

Упражнение 2

Разработайте самостоятельно правило, которое оперировало бы с объектом claim содержим утверждение в конъюнктивной форме, как показано ниже.

(claim (content AND Т A F В) (reason 1) (scope truth))

Это правило должно разделить такое утверждение на два: суть первого — утверждение, что А — правдолюбец, а второго — утверждение, что В — лжец. Новые объекты claim должны существовать в текущем контексте, определенном в объекте world.

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

;; Выявление противоречия между предположением о

;; правдивости и следующими из него фактами

;; в разных контекстах одного и того же объекта world,

(defrule contra-truth-scope

(declare (salience 10)) (world (tag ?N)

(scope truth) (context ?T)) (claim

(content Т ?Х) (reason ?N) (scope truth)

(context ?S&:(< ?S ?T))) ?Q <- (claim

(content P ?x) (reason ?N)

(scope truth) (context ?T)) =>

(printout t "Disjunct " ?T

" is inconsistent with earlier truth context. "




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



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