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


Полный листинг программы - часть 8


;; противоречащее утверждению в другом "мире",

(claim (content ?F ?X) (reason ?N))

;; "Мир", с которым обнаружен конфликт, имеет

;; идентификатор, меньший, чем текущий "мир",

;; т.е. сформирован раньше,

(claim (content ?G&:(not (eq ?G ?F)) ?X)

(reason ?M&:(< ?M ?N))) =>

(printout t crlf

"TRANSWORLD CONTRADICTION: " ?F ?X "

versus ?G ?X " in worlds " ?N "|" ?M

;; "МЕЖМИРОВОЕ ПРОТИВОРЕЧИЕ: " ?F ?X " противоречит

;; ?G ?X " в мирах " ?N "|" ?M

t crlf) (modify ?w (task contra))

;;ЕСЛИ обнаруживается противоречие между

;;текущим "миром" в предположении о лживости

;;и ранее покинутым "миром",

;;ТО подготовиться к выполнению отката в ранее

;;покинутый "мир". (defrule transworld-falsity

(declare (salience 80)) ?W <- (world (tag ?N)

(scope falsity)

(task check) (upper 0)) (claim (content ?F ?X)

(reason ?N)) (claim

(content ?G&:(not (eq ?6 ?F)) ?X) (reason ?M&:(< ?M ?N))) =>

(printout t crlf

"TRANSWORLD CONTRADICTION: " ?F ?X "

versus ?G ?X " in worlds " ?N "|" ?M

;; "МЕЖМИРОВОЕ ПРОТИВОРЕЧИЕ: " ?F ?X " противоречит

;; ?G ?X " в мирах " ?N "|" ?M

t crlf) (modify ?W (task contra) (prior ?M))

ЕСЛИ обнаружено противоречие между внедренным "миром" метавысказывания и ранее покинутым "миром", ТО удалить высказывание, связанное с внедренным "миром"

(defrule upper-world

(declare (salience 80))

?W <- (world (tag ?N)

(task check) (upper ?U&"0))

(claim (content ?F ?X) (reason ?N))

(claim

(content ?G&:(not (eq ?G ?F) ) ?X)

(reason ?M&:(< ?M ?N))) ?S <- (statement (tag ?N) (reason ?U)) =>

(printout t crlf

"TRANSWORLD CONTRADICTION: " ?F ?X "

versus " ?G ?X " in worlds " ?N "|" ?M

;; "МЕЖМИРОВОЕ ПРОТИВОРЕЧИЕ: " ?F ?X "




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



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