我有一个名为Person的模板,该模板具有眼睛,手,身体和许多其他插槽。但是这些插槽中的每个插槽都是其他模板。
那么如何为其他模板类型的模板定义插槽?
以及如何定义事实?

这是我主要的例子:

(deftemplate Eyes
(slot colorOfEye (type STRING))
(slot ShapeOfEye (type STRING)))
(deftemplate Person
(slot eye (type Eyes))
)
(deffacts People
(Person (eye ....))
)
(reset)


定义Person模板不能像这样工作,而且我不知道如何定义事实

谢谢

最佳答案

您必须将它们都定义为单独的模板。然后,您可以在主事实中存储fact-id或“子事实”的其他标识符,然后使用该值将主事实模式与“子事实”模式结合在一起:

(defrule blue-eyed-person
    (person (name ?name) (eyes ?eyes))
    ?eyes <- (eyes (color blue))
    =>
    (printout t ?name " has blue eyes." crlf))


或者

(defrule blue-eyed-person
    (person (name ?name) (eyes ?eyes))
    (eyes (id ?eyes) (color blue))
    =>
    (printout t ?name " has blue eyes." crlf))


首先要创建事实,您可能会说

(bind ?eyes (assert (eyes (color blue))))
(assert (person (name Fred) (eyes ?eyes)))

07-26 08:51