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

1、3.1知识和推理中的关系，专门人才系统的知识管理特点需要处理的知识很庞大，可以进行杂乱无章知识的追加、删除、修正等简单的操作。其知识数据的表示与人的思维习惯相吻合，有暧昧性等。 3.2生成表达式系统，定义：用于描述基于几个不同基本概念的系统。 此基本概念是生成式规则或生成式条件和操作对的概念。 生成式系统能够表现的知识的种类，适合于生成式系统表现事实知识和规则知识。生成公式的基本形式：生成公式一般用于表示相关知识，该基本形式是： PQ或IF P THEN Q，p是生成公式的前提，用于指示生成公式是否可用的条件的q应当或执行在满足前提p指示的条件时得到的结论或执行3.2.1解决发生式系统的构造、

2、推论机构、图3.1发生式系统的构成、工作领域、知识库、存储发生式的前提和结论、存储发生式的规则、规则和前提的匹配、冲突和操作等问题；1 .在工作领域例如观察动物园的某野兽发现，D1中有毛D2 2 .也称为知识库、存储IF THEN形式规则的库、规则库。 IF前提成立THEN结论/行动成立规则的例子可以看到书的第36页的9个规则。 3 .推论机制实现工作区中的事实与知识库中的规则的匹配，并且基于匹配的规则来选择并执行一个化学基。 推论方法使用生成式规则的定径套，从3种正向推理后向推论双向推论、3.6.2推论机构的运行、正向推理：表示事实的命题的定径套证明该命题是否成立。 一般战略：首先向工作区提

3、供一系列事实(数据)。 系统利用这些个的事实与规则的前提相匹配，触发成功匹配的规则，将其结论作为新的事实添加到工作区域中。 继续上述过程，在更新后的工作区域的所有事实中，与基于规则的其他规则相匹配，然后根据结论重新修改工作区域的内容，没有可以匹配的新规则，新事实不会被添加到工作区域中。 喀呖声，选择规则执行操作的步骤1 .将匹配工作区数据与规则的条件部分匹配。 2 .冲突在存在多个规则的条件部分与作业区域的数据一致的情况下，需要决定最先使用哪个规则，将其称为冲突消除。 3 .行动是执行规则的行动部分。 冲突消除冲突的策略有多种，常用的要素是：规则的重要性水平规则条件部的详细度规则的使用时刻规则

4、的不同大小数据的生成时刻，一般以新生成的规则为优先。 例如，美式足球设置了两个规则： R1 IF fourth dawn的第二次攻击短弧(前三次不足10码)踢球r2iffourthdawnshortyes。冲突解决LEX策略选择一组规则，这些规则具有从冲突集中清除已执行的一组规则的更新数据。选择比规则条件更详细的规则定径套选择任何规则定径套。 按号码顺序进行冲突消除，在规则一致的时刻结束处理。 另外，正向推理过程假设存在以下规则集合： r13360p1p2r23360p2p3r:p3p4且工作区域中存在事实P1的话，正向推理过程如下图所示。 已知规则1 P1、规则2、p-2、p-3和规则3提取

5、P4，例如识别动物园的动物，并且使用已经提供给主体的事实数据和推论规则来进行前向推论。在推论过程中，规则的匹配是在9个规则中，只有R1的前因与事实D1完全匹配，因此选择R1进行推论而得到，身体有毛，规则R1是哺乳动物，事实D6，推论过程将新生成的事实数据D6与规则匹配有推论过程，基于新事实数据D7和工作区域的原始D4、D5数据，找到匹配规则R9，进行推论，食肉动物、规则9，它是猎豹，作为结论，总体是黄褐色、有黑点的一般策略：首先假定可能的目标，然后产生式系统认为其目标是如果是工作区域，则在该假设目标不成立的情况下，如果该假设是最终叶(证据)节点，则对用户询问法。 如果不是的话，在另一个目标，即

6、结论部分寻找包含那个假说的规则，把那些前提作为新的假说，试图证明它的成立。 通过这种方式，重复推论直到所有营销对象都被证明或测试了所有路径。后方推论过程、规则集合与前方推论相同，首先假设结论P4成立，则反推规则3，如果工作区域中不存在事实P3需要存在的P3，则将其假设为结论，类推直到找不到与工作区域一致的规则为止。 此时，如果工作区域中存在事实P1，则P4得到证明，否则P4不成立。 基于事实规则1 P1、规则2、假设P2、假设P3、规则3、假设P4和AND树的后向推理，将营销对象扩展为AND树的根：对于相同的结论或目标(包括在推理过程中生成的)，该相同的结论或目标将满足相同规则的云同步、根据A

7、ND或树的后向推论，从AND或树根(营销对象)查找匹配：匹配每个结论或营销对象的规则，如果有多个规则将每个条件与AND相关，则将它们之间设置为OR关系。 选择：选择要扩展的规则之一，否则表示推论失败。 验证：如果选定规则的所有条件与工作区的事实相符，则验证该规则的结论。 现在反向按到根结点。 如果动物园里看到的动物是猎豹的话，就可以根据规则库的已有的9个规则，制作出其后方推论AND/OR树。 它是猎豹，食肉动物，身上有黑色斑点，身体是黄褐色，R9，s，s，它是猎豹，食肉动物，身体有黑色斑点，身体是黄褐色，R9，哺乳动物，有吃肉的尖溜溜牙，有锋利的爪子，R6，s，s，它是猎豹，食肉动物，身体是黑的哺乳动物、吃肉、R5、R9、哺乳动物、吃肉、R5、s、s、n、哺乳动物、有尖溜溜牙、有尖锐的爪、R6、s、s、s、身体有毛、事实规则1 P1、规则2、P2、规则n-1假说Pn、Pn-1生成表达式表达法的特点、模块性：规则库和推理机制是分离的，该