精品大学课件人工智能导论马少平(清华)人工智能资料.pptVIP

第四章谓词演算及应用是一种形式语言，具有严密的理论体系是一种常用的知识表示方法–例：City（北京）City（上海）Age（张三，23）( x)( y)( z)(F(x,y) F(y,z) GF(x,z)

4.1归结原理 归结原理是一种定理证明方法，1965年由Robinson提出，从理论上解决了定理证明问题。子句集无量词约束元素只是文字的析取否定符只作用于单个文字元素间默认为和取例:{~I(z) R(z),I(A),~R(x) L(x),~D(y)}

化子句集的方法例:( z)( x)(1,消蕴涵符理论根据:ay){[(P(x) Q(x)) R(y)] U(z)}b=~a b( z)( x)( y){[~(P(x) Q(x))R(y)]U(z)}2,移动否定符理论根据:~(a~(ab)=~ab)=~a~( x)P(x)=(~( x)P(x)=(( z)( x)( y){[(~P(x)~b~bx)~P(x)x)~P(x)~Q(x))R(y)]U(z)

化子句集的方法（续1）3,变量标准化即:对于不同的约束，对应于不同的变量( x)A(x) ( x)B(x)=( x)A(x) (y)B(y)4,量词左移(x)A(x)(y)B(y)=(x)(y){A(x)B(y)5,消存在量词(skolem化）原则:对于一个受存在量词约束的变量，如果他不受全程量词约束，则该变量用一个常量代替，如果他受全程量词约束，则该变量用一个函数代替。( z)( x)( y){[(~P(x) ~Q(x)) R(y)]U(z= ( x) {[(~P(x) ~Q(x)) R(f(x))]U(a)}

化子句集的方法（续2）6,化为合取范式即(a b) (c d) (ef)的形式R(f(x))] U(a)}U(a)}( x){[(~P(x)=( x){(~P(x)=( x){[~P(x)[~Q(x))~Q(x))~Q(x))R(f(x))R(f(x))R(f(x))U(a)]U(a)]}7,隐去全程量词{[~P(x) R(f(x))U(a)] [~Q(x)) R(f(x)) U

化子句集的方法（续3）R(f(x))U(a)}8,表示为子句集{~P(x) R(f(x)) U(a),~Q(x))9,变量标准化（变量换名）{~P(x1) R(f(x1)) U(a),~Q(x2))R(f(x2)) U(a)

定理:若S是合式公式F的子句集，则F永假的充要条件是S不可满足。S不可满足:若nil S，则S不可满足。证明的思路:目标的否定连同已知条件一起，化为子句集，并给出一种变换的方法，使得S S1 S2 ... Sn同时保证当Sn不可满足时，有S不可满足。

4.2归结方法（命题逻辑）设子句:C1=LC1’ C2=(~L)C2’ 则归结式C为:C=C1’ C2’定理:子句集S={C1,C2,…,Cn}与子句集S1={C,C1,C2,…,Cn}的不可满足性是等价的。其中，C是C1和C2的归结式。

归结的例子(6)~R（目标求反）设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:设公理集:

(6)~R（目标求反）子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:子句集:

4.3谓词逻辑的归结原理问题:如何找归结对Q(y),Q(y),~P(f(y))~P(f(y))R(y)R(y)例:P(x)P(A)基本概念–置换s={t1/v1,t2/v2,…,tn/vn}对公式E实施置换s后得到的公式称为E的例，记作Es。例:s1={z/x,Ay},则:P[x,f(y),B]s=P[z,f(A),B]

则称合一如果存在一个S置换，使得{Ei}中E1s=E2s=E3s=…=Ens，{Ei}是可合一的。S为{Ei}的合一者。例:{P(x,f(y),B