资源描述：
《规则演绎系统课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、3.5规则演绎系统例如：ABCACBABCBAC都与子句ABC等价。归结演绎将谓词公式化为子句集，原来蕴涵在谓词公式中的一些重要信息会在求取子句集的过程中丢失。但在ABC中，是根本得不到原逻辑公式中所蕴涵的那些超逻辑的含义的。多数情况下，人们大多希望使用那种接近于原始问题描述的形式来进行求解，而不希望把问题描述化为子句集保留蕴涵式，将其作为推理规则，用于直接推导目标公式，不仅符合人的自然思维方式，也能通过规则（作为启发式知识）更有效地引导演绎推理过程。说明：其中
2、，If部分可能由几个if组成，而Then部分可能由一个或一个以上的then组成。基于规则的问题求解系统运用下述规则：antecedentconcequent有时，then部分用于规定动作；这时，称这种基于规则的系统为反应式系统(reactionsystem)或产生式系统(production system)。3.5.1规则正向演绎系统逆向推理：正向推理：从事实出发，应用规则不断推导出中间结果作为新的事实，直至推导出目标公式从目标公式出发，逆向应用规则不断推导出子目标，直至所有子目标就是给定的事实为
3、止。正向推理燕子飞回来了燕子飞回来了（中间结果）3燕子飞回来后就筑巢燕子筑巢了事实1.春天来了;2春天来了,燕子就飞回来了;3燕子飞回来后就筑巢(2、3为规则）目标:燕子筑巢了吗?正向推理:1.春天来了(事实)2春天来了,燕子就飞回来了逆向推理燕子飞回来了（子目标）2春天来了,燕子就飞回来了事实1.春天来了;2春天来了,燕子就飞回来了;3燕子飞回来后就筑巢(2、3为规则）目标:燕子筑巢了吗?正向推理:1.燕子筑巢了3燕子飞回来后就筑巢春天来了(事实)燕子飞回来了(子目标)正向演绎推理要求将问题求解
4、的描述分为三个部分：事实、规则集和目标。为便于演绎推理，需将表示它们的合适公式简化为下述标准形式，并加以适当限制。一、问题求解的规范表示1.事实为支持演绎推理，事实表达式不必化简为子句集，只需规范地表示为不含蕴涵符号的文字与或形。例如有事实表达式：（"x）（$y）（z）{Q(x,y)∨[(R(y)∨P(z))∧S(x,z)]}化简成：Q(A,w)∧[(R(y)∧P(f(y))∨S(A,f(y))]事实表达式的文字与或形可以用与或图表示，两者间的对应关系规定如下：（1）若母式（化简得到的文
5、字与或形）为析取式：E1∨E2∨…∨Ek则以一个K-连接指向各析取项Ei （i=1,2,…,k）。（2）若母式为合取式： E1∧E2∧…∧Ek,则以K个1-连接指向各合取项Ei(i=1,2,…,k)。例如：事实表达式的与或形变换：要把一个公式化为与或形，可采用下列步骤：(1)利用(W1→W2)和(～W1∨W2)的等价关系，消去符号→(如果存在该符号的话)。实际上，在事实中间很少有符号→出现，因为可把蕴涵式表示为规则。(2)用狄·摩根(DeMorgan)定律把否定符号移进括号内，直到每个否定符号的辖
6、域最多只含有一个谓词为止。(5)删去全称量词，而任何余下的变量都被认为具有全称量化作用。(3)对所得到的表达式进行Skolem化和前束化。(4)对全称量词辖域内的变量进行改名和变量标准化，而存在量词量化变量用Skolem函数代替。2.规则正向演绎推理以正向方式使用规则(称为F规则)，要求规则化简为以下形式：L=>W其中，L为单文字，W是与或形。之所以限制规则左部为单文字，是为了在演绎推理过程中便于通过L和与或图叶节点的匹配来激活规则。设表示规则的原始蕴涵式为：（"x）{($y)（z）P(x,y,
7、z)=>（u）[Q(x,u)∨R(x,u)]}例：则先暂时消去蕴涵符号并化简为文字与或形：P(x,y,f(x,y))∨Q(x,u)∨R(x,u)再恢复蕴涵式表示：P(x,y,F(x,y))=>Q(x,u)∨R(x,u)有时化简的结果会出现形如L1∨L2=>W 的情况可以进一步化简为与其等价的两条规则L1=>W,L2=>W单文字的限制对知识的表示有所限定，例如，L1∧L2=>W这样的规则就不允许出现，只有转变为L1=>L2∨W或L2=>L1∨W这种转变丢失了启发式知识（L1或L2同时为真导致
8、W为真）。不过，这种限制对演绎推理方法本身并不产生影响。3.目标目标公式化简后限定表示为文字的析取式，即子句。化简时量词消去方法取事实表达式的对偶形式，即将全称量词的约束变量以Skölem函数或常量取代，并使子句隐含地受存在量词约束。例如目标公式：（x）(y)（z）[P(x,y,z)∨Q(x,y)]则先以Skölem常量A和Skölem函数g(y)分别取代约束变量x和z，再消去全称量词，于是得:(y)[P(A,y,g(y))∨Q(A,y)]然后消去存在量词，并隐含着y是存在
