CLIPS姐姐、前任和年龄规则

Question

我遇到以下 CLIPS 编程问题： 新的家庭关系知识库。请应用以下规范：

• 使用 deftemplate 来定义人

• 一个人的属性是：姓名、年龄、性别、孩子、

• 每个属性都应该定义为一个槽，除了子元素，它们是多槽

• 在性别插槽中使用（允许的符号女性男性）

• 为每个槽添加数据类型

• 使用 deffacts 从图表中添加人员

• 定义规则：

——妈妈，

——父亲，

——姐姐，

——前身

——老——给出前辈和后代之间的年龄差异

这是我制作的代码：

(deftemplate person
    (slot name (type SYMBOL))
    (slot age (type INTEGER))
    (slot sex (type SYMBOL) (allowed-symbols female male))
    (multislot children (type SYMBOL))
)

(deffacts init
    (person (name Fernando) (age 55) (sex male) (children Jesus Celia))
    (person (name Maria) (age 50) (sex female) (children Jesus Celia))
    (person (name Jesus) (age 25) (sex male))
    (person (name Celia) (age 20) (sex female))
    (person (name Antonio) (age 70) (sex male) (children Fernando Ana))
    (person (name Ana) (age 38) (sex female))
    (person (name Calra) (age 68) (sex female) (children Fernando Ana))
)


(defrule mother
    (person (name ?name) (sex female) (children $?before ?child $?after))


=>
    (assert (mother ?name ?child))
    (printout t ?name " is mother of " $?child crlf))

(defrule father
    (person (name ?name) (sex male) (children $?before ?child $?after))


=>
    (assert (father ?name ?child))
    (printout t ?name " is father of " $?child crlf))


(defrule sister
    (children ?z ?x)
    (children ?z ?y)
    (female ?x)
    (not (test (eq ?x ?y)))
=>
    (assert sister ?x ?y))
    (printout t ?x "is a sister to " ?y crlf))

(defrule predecessor
(or
    (children ?x ?y)
    (and (children ?x ?z)(predecessor ?z ?y))
)
=>
(assert (predecessor ?x ?y)
(printout t ?x "is a predecessor to " ?y crlf))

(defrule old
    ?fact_no <- (person (name ?n) (age ?a1 ?a2))
    (test (<= ?a1 ?a2))

=>
    (assert (result (- ?a1 ?a2)))
    (printout t "There are " ?result " years" crlf))

母亲和父亲的关系正在发挥作用，但其余的却没有。它给了我以下错误：

CLIPS> Loading Selection...

[CSTRCPSR4] Cannot redefine deftemplate person while it is in use.

ERROR:
(deftemplate MAIN::person

[CSTRCPSR1] WARNING: Redefining deffacts: init

[CSTRCPSR1] WARNING: Redefining defrule: mother +j+j
Defining defrule: father +j+j

[CSTRCPSR1] WARNING: Redefining defrule: sister 
[PRNTUTIL2] Syntax Error:  Check appropriate syntax for RHS patterns.

ERROR:
(defrule MAIN::sister
   (children ?z ?x)
   (children ?z ?y)
   (female ?x)
   (not (test (eq ?x ?y)))
   =>
   (assert sister
Defining defrule: predecessor 
[EXPRNPSR3] Missing function declaration for defrule.

ERROR:
(defrule MAIN::predecessor
   (or  (children ?x ?y)
        (and (children ?x ?z)
             (predecessor ?z ?y)))
   =>
   (assert (predecessor ?x ?y)
           (printout t ?x "is a predecessor to " ?y crlf))
   (defrule

非常感谢您

Answer 1

如果您已经加载了代码，请在再次尝试加载相同的代码之前发出 clear 命令。这将删除 [CSTRCPSR4] 错误消息。

您在姐妹和前任规则中缺少括号。更正这些将允许规则加载而不会出错。

(defrule sister
    (children ?z ?x)
    (children ?z ?y)
    (female ?x)
    (not (test (eq ?x ?y)))
=>
    (assert (sister ?x ?y))
    (printout t ?x "is a sister to " ?y crlf))

(defrule predecessor
(or
    (children ?x ?y)
    (and (children ?x ?z)(predecessor ?z ?y))
)
=>
(assert (predecessor ?x ?y))
(printout t ?x "is a predecessor to " ?y crlf))

这些规则仍然不会在您现有的代码中执行，因为它们需要儿童和女性事实，并且您的规则都没有断言这些事实。

尚不清楚您要如何处理旧规则，但由于您尝试匹配年龄槽中的两个值，因此该规则会产生错误，因为该槽只能包含一个值。