【正文】 这也许是你的 CLIPS 中存在有漏洞，因为对于一个技。 showbreaks命令显示所有设置断点的规则。断点由setbreak 命令设置。 (step)命令等同于(run 1)。举个例子， (run 21)命令将会告知 CLIPS 运行，并当 21 个规则触发后停止。这在提供任何事情发生时的参数记录是非常方便的。 使用 dribble 命令打印和查看信息到屏幕或磁盘，将会使你的程序稍微变慢，这是因为 CLIPS 需要花较多的时间去打印或保存信息到磁盘中去。另一个命令叫：“ watch pilations”，用来显示当规则被加载时的信息。监视统计 (watch statistics)给出已经触发规则数，执行时间，每秒规则数，事实的平均数，事实的最大数，激活的平均数和激活的最大数等信息。除了事实之外， CLIPS还允许使用 undefrule命令消除选定的规则。如果执行了 (undeffacts)后，想保存一个自定义事实声明，则必须重新定义。 选择性消除 undeffacts 命令的作用是通过消除内存中的自定义事实来撤销 (deffacts)声明事实。 事实上， (reset)命令对于对象也有相似的作用。 总而言之， (reset)命令作用于事实有三点： (1)将存在的事实从事实表中移除，同时也会移除议程中的激活规则。(reset)命令使规则完整无缺，而 (clear)命令将会 移除所有议程中的规则，并移除所有事实表中的旧的事实。它被用来对那些显式匹配于该事实的程序向后兼容。即使没有任何自定义的声明， (reset)命令也会自动声明事实(initialfact)。事实名或注释后面便是将要被声明到事实表中的事实，自定 义的事实由 CLIPS的 (reset)命令声明添加。 引入被 自定义声明的事实 CLIPS(facts) f0 (initialfact) f1 (status walking) f2 (walksign walk) For a total of 3 facts. CLIPS 自定义事实声明，必需指定一个事实名，如上面的 walk，跟在关键字deffacts 的后面，事实名后面可以跟由双引号包含的注释。 被声明的事实 (walksign walk)) 。如果你准备在程序运行的时候用到 相同的声明，首先你可以用批处理文件加载磁盘里的声明，其次，你还可以使用自定义事实关键字：deffacts。事实上，最好的办法是在你开发的过程中，对任何系统进行显式的设置编码，以保证正确配置。 现在，你知道了所有的这些可选设置是多么的有用，一定得记住：当你运行一个由你和其他人共同编写的专家系统时，要保证你们的设置是一致的。这就是说议程中是从高权值到低权值进行排序的。当 CLIPS 第一次启动时，该默认设置便会被自动设置，后面，你可以更改默认设置。如果你想了解更多关于这些策略的详细信息，请参考 CLIPS 参考指南。在不考虑具体的应用软件程序时，很难说清哪一种策略更好。”好消息是：如果你成功了，那么冲突消解确实无关紧要，坏消息是：你的成功证明了你的应用软件能被一个连续的程序很好的表达出来，那么你还不如首选在 C， Java 或者 Ada中编写代码，犯不着去编写一个专家系统。“比世界上其他的人卖出更多的多脂汉堡，赚更多的钱！” 在专家系统中， strategy 术语的一个用法是激活的冲突消解。 策略的问题 策略 (strategy)一词最初是一个军事术语，用在战争的谋划和行动中。 因为模式为 AND 类型，如果只有一个模式被满足，规则不会被触发。这种约束类型被称为逻辑与条件元素（ logical AND conditional element(CE)），是关于布尔型的“与”关系。 你可以在一条规则中加入多条模式或行为。举个例子，假设我们希望当装置状态为行人和行人信号亮时，一个规则被触发，该规则应写成如下所示： (defrule takeawalk (status walking) (walksign walk) = (printout t “ Go” crlf)) 上面的规则中包含有两个模式，规则的每个模式必须在事实表中有相对应的事实满足才能触发。 行人或行车的信息必须被添加，此外交通灯的状态信息也得添加。手型的交通灯亮与灭指示了行人的行与止。再增加一个 (light green)事实并运行，你会看到“ Go”被打印出来。 假 设你想写一个专家系统来决定一个移动式遥控装置如何对交通灯进行响应，最好是用多条规则去编写这个问题的类型。实际的专家系统通常包含上百，上千条规则。 红绿灯 到目前为止，你还只是看到一些仅包含一条规则的简单程序。 在前面的两章中，你已经学习了 CLIPS 的基础。如果你想了解更多此类信息，请查阅 CLIPS 参考指南。另外一个有用的命令为你的操作系统提供一个界面。（ savefacts）命令将会保存所有事实表中的事实， (loadfacts)命令将会导入文件事实表中的事实。 另外两个有用的命令可以帮助你通过一个文件来保存和载入事实。载入的二进制命令为 bload。你还可以使用 load 命令载入一个包含规则的文本文件。让一条规则重复触发的一个办法是使用 refresh 规则命令来强制使其重新激活。setincrementalreset 命令禁止在规则被输入之前查看该规则的事实。 其他特性 declare salience 命令提供对增添到议程中的规则的外部控制。通常，标准输出设备是你电脑的终端 (terminal)(因此在 printout 后面接字母“ t” )。 一定要打出“ t” ==Activation 0 duck:f1 CLIPS(run) quack CLIPS 双引号内的文本即为输出。有一点小改变就是， crlf 不被圆括弧包含。 如果你想打印一条规则，而你又忘掉 了该规则的规则名，该怎么办？不用慌，你可以在 CLIPS 提示符后面使用 rules 命令来打印出所有的规则名，举例如下： CLIPS(rules) Duck For a total of 1 defrule. CLIPS 给我写信 规则的 RHS 部分除了添加一条新规则，你还可以使用 printout 函数打印出相应的信息。模块的使用使得编写那些有许多条规则的专家系统变得简单，这样，对于每个模块，它们大多在自己的议程中整合在一起了。术语 MAIN 引用 MAIN 模块表明该条规则是自定义的。查看某条规则，则指定其规则名为 ppdefrule 的参数即可，举例如下： CLIPS(ppdefrule duck) (defrule MAIN::duck (animalis duck) = (assert (soundis quack))) CLIPS 为了增加可读性， CLIPS 将规则的不同部分分布在不同的行中。 活，因为该规则等待事实的激活 f2 (soundis quack) For a total of 3 facts. CLIPS(run) CLIPS 你也可以撤销事实然后又重新添加作为新的事实来让规则重复触发。 当规则被触发后，议程为空 CLIPS(facts) f0 (initialfact) 。 实体索引 CLIPS(assert (animalis duck)) 。 CLIPS(clear) CLIPS(defrule duck (animalis duck) = (assert (soundis quack))) CLIPS(watch facts) CLIPS(watch activations) CLIPS(assert (animalis duck)) ==f1 (animalis duck) ==Activation 0 duck:f1 。注意 (watch)命令被用来更好的显示每个事实和激活。举个例子，一只真的鸭子也许会游走或在电影里充当一个角色，然而，在计算机世界里，一旦数据被存储，它将一直保存在那儿，除非有外部声明移除或电脑断电。因为，一旦规则被触发，那么它将在相同的事实作用下无休止的被触发下去。如果没有折射，神经细胞将会在刺激作用下无休止的被激活下去。这种执行被称之为触发，就像神经细胞的激活。这种分类过程被称之为冲突消解(conflict resolution)，因为它消解了决定下一个触发规则的冲突。一个激活的也可以通过命令或另一规则的行为被移除，该规则在移除激活的先决条件前被触发。 规则和匹配的模式目录，都是被激活的。 当规则的模式与下面的几点匹配时，规则被激活： 1. 之前不存在的不同的新的模式实体或 2. 该模式实体存在，但是被撤销或者被重新添加了。 踢你的鸭子 也许此时你会有一个有趣的问题，如果重复执行 (run)，结果会这样？当一个规则被事实满足时，该规则会被触发，然而，如果你重复执行 (run)，你会发现该条规则不将被触发了。输入命令如下： (save “ ” ) 将 CLIPS 内存中的规则保存到命名为“ ”的文件中，“ .clp”是一个简单方便的扩展名，让我们方便知道这是一个 CLIPS 的源文件。敲入 (run)并回车，然后输入 (facts)命令查看通过该规则有哪些事实被添加。在此例中，字面为“ animalis”和 “ duck”。 模式的字段被称之为字面约束 (literal constraint)。 如果议程中仅有一个规则，该规则将被触发。特权值的范围为 10000 到 10000。 你可以通过议程 (agenda)命令来查看议程中的内容，举例说明： CLIPS(agenda) 0 duck: f1 For a total of 1 activation. CLIPS 第一个数字“ 0”表示规则“ duck”的激活特权值，“ f1”为事实的标识， (animalis duck)为匹配激活。随后该条规则将会被移出议程，接下来最高特权规则的行为将会被执行。如果没有指定模式，则 CLIPS 会在输入 (reset)命令后自动的激活该条规则。 CLIPS 依照增加优先权和特权 (salience)来对议程的激活排序。 当议程中没有激活的规则时，程序停止执行。在我们的实例中，行为是增加一个事实 (soundis quack)。 规则中，模式后面的符号“ =”被称之为箭号 (arrow)，箭号是 IFTHEN规则的 THEN 部分开始的标记（也许可以被读作“意味着”）。议程中存放的是所有被激活的规则集合。在上面的 duck 规则中，模式为 (animalis duck)，字段为“ animalis”和“ duck”。 零个或多个模式写在规则名之后。 一个规则通常包含有多个模式和行为。注意，我们并没有希望得到一个如数字型的返回值，而是使得事实 (duck)被增加到CLIPS 中去。举个例子，一个行为可以是 (assert (duck))。 消息提示 整个规则必须用圆括弧括住，每个模式 (pattern)和每个行为 (action)都必须用圆括弧括住。 套的。 由一些在“ =”之后的元素组成的规则右部分 (action_2) . . . (action_M)) 。 规则的常规语法如下所示： (defrule rule_name “ optinal_ment” (pattern_1) 。也就是说， CLIPS 中可能有许 多条规则，但是只能有一条被命名为“ duck”的规则。 执行 CLIPS 中，同时刻只能仅有一个规则名存在。 模式 = 。 (defrule duck “ Here es the quack” 。其他的注释由分号引导，直到按下回车键结束一行。 CLIPS 基于模式实体来进行模式匹配。模式实体是一个事实，也可以是一个用户定义类的实例。规则中只能包含一个规则头注释，且必须写在规则名之后和第一个模式(pattern)之前。 下面将给出一个相同的规则，该规则中增加了对规则每部分的注释。如果你得到一个错误消息，也许是你拼错了关键字或你遗漏了圆括号。虽然你可以将规则都写在一行里面，但是我们通常将规则分成几段放在几行里书写，便于程序的阅读和编辑。 关于鸭子叫声规则的伪代码可以写 成如下形式： IF the animal is a duck THEN the sound made is quack 下面是采用 CLIPS 语法将上面的伪代码写成一个事实和一个命名为duck 的事实。随着你 CLIPS 实践的增加，你将发现在 CLIPS 中写规则非常的简单。伪代码在文档规则中也非常有用。 IF THEN 规则可以用自然语言与计算机语言来
鄂ICP备17016276号-1