3基本推理方法(基于规则的演绎系统)讲解.ppt

3、基本推理方法经典推理----基于规则的演绎系统 总之，我们只能考虑那些结束在目标结点上的具有一致的匹配弧置换的解图―――一致解图，并以对该解图对应的子句应用置换的合成所得到的例作为解答语句。下面给出置换的一致性的定义。 定义 设有一个置换集 ，每个Ui是一个置换对的集合。 令 置换U称为一致的，当且仅当U1和U2是可合一的，而U的合成u=mgu(U1,U2). 3、基本推理方法经典推理----基于规则的演绎系统 例如有置换u1={x/y,x/z}和u2=(A/z) 令 U1=(y,z,z) U2=(x,x,A) 可以求得U1和U2的最简合一者为 u=mgu(U1,U2)={A/x,A/y,A/z} 因此置换u1和u2是一致的，且合成为u. 为了避免不必要的不一致，应用中应注意以下几点： ①多次应用同一规则时，每次应把变量改名。 ②多次应用同一目标文字时，每次应把变量改名。 ③当存在一个结束于目标文字上的一致解图时，证明成功地结束。 例子： FIDO叫且咬人，或者FIDO不是狗 所有猎犬都是狗，叫的都是喧闹的 证明：存在某物或者不是猎犬或者是喧闹的 DOG(x),BITES(x),BARKS(x),NOISY(x),TERRIER(x) FIDO叫且咬人，或者FIDO不是狗所有猎犬都是狗，叫的都是喧闹的证明：存在某物或者不是猎犬或者是喧闹的 事实：?DOG(Fido)?(BARKS(Fido)?BITES(Fido)) 规则：?x TERRIER(x)?DOG(x) ?y BARKS(y) ?NOISY(y) 目标：?z（?TERRIER(z)?NOISY（z）） 事实：?DOG(Fido)?(BARKS(Fido)?BITES(Fido)) 规则：TERRIER(x)?DOG(x) BARKS(y) ?NOISY(y) 目标：?TERRIER(z)?NOISY（z） ?DOG(Fido)?(BARKS(Fido)?BITES(Fido)) ?DOG(Fido) (BARKS(Fido)?BITES(Fido)) BARKS(Fido) BITES(Fido) BARKS(y) NOISY(Fido) Fido/y ?DOG(x) Fido/x ?TERRIER(Fido) ?TERRIER(z) Fido/z NOISY(z) Fido/z 规则：TERRIER(x)?DOG(x) BARKS(y) ?NOISY(y) 目标：?TERRIER(z)?NOISY（z） TERRIER(x)?DOG(x) 逆否律：?DOG(x)? ?TERRIER(x) 3、基本推理方法经典推理----基于规则的演绎系统 逆向演绎系统 逆向演绎系统是正向演绎系统的对偶形式。我们称正向系统中的规则为F规则，称逆向系统中的规则为B规则，逆向系统从目标表达式出发，逆向应用规则，直到事实表达式。 (1)目标表达式 在逆向演绎系统中，目标表达式可为无蕴涵的任意与或形式。可用类似于正向系统中转化事实表达式的过程，将任意形式的目标表达式转换为标准的与或形式。不同的是，应Skolem化全称量词量化的变量，略去存在量词，则目标表达式中尚存的变量都认为是存在量词量化的变量。重新命名变量，使主要析取式中含不同的变量名 ①消去蕴涵符 ② 缩小否定的作用范围（到原子公式） ③ 重命名变量，使量词间不含同名变量。 ④ 引入Skolem函数消去全称量词。 ⑤ 去掉所有存在量词。 3、基本推理方法经典推理----基于规则的演绎系统 例如有目标表达式 （?y）(?x){P(x)?[Q(x,y)??[R(x) ?S(y)]]} 可转化为 ?P(f(y))?{Q(f(y),y) ?［?R(f(y)) ?? S(y)］} 重新命名变量后得 ?P(f(z))?{Q(f(y),y) ?［?R(f(y)) ?? S(y)］} 3、基本推理方法经典推理----基于规则的演绎系统 与或形式的目标公式可以用与或图表示。 把目标公式A1?A2?…?Am的每个子公式Ai(i=1,2,…,m)表示成AND结点（即m联结符），是因为要证明A1?A2?…?Am成立，必须证明每一个Ai都为真。 类似地，把目标公式A1?A2?…?Am每个子公式表示成OR结点（即1联结符），是因为只需证明Ai为真即可。 对上一个公式的与或图为 3、基本推理方法经典推理----基于规则的演绎系统 ?P(f(z))?{Q(f(y),y) ?［?R(f(y)) ?? S(y)］} ?P(f(z)) Q(f(y),y) ?