CLIPS-变量

最新推荐文章于 2019-07-05 16:10:52 发布

原创最新推荐文章于 2019-07-05 16:10:52 发布 · 484 阅读

0 ·

CC 4.0 BY-SA版权

搜索引擎与人工智能专栏收录该内容

217 篇文章

订阅专栏

本文介绍了使用CLIPS规则引擎进行变量声明及约束的方法，并通过示例演示了如何查找具有特定属性的对象。文中详细展示了语法错误及其修正过程。

部署运行你感兴趣的模型镜像

一、

１、变量声明方式为?加变量名，如?name

2、一个变量首次约束于某一值时，该变量在此规则内使保持该值。其他同名的变量必须约束为第一个变量的值，如下面操作中的?eyes

３、在LHS（前件）没有约束，但在RHS引用，将会报错。

４、下列例子查找所有眼睛为蓝色的人。        CLIPS (Quicksilver Beta 09/24/07)
CLIPS> (clear)
CLIPS> (reset)
CLIPS> (deftemplate find (slot eye))
CLIPS> (deftemplate person(slot name)(sloteye))
CLIPS> (defrule findeye
(find (eye ?eyes))
(person (name ?name)(eye ?eyes))
=>
(printout t ?name " has" ?eyes " eyes." crlf)
)
CLIPS> (save "D:/VV.CLP")
TRUE
CLIPS> (run)
CLIPS> (agenda)
CLIPS> (facts)
f-0    (initial-fact)
For a total of 1 fact.
CLIPS> (assert (person (name "zhangsan") (eyeblue))
              (person (name "zhanghua") (eye blue))
              (person (name "zhengyu") ( eye black)))
<Fact-3>
CLIPS> (facts)
f-0    (initial-fact)
f-1    (person (name "zhangsan") (eye blue))
f-2    (person (name "zhanghua") (eye blue))
f-3    (person (name "zhengyu") (eye black))
For a total of 4 facts.
CLIPS> (assert (find (eye blue)))
<Fact-4>
CLIPS> (facts)
f-0    (initial-fact)
f-1    (person (name "zhangsan") (eye blue))
f-2    (person (name "zhanghua") (eye blue))
f-3    (person (name "zhengyu") (eye black))
f-4    (find (eye blue))
For a total of 5 facts.
CLIPS> (agenda)
0     findeye: f-4,f-2
0     findeye: f-4,f-1
For a total of 2 activations.
CLIPS> (run)
zhanghua has blue eyes.
zhangsan has blue eyes.

二、操作

CLIPS (Quicksilver Beta 09/24/07)
CLIPS> (clear)
CLIPS> (reset)
CLIPS> (deftemplate find (slot eye))
CLIPS> (defrule findeye
(find eye ?eyes)
(person (name ?name)(eyes ?eyes))
=>
(printout t ?name "has" ?eyes "eyes." crlf)
)

[PRNTUTIL2] Syntax Error: Check appropriatesyntax for deftemplate patterns.

ERROR:
(defrule MAIN::findeye
(find eye
CLIPS> (defrule findeye
(find (eye ?eyes))
(person (name ?name)(eyes ?eyes))
=>
(printout t ?name "has" ?eyes "eyes." crlf)
)

[PRNTUTIL2] Syntax Error: Check appropriatesyntax for defrule.

ERROR:
(defrule MAIN::findeye
(find (eye ?eyes))
(person (
CLIPS> (deftemplate person(slot name)(sloteye))
CLIPS> (defrule findeye
(find (eye ?eyes))
(person (name ?name)(eyes ?eyes))
=>
(printout t ?name "has" ?eyes "eyes." crlf)
)

[TMPLTDEF1] Invalid slot eyes not defined in correspondingdeftemplate person.

ERROR:
(defrule MAIN::findeye
   (find (eye ?eyes))
   (person (name ?name)(eyes
CLIPS> (defrule findeye
(find (eye ?eyes))
(person (name ?name)(eye ?eyes))
=>
(printout t ?name "has" ?eyes "eyes." crlf)
)
CLIPS> (save "D:/VV.CLP")
TRUE
CLIPS> (run)
CLIPS> (agenda)
CLIPS> (facts)
f-0    (initial-fact)
For a total of 1 fact.
CLIPS> (assert person (name "zhangsan" eyeblue)
              person (name "zhanghua" eye blue)
              person (name "zhengyu" eye black))

[PRNTUTIL2] Syntax Error: Check appropriatesyntax for RHS patterns.
CLIPS> (assert (person (name "zhangsan") (eyeblue))
              (person (name "zhanghua") (eye blue))
              (person (name "zhengyu") ( eye black)))
<Fact-3>
CLIPS> (facts)
f-0    (initial-fact)
f-1    (person (name "zhangsan") (eye blue))
f-2    (person (name "zhanghua") (eye blue))
f-3    (person (name "zhengyu") (eye black))
For a total of 4 facts.
CLIPS> (assert find (eye blue))

[PRNTUTIL2] Syntax Error: Check appropriatesyntax for RHS patterns.
CLIPS> (assert (find (eye blue)))
<Fact-4>
CLIPS> (facts)
f-0    (initial-fact)
f-1    (person (name "zhangsan") (eye blue))
f-2    (person (name "zhanghua") (eye blue))
f-3    (person (name "zhengyu") (eye black))
f-4    (find (eye blue))
For a total of 5 facts.
CLIPS> (agenda)
0     findeye: f-4,f-2
0     findeye: f-4,f-1
For a total of 2 activations.
CLIPS> (run)
zhanghuahasblueeyes.
zhangsanhasblueeyes.