规则演绎系统分析报告.pptVIP

正向推理 逆向推理 * * 3.5 规则演绎系统 例如： ?A ? ?B?C ?A ? ?C ?B ?A ?B ?C ?B ?A ?C 都与子句A ? B ?C等价。 归结演绎将谓词公式化为子句集，原来蕴涵在谓词公式中的一些重要信息会在求取子句集的过程中丢失。 但在A ? B ?C中，是根本得不到原逻辑公式中所蕴涵的那些超逻辑的含义的。 多数情况下，人们大多希望使用那种接近于原始问题描述的形式来进行求解，而不希望把问题描述化为子句集 保留蕴涵式，将其作为推理规则，用于直接推导目标公式，不仅符合人的自然思维方式，也能通过规则（作为启发式知识）更有效地引导演绎推理过程。 说明：其中，If部分可能由几个if组成，而Then部分可能由一个或一个以上的then组成。 基于规则的问题求解系统运用下述规则： antecedent concequent 有时，then部分用于规定动作；这时，称这种基于规则的系统为反应式系统(reaction system)或产生式系统(production ?system)。 3.5.1 规则正向演绎系统 逆向推理： 正向推理： 从事实出发，应用规则不断推导出中间结果作为新的事实，直至推导出目标公式 从目标公式出发，逆向应用规则不断推导出子目标，直至所有子目标就是给定的事实为止。 燕子飞回来了 燕子飞回来了（中间结果） 3 燕子飞回来后就筑巢 燕子筑巢了 事实 1.春天来了;2 春天来了,燕子就飞回来了; 3 燕子飞回来后就筑巢(2、3为规则） 目标:燕子筑巢了吗? 正向推理: 1.春天来了(事实) 2 春天来了,燕子就飞回来了 燕子飞回来了（子目标） 2 春天来了,燕子就飞回来了 事实 1.春天来了;2 春天来了,燕子就飞回来了; 3 燕子飞回来后就筑巢(2、3为规则） 目标:燕子筑巢了吗? 正向推理: 1.燕子筑巢了 3 燕子飞回来后就筑巢 春天来了(事实) 燕子飞回来了(子目标) 正向演绎推理要求将问题求解的描述分为三个部分：事实、规则集和目标。 为便于演绎推理，需将表示它们的合适公式简化为下述标准形式，并加以适当限制。 一、问题求解的规范表示 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）若母式（化简得到的文字与或形）为析取式：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) 用狄·摩根(De Morgan)定律把否定符号移进括号内，直到每个否定符号的辖域最多只含有一个谓词为止。 (5) 删去全称量词，而任何余下的变量都被认为具有全称量化作用。 (3) 对所得到的表达式进行Skolem化和前束化。 (4) 对全称量词辖域内的变量进行改名和变量标准化，而存在量词量化变量用Skolem函数代替。 2.规则 正向演绎推理以正向方式使用规则(称为F规则)，要求规则化简为以下形式： 　 L = W 其中，L为单文字，W是与或形。 之所以限制规则左部为单文字，是为了在演绎推理过程中便于通过L和与或图叶节点的匹配来激活规则。 设表示规则的原始蕴涵式为：　　　　（x）{($y)（?z）P(x, y, 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同时为真导致W为真