清华大学《人工智能导论》课程电子教案二ppt课件.ppt

《清华大学《人工智能导论》课程电子教案二ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第四章谓词演算及应用是一种形式语言，具有严密的理论体系是一种常用的知识表示方法例：City（北京）City（上海）Age（张三，23）(x)(y)(z)(F(x,y)F(y,z)GF(x,z)14.1归结原理归结原理是一种定理证明方法，1965年由Robinson提出，从理论上解决了定理证明问题。归结原理的提出，对机器定理证明问题起到了推动作用。2子句集无量词约束元素只是文字的析取否定符只作用于单个文字元素间默认为合取例：{~I(z)R(z),I(A),~R(x)L(x),~D(y)}3化子句集的方法

2、例：(z)(x)(y){[(P(x)Q(x))R(y)]U(z)}1,消蕴涵符理论根据：ab=>~ab(z)(x)(y){[~(P(x)Q(x))R(y)]U(z)}2,移动否定符理论根据：~(ab)=>~a~b~(ab)=>~a~b~(x)P(x)=>(x)~P(x)~(x)P(x)=>(x)~P(x)(z)(x)(y){[(~P(x)~Q(x))R(y)]U(z)}4化子句集的方法（续1）3,变量标准化即：对于不同的约束，对应于不同的变量(x)A(x)

3、(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)}5化子句集的方法（续2）6,化为合取范式即(ab)(cd)

4、(ef)的形式(x){[(~P(x)~Q(x))R(f(x))]U(a)}=>(x){(~P(x)~Q(x))R(f(x))U(a)}=>(x){[~P(x)R(f(x))U(a)][~Q(x))R(f(x))U(a)]}7,隐去全程量词{[~P(x)R(f(x))U(a)][~Q(x))R(f(x))U(a)]}6化子句集的方法（续3）8,表示为子句集{~P(x)R(f(x))U(a),~Q(x))R(f(x))U(a)}9,变量标准化（变量换名）{~P(x1)R

5、(f(x1))U(a),~Q(x2))R(f(x2))U(a)}7归结原理定理：若S是合式公式F的子句集，则F永假的充要条件是S不可满足。S不可满足：若nilS，则S不可满足。8使用归结原理证明定理的思路目标的否定连同已知条件一起，化为子句集，并给出一种变换的方法，使得SS1S2...Sn同时保证当Sn不可满足时，有S不可满足。94.2归结方法（命题逻辑）设子句：C1=LC1’C2=(~L)C2’则归结式C为：C=C1’C2’定理：子句集S={C1,C2,…,Cn}与子句集S1={C,C1,C

6、2,…,Cn}的不可满足性是等价的。其中，C是C1和C2的归结式。10归结的例子设公理集：P,(PQ)R,(ST)Q,T求证：R子句集：(1)P(2)~P~QR(3)~SQ(4)~TQ(5)T(6)~R（目标求反）化子句集：(PQ)R=>~(PQ)R=>~P~QR(ST)Q=>~(ST)Q=>(~S~T)Q=>(~SQ)(~TQ)=>{~SQ,~TQ}11子句集：(1)P(2)~P~QR(3)~SQ(4)~TQ(5)T(6)~R（目标求反）归结：(7)~P

7、~Q(2,6)(8)~Q(1,7)(9)~T(4,8)(10)nil(5,9)124.3谓词逻辑的归结原理问题：如何找归结对例：P(x)Q(y),~P(f(y))R(y)P(A)Q(y),~P(f(y))R(y)基本概念置换s={t1/v1,t2/v2,…,tn/vn}对公式E实施置换s后得到的公式称为E的例，记作Es。例：s1={z/x,A/y},则：P[x,f(y),B]s=P[z,f(A),B]13合一如果存在一个S置换，使得{Ei}中E1s=E2s=E3s=…=Ens，则称{Ei}是可合一的。S为{

8、Ei}的合一者。例：{P(x,f(y),B),P(z,f(B),B)}置换s={A/x,B/y,A/z}是一个合一者,因为：P(x,f(y),B)s=P(A,f(B),B)P(z,f(B),B)s=P(A,f(B),B)置换s={z/x,B/y}和置换s={x/z,B/y}也都是这两个谓词公式的合一者。结论：合一者不唯一。14最一般合一者（mgu）置换最少，