讨论了一些简单搜索的基本原理包括某些推理规则以及置换.pptVIP

*图4.16正向推理链接过程示意图*前面已经指出，前件和后件可以用命题或谓词来表示，当它们是谓词时，全局前提与总数据库中的事实匹配成功是指：对前件谓词中出现的变量进行某种统一的置换，使置换后的前件谓词成为总数据库中某个谓词的实例，即实例化后前件谓词与总数据库中某个事实相同。执行后件是指：当前件匹配成功时，用前件匹配时使用的相同变量，按同一方式对后件谓词进行置换，并把置换结果（后件谓词实例）加进总数据库。*2.反向推理

反向推理又称为后向链接推理，其基本原理是从表示目标的谓词或命题出发，使用一组规则证明事实谓词或命题成立，即提出一批假设(目标)，然后逐一验证这些假设。

举例如下：仍用上述的三条规则为例，应用反向推理方法，从P1出发推导出q3的过程如图4.18所示：*图4.7满足中终止条件的与或图*图4.7的例子证明过程如下：

事实：A∨B

规则：AC∧D，BE∧G

目标:C∨G

把规则化为子句形，得子句集：

～A∨C，～A∨D

～B∨E，～B∨G

目标的否定为:～(C∨G)

其子句形为:～C，～G

用消解反演来证明目标公式，如图4.8所示。*图4.8用消解反演求证目标公式的图解*从图4.8我们推得一个空子句NIL，从而使目标公式(C∨G)得到证明。我们得到的结论是：当正向演绎系统产生一个含有以目标节点作为终止的解图时，此系统就成功地终止。对于表达式含有变量的正向产生式系统，我们考虑把一条(L→W)形式的规则应用到与或图的过程，其中L是文字，W是与或形的一个公式，而且所有表达式都可以包含变量。如果这个与或图含有的某个文字节点L′同L合一，那么这条规则就是可应用的。设其最一般合一者为u，那么这条规则的应用能够扩展这个图。为此，建立一个有向的匹配弧，从与或图中标有L′的节点出发到达一个新的标有L的后继节点。这个后继节点是Wu的与或图表示的根节点，我们用mgu，或者简写为u来标记这段匹配弧。*3.5.2规则逆向演绎系统 基于规则的逆向演绎系统，其操作过程与正向演绎系统相反，即为从目标到事实的操作过程，从then到if的推理过程。1.目标表达式的与或形式逆向演绎系统能够处理任意形式的目标表达式。首先，采用与变换事实表达式同样的过程，把目标公式化成与或形，即消去蕴涵符号，把否定符号移进括号内，对全称量词Skolem化并删去存在量词。留在目标表达式与或形中的变量假定都已存在量词量化。*举例如下：

目标表达式

(y)(x){P(x)[Ｑ(x,y)∧～[P(x)∧S(y)]]}

被化成与或形：

～P(f(y))∨{Q(f(y),y)∧[～P(f(y))∨～S(y)]}

式中，f(y)为一Skolem函数。对目标的主要析取式中的变量分离标准化可得:～P(f(z))∨{Q(f(y),y)∧[～P(f(y))∨～S(y)]}应注意不能对析取的子表达式内的变量y改名而使每个析取式具有不同的变量。*与或形的目标公式也可以表示为与或图。不过，与事实表达式的与或图不同的是，对于目标表达式，与或图中的k线连接符用来分开合取关系的子表达式。上例所用的目标公式的与或图如图4.9所示。在目标公式的与或图中，我们把根节点的任一后裔叫做子目标节点，而标在这些后裔节点中的表达式叫做子目标。*图4.9一个目标公式的与或图表示这个目标公式的子句形表示中的子句集可从终止在叶节点上的解图集读出：～P(f(z)),Q(f(y),y)∧～R(f(y)),Q(f(y),y)∧～S(y)可见目标子句是文字的合取，而这些子句的析取是目标公式的子句形。*2.与或图的B规则变换现在让我们应用B规则即逆向推理规则来变换逆向演绎系统的与或图结构，这个B规则是建立在确定的蕴涵式基础上的，正如正向系统的F规则一样。不过，我们现在把这些B规则限制为: WL形式的表达式。其中，W为任一与或形公式，L为文字，而且蕴涵式中任何变量的量词辖域为整个蕴涵式。其次，把B规则限制为这种形式的蕴涵式还可以简化匹配，使之不会引起重大的实际困难。此外，可以把像W(L1∧L2)这样的蕴涵式化为两个规则WL1和WL2。*3.作为终止条件的事实节点的一致解图逆向系统中的事实表达式均限制为文字合取形，它可以表示为一个文字集。当一个事实文字和标在该图文字节点上的文字相匹配时，就可把相应的后裔事实节点添加到该与或图中去。这个事实节点通过标有mgu的匹配弧与匹配的子目标文字节点连接起来。同一个事实文字可以多次重复使用(每次用不同变量)，以便建立多重事实节点。逆向系统成功的终止条件是与或图包含有某个终止在事实节