|
|
典型的产生式系统cLIPS 一、cLIPS的基本组成与知识表示 １、事实：用来表示已知的数据或信息。事实是一个N元式，由一对圆括号括住的一个或N个域组成，这些域的数据可以是三种不同的类型，即：字(以字母打头的字符串)、符号串(括在一对双引号内的一个或多个字符串)、数值(整形数或实型数)，域之间用空格分开。所有事实都保存在在工作存储器中，所以称事实为工作存储器元素(VME)。 事实举例：(hihg 100m) 表示“高度200米” (price is 200 yuan) 表示价格为200元！ (name "Newell") 可用命令 (asset事实名) ２、规则：用来表示系统推理的有关知识。cLISP中的规则是变形的产生式规则，可用defrule命令来定义，其格为如下： (defrule 规则名[注释] 模式 ＝＞ 动作) ３、待处理事件表：用于存储匹配成功的规则集合，它相当于一般产生式系统中的冲突集。 二、cLIPS的推理机制 cLIPS的推理机制是在OPS(Offcial Production System)基础上发展起来的，其基本工作原理与OPS推理机类似。cLIPS的基本结构是产生式系统，工作周期有匹配、选择、执行三个主要阶段，其推理机的工作过程为： 第一步：模式匹配.扫描规则库，把所有规则的模式(LHR)与事实表中的事实进行匹配，检查那些规则的条件能够满足。 第二步：激活所有匹配成功的规则，把它们放进待处理事件表中。 第三步：弹出堆栈顶部的规则(优先级最高)，执行其后件(RHS)部分所规定的动作。 第四步：重复以上过程，直到待处理事件表变为空。 |
|||||||||