知识表示和推理之产生式系统.pptxVIP

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