知识表示和推理之产生式系统
操作对的概念。
产生式系统可表示的知识种类
❖产生式系统适合于表示事实性知 识和规则性知识。
产生式的基本形式:
产生式通常用于表示具有因果关系的知识, 其基本形式是:
PQ
或者 IF P THEN Q
其中,P是产生式的前提,用于指出该产生式 是否可用的条件;Q是一组结论或操作,用 于指出前提P所指示的条件被满足时,应该 得出的结论或应该执行的操作。
§3.2.1 产生式系统的构造
解决规则与前提的匹配、 冲突及操作等问题
推理机构
作业领域
知识库
存放产生式的前提 及结论
存放产生式的规则
图3.1 产生式系统的构成
1. 作业领域
❖存放事实数据(前提)以及假设(结论) 等的场所。 例如,对动物园某个野兽的观察得到:
D1 身上有毛 D2 有尖锐的牙齿 D3 有锋利的爪子 D4 身体是黄褐色 D5 身上有黑色斑点
这些事实数据是存放在作业领域里的。
2. 知识库
❖存放IF THEN形式的规则的库,又称之为 规则库。
IF 前提 成立 THEN 结论/行动 成立
规则的举例可见书上36页的9条规则。
3. 推理机构
❖实现作业领域里的事实与知识库中的规 则进行匹配,并根据匹配的规则选取一 种予以执行。
❖推理方法分为三种
有锋利的爪子 有尖锐的牙齿
哺乳动物
规则R6
事实D7 它是食肉动物
推理过程
3. 根据新事实数据D7,及作业领域原有的D4、 D5数据,找到匹配规则R9,推理得
食肉动物 身体是黄褐色
规则9
它是猎豹
结论
有黑色斑点
❖后向推理:从表示目标的命题出发,使用一组产
生式规则证明事实命题成立,即首先提出一批假设目 标,然后逐一验证这些假设。
一般策略:首先假设一个可能的目标,然后由产生 式系统试图证明此假设目标是否在作业领域中。若在 作业领域中,则该假设目标成立;否则,若该假设为 终叶(证据)节点,则询问用户。若不是,则再假定 另一个目标,即寻找结论部分包含该假设的那些规则, 把它们的前提作为新的假设,并力图证明其成立。这 样反复进行推理,直到所有目标均获证明或者所有路 径都得到测试为止。
冲突消解的LEX策略
a) 把已经执行过的一组规则从冲突集合 中清除;
b) 选择具有更新数据的一组规则; c) 选择规则条件更详细的一组规则; d) 选择任意一组规则。 按照编号顺序进行冲突消解,在规则变为
一个的时刻,结束处理。
前向推理过程
❖设存在下列规则集合:
R1: P1 P2 R2: P2 P3 R3: P3 P4 且作业领域中已存在事实P1,则前向推理过程如
2. 选择:选择其中一条规则进行扩展,如 果一条都没有,那说明推理失败。
3. 验证:被选中的规则的所有条件如果与 作业领域里的事实相匹配,则该规则的 结论得到验证。以此逆推,直至根节点。
举例:假设在动物园里看到的 动物是猎豹,则根据规则库里 的现有9条规则,可作出它的后 向推理AND/OR树。
✓ 前向推理 ✓ 后向推理 ✓ 双向推理
3.6.2 推理机构的运行
❖前向推理:从一组表示事实的命题出发,使用一
组产生式规则,用以证明该命题是否成立。 一般策略:先提供一批事实(数据)到作业领域
中。系统利用这些事实与规则的前提相匹配,触发 匹配成功的规则,把其结论作为新的事实添加到作 业领域中。继续上述过程,用更新过的作业领域的 所有事实再与规则库中另一条规则匹配,用其结论 再次修改作业领域的内容,直到没有可匹配的新规 则,不再有新的事实加到作业领域中。
后向推理过程
❖规则集合与前向推理的相同,首先假设结论P4 成立,则由规则3逆推,需要事实P3存在;如 果P3在作业领域中并不存在,则需将其假设为 结论,,依此类推,直到作业领域中再也
找不到匹配的规则为止。如果这时事实P1存在 于作业领域中,则P4得证,否则P4不成立。
事实 规则1 假设 规则2 假设 规则3 假设
P1
P2
P3
P4
基于与/或树的后向推理
❖将目标作为与/或树的根,进行扩展:
✓ 对于同一个规则,需同时满足的条件被设 为AND关系;
✓ 对于同一个结论或目标(包括推理过程中 产生的),可用来满足其的规则设为OR关 系。
基于与/或树的后向推理
❖ 从与/或树的根(目标)出发,进行搜 索:
1. 匹配:寻找与各结论或目标相匹配的规 则,并将其各条件设为与AND关系;如 果有多条规则,则将它们之间设为OR关 系。
❖选择规则到执行操作的步骤
1. 匹配 把作业领域数据与规则的条件部分相匹配。 2. 冲突 当有一条以上规则的条件部分和作业领域的数 据相匹配时,就需要决定首先使用哪一条规则, 这称为冲突消解。 3. 操作 操作就是执行规则的操作部分。
❖ 冲突消解
冲突消解的策略有很多种,经常使用的要素有: ❖ 规则的重要程度; ❖ 规则条件部的详细程度; ❖ 规则的使用时刻; ❖ 规则的差别大小; ❖ 数据的生成时刻,一般以新生成的规则优先。
❖ 例如,fourth dawn (第四次进攻)
short yardage (前三次少于10码) THEN punt (踢悬空球) R2 IF fourth dawn
short yardage within 30 yards(from the goal line) THEN field goal (射门) 按条件的详细程度,选用规则R2。
下图所示。
已知 规则1 P1
规则2 P2
规则3 推出
P3
P4
举例:辨别动物园里的动物
利用书上给出的事实数据及推理规 则进行前向推理。
推理过程
1. 规则的匹配
在9条规则中,只有R1的前件与事实D1完全 匹配,所以选择R1进行推理,得到
身上有毛 规则R1
事实D6 它是哺乳动物
推理过程
2. 对新产生的事实数据D6再进行规则匹配, 并结合事实D2,D3找到规则R6,推理后 得
§3.1 知识与推理中的关系
❖专家系统的知识管理特点
✓ 待处理的知识是庞大的,凌乱无序的; ✓ 可以对知识进行增删、修改等简单操作; ✓ 其知识数据的表示是符合人类思维习惯的,如
具有模糊性等。
§3.2 产生式系统
❖定义:用来描述若干个不同的以一
个基本概念为基础的系统。这个基本 概念就是产生式规则或产生式条件和