第五章专家系统-Read.ppt

第五章 专家系统 ;5.1 产生式系统 ; 5.1.1 产生式系统的组成 我们已在第二章中讲过，产生式系统由3个部分组成，即总数据库（或全局数据库），产生式规则和控制策略。各部分间的关系如图5.1所示。 ; 产生式规则是一个以“如果满足这个条件，就应当采取某些操作”形式表示的语句。例如，规则 如果 某种动物是哺乳动物，并且吃肉 那么 这种动物被称为食肉动物 产生式的IF(如果)被称为条件、前项或产生式的左边。它说明应用这条规则必须满足的条件；THEN(那么)部分被称为操作、结果、后项或产生式的右边。在产生式系统的执行过程中，如果某条规则的条件满足了，那么，这条规则就可以被应用；也就是说，系统的控制部分可以执行规则的操作部分。产生式的二边可用谓词逻辑、符号和语言的形式，或用很复杂的过程语句来表示。这取决于所采用数据结构的类型。附带说明一下，这里所说的产生式规则和谓词逻辑中所讨论的产生式规则，从形式上看都采用了IP—THEN的形式，但这里所讨论的产生式更为通用。在谓词运算中的IF—THEN实质上是表示了蕴涵关系。也就是 ;说要满足相应的真值表。这里所讨论的条件和操作部分除了可以用谓词逻辑表示外，还可以有其他多种表示形式，并不受相应的真值表的限制。 总数据库有时也被称作上下文．当前数据库或暂时存储器。总数据库是产生式规则的注意中心。产生式规则的左边表示在启用这一规则之前总数据库内必须准备好的条件。例如在上述例子中，在得出该动物是食肉动物的结论之前，必须在总数据库中存有“该动物是哺乳动物”和“该动物吃肉”这两个事实。执行产生式规则的操作会引起总数据库的变化，这就使其他产生式规则的条件可能被满足。 控制策略的作用是说明下一步应该选用什么规则，也就是如何应用规则。通常从选择规则到执行操作分3步：匹配、冲突解决和操作。 ;?1.匹配 在这一步，把当前数据库与规则的条件部分相匹配。如果两者完全匹配，则把这条规则称为触发规则。当按规则的操作部分去执行时，称这条规则为启用规则。被触发的规则不一定总是启用规则，因为可能同时有几条规则的条件部分被满足，这就要在解决冲突步骤中来解决这个问题。在复杂的情况下，在数据库和规则的条件部分之间可能要进行近似匹配。 2. 冲突解决 当有一条以上规则的条件部分和当前数据库相匹配时，就需要决定首先使用哪一条规则，这称为冲突解决。例如，设有以下两条规则。 规则 R1 IF fourth dawn short yardage THEN fourth dawn ; short yardage within 30 yards(from the goal line) THEN field goal 这是两条关于美式足球的规则。R1规则规定进攻一方如果在前三次进攻中前进的距离少于l0码(short yardage)，那么在第四次进攻(fourth dawn)时，可以踢悬空球(punt)。R2规则规定，如果进攻这一方，在前三次进攻中，前进的距离少于10码，而进攻的位置又在离对方球门线30码距离之内，那么就可以射门(field goal)。 如果当前数据库包含事实“fourth dawn”和“short yardage”以及“within 30 yards”，则上述两条规则都被触发．这就需要用冲突解决来决定首先使用哪一条规则。有很多种冲突解决策略，其中一种策略是先使用规则R2，因为R2的条件部分包括了更多的限制．因此规定了一个更为持殊的情况。这是一种按专一性来编排顺序的策略，;称为专一性排序。还有不少其他的冲突解决策略，如规则排序、数据排序、规模排序和就近排序等。 (1)专一性排序 如果某一规则条件部分规定的情况，比另一规则条件部分规定的情况更有针对性，则这条规则有较高的优先级。 (2)规则排序 如果规则编排的顾序就表示了启用的优先级，则称之为规则排序。 (3)数据排序 把规则条件部分的所有条件按优先级次序编排起来，运行时首先使用在条件部分包含高优先级数据的规则。 (4)规模排序 按规则的条件部分的规模排列优先级，优先使用被满足的条件较多的规则。 ; (5)就近排序 把最近使用的规则放在员优先的位置。这和人类的行为有相似之处。如果某一规则经常被使用，则人们倾向于更多地使用这条规则。