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


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


;; "Высказывание противоречиво, независимо от того,"

;; "является ли " ?Х " правдолюбцем или лжецом."

crlf)

(modify ?W (scope contra) )

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

(defrule consist-truth

(declare (salience -10))

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

(statement (speaker ?Y) (tag ?N)) =>

(printout t

"Statement is consistent:"

;; "Высказывание непротиворечиво:"

crlf)

(modify ?W (scope consist)

)

(defrule consist-falsity

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

(scope falsity)) (statement (speaker ?Y) (tag ?N)) =>

(printout t

"Statement is consistent:"

;; "Высказывание непротиворечиво:"

crlf) (modify ?W (scope consist)

)

(defrule true-knight

(world (tag ?N) (scope consist))

?C <- (claim (content T ?X) (reason ?N) =>

(printout t

?X "is a knight" ;; ?X "- правдолюбец"

crlf) (retract ?C)

)

(defrule false-knave

(world (tag ?M) (scope consist))

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

(printout t

?X " is a knave" ;; ?X "- лжец"

crlf)

(retract ?C) )

Ниже приведено правило разделения операции конъюнкции, которое ранее мы предлагали вам разработать самостоятельно. Обратите внимание на то, что в нем также отслеживается контекст, хотя в данном случае без этого можно было бы и обойтись.

(defrule conj

(world (tag ?N (context ?S))

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

(scope ?V)) =>

(assert (claim

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

(context ?S))) (assert (claim

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

(context ?S))) )

Прежде чем запустить программу на выполнение, сформируем исходные факты в соответствии с условиями задачи Р4:

(deffacts the-facts

(world)

(statement (speaker A) (claim AND F A F B) (tag 1)) )



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



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