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


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


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

(assert (claim (content T ?X) (reason ?N)

(scope truth) ) )

;; Зафиксировать в объекте world, что высказывание

;; распаковано . (modify ?W (done 1))

; ; Сформировать новый объект world для внедренного

;; высказывания и зафиксировать, что этот объект

;; является внутренним по отношению к объекту

?N. (assert (world (tag (+ ?N 1)) (scope truth)

(upper ?N)))

;; Зафиксировать внедренное высказывание в новом

;; объекте world. (assert (statement (speaker ?Z) (claim $?Y)

(reason ?N)))

)

;; ЕСЛИ объект world базируется на предположении о

;; лживости высказывания,

;; ТО предположить, что персонаж лжет и что

;; высказывание ложно.

;; ПРИМЕЧАНИЕ. Это правило не используется для

;; распаковки метавысказываний. (defrule unwrap-false

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

?S <- (statement (speaker ?X)

(claim ?P&:(not (or (eq ?P NOT) (eq ?P SAY))) $?Y)

(tag ?N) (done 1) ) =>

(printout t crlf

"Assuming " F ?X " and NOT " in world " ?N

;; "Предполагается " F ?X " и HE " ?P $?Y " в мире " ?N t crlf

)

;; Зафиксировать, что высказывание анализируется

;; в предположении о его лживости.

(modify ?S (scope falsity) (done 2))

;; Зафиксировать в объекте world, что анализируется

;; лживость высказывания.

(modify ?W (done 2))

;; Предположим, что персонаж лжец.

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

(scope falsity)))

;; Сформировать отрицание утверждения,

(assert (claim (content NOT ?P $?Y) (reason ?N)

(scope falsity))) )

ЕСЛИ объект world базируется на предположении о лживости метавысказывания, ТО предположить, что персонаж лжет. Каких-либо предположений об истинности утверждения не делается.

ПРИМЕЧАНИЕ. Правило используется только для работы с метавысказываниями, которые не содержат отрицаний. Правило не может обрабатывать метавысказываний вида: А: "В не говорил, что он лжец." или А: "В говорил, что он не лжец." (defrule unwrap-false-state



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



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