精品大学人工智能导论马少平人工智能.ppt

第四章谓词演算及应用 是一种形式语言,具有严密的理论体系 是一种常用的知识表示方法 City(北京) Ciy(上海) Age(张三,23) (x( y(v z)((X, y)F(y, Z)-GF(X, Z) 4.1归结原理 归结原理是一种定理证明方法,1965年 由 Robinson提出,从理论上解决了定理 证明问题 子句集 无量词约束 元素只是文字的析取 否定符只作用于单个文字 元素间默认为和取 F :(I(Z)VR(), I(A), R(X)VL(X), D(y)) 化子句集的方法 例:(z)(x)By){[(P(x)vQ(x)→R(y)U(z)} 1,消蕴涵符 理论根据:a-b=~avb (z)(Vx(y)[(P(x)vQ(x))vR(y)VU(z)) 2,移动否定符 理论根据:~(avb)=~a∧~b ~(a∧b)=~ay~b (彐x)P(x)=(Vx)~P(x) ~(Vx)P(x)=(x)~P(x) (z)(Vx(yII(P(x)AQ(x))vR(y)vU(z) 化子句集的方法(续1) 3,变量标准化 即:对于不同的约束,对应于不同的变量 (X)A(X)V(x)B(X)=(X)A(x)v y)B(y) 4,量词左移 (x)A(x)(y)B(y)=(x)(y){A(x)B(y)} 5,消存在量词( skolem化) 原则:对于一个受存在量词约束的变量,如果他 不受全程量词约束,则该变量用一个常量代替 如果他受全程量词约束,则该变量用一个函数代 替 (z)(Vx)(y){[(~P(x)∧~Q(x)∨R(y)U(z) Vx [(~P(x)∧~Q(x)∨R()vU()} 化子句集的方法(续2) 6,化为合取范式 即(avb)∧(cvd)(ev的形式 (VxP(x)A-Q())VR(f(XvU(a) (x)(P(X)AQ(X))VR(f(x)vU(a) (xLP(X) R((X))U(aA [~Q(x)R(f(x)U(a)]} 7,隐去全程量词 I-P(x)VR(f(XVU(a)[Q(x))vR(f(x))vU(a 化子句集的方法(续3) 8,表示为子句集 [P(x)VR(f(XVU(a), Q(x))vR(f(x)vU(a) 9,变量标准化(变量换名) [P(x1)vR(f(XlV(a), -Q(x2))vR(f(x2)vU(a) 定理: 若S是合式公式F的子句集,则F永假的充 要条件是S不可满足。 S不可满足:若 nilEs,则S不可满足 证明的思路 目标的否定连同已知条件一起,化为子 句集,并给出一种变换的方法,使得 S→)S1-S2-.Sn 同时保证当Sn不可满足时,有S不可 满足。 4.2归结方法(命题逻辑) 设子句: Cl=LvCl C2=(~L)vC2 则归结式C为 C=CI VC2 定理: 子句集S={C1,C2,,Cn}与子句集 Sl={C,C1,C2,,Cn}的不可满足性是 等价的。其中,C是C1和C2的归结式。 归结的例子 设公理集 化子句集 P (P∧Q-R (P∧Q)→R, -(PAQVR SvT)→Q -PV-OVR 求证:R (ST)→Q 子句集 N(SVT)vQ (1)P (~S∧~TVQ 2)-PV-QVR SVQ)ACTVQ) cSvQ, -TvQ) (5)T (6)~R(目标求反) 子句集 归结 (1)P (7)~P~Q(2,6) 2)-PV-QVR (8)~Q (1,7) (3)SvQ 9)~T (4,8 (4)TvQ (10) nil (5)T (6)~R(目标求反)