CLIPS-字段约束

最新推荐文章于 2025-05-12 01:14:32 发布

原创最新推荐文章于 2025-05-12 01:14:32 发布 · 653 阅读

0 ·

CC 4.0 BY-SA版权

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

217 篇文章

订阅专栏

本文通过CLIPS规则引擎演示了如何定义事实模板并利用逻辑运算符进行事实匹配。具体展示了两个人物的数据，并设定了一些匹配条件，如眼睛颜色、头发颜色等属性的约束。

一、

&表示对变量的与约束

|表示或

~表示非

以下操作查出与两个人，第一个人有绿眼睛或蓝眼睛，头发不是黑色，第二人与第一人名字不一样，眼睛不一样，但头发一样或为红色

二、

    CLIPS (Quicksilver Beta 09/24/07)
CLIPS> (deftemplate person
(slot name)
(slot eye)
(slot hair))
CLIPS> (assert (person (name liuhuihui)(eyeblack)(hair red))
(person (name huangjun)(eye black)(hair yellow))
(person (name zhangjun)(eye black)(hair green))
(person (name liucan)(eye green)(hair yellow)))
<Fact-4>
CLIPS> (defrule persons-match
   (person (name ?name1) (eye?eye1&blue|green) (hair?hair1&~black))
   (person (name?name2&~?name1) (eye ?eye2&~eye1)(hair ?hair2&red|?hair1))
   =>
   (printout t ?name1 " has "?eye1 " eyes and " ?hair1 " hair" crlf)
   (printout t ?name2 " has "?eye2 " eyes and " ?hair2 " hair" crlf))
CLIPS> (run)
liucan has green eyes and yellow hair
huangjun has black eyes and yellow hair
liucan has green eyes and yellow hair
liuhuihui has black eyes and red hair
CLIPS>