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


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


;; "Дизъюнкт " ?T

;; " противоречит ранее установленному контексту правдивости.

" crlf)

(retract ?Q)

)

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

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

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

(defrule contra-falsity-scope (declare (salience 10))

?W <- (world (tag ?N) (scope falsity)

(context ?T» (claim

(content F ?X) (reason ?N) (scope falsity)

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

(reason ?N)

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

(printout t "Disjunct " ?T

" is inconsistent with earlier falsity context."

;; "Дизъюнкт " ?T

;; " противоречит ранее установленному контексту лживости . "

crlf)

(retract ?Q) )

Нам потребуется модифицировать и прежний вариант правила centra-truth.

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

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

;; в одном и том же контексте одного и того же объекта world .

(defrule contra-truth

(declare (salience 10))

?W <- (world (tag ?N) (scope truth))

?P <- (claim (content Т ?Х) (reason ?N)

(context ?S)

(scope truth) ) ?Q <- (claim (content F ?X)

(reason ?N) (context ?S)

(scope truth) ) =>

(printout t

"Statement is inconsistent if "?X " is a knight"

;; "Высказывание противоречиво, если " ? X

;; " правдолюбец . "

crlf)

(retract ?Q) (retract ?P) (modify ?W (scope falsity) (context 0)

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

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

;; в одном и том же контексте одного и того же объекта world.

(defrule contra-falsity (declare (salience 10))

?W <- (world (tag ?N) (scope falsity))

?P <- (claim (content F ?X) (reason ?N)

(context ?S) (scope falsity))

?Q <- (claim (content Т ?Х) (reason ?N)

(context ?S)(scope falsity)) =>

(printout t

"Statement is inconsistent whether " ?X

" is knight or knave."



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



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