第8,9章-49(56-2013上课)分析.ppt

人工智能　━━　一种现代方法 云南大学 施心陵讲授 第八章 一阶逻辑和一阶推理 谓词逻辑（一阶逻辑） 命题逻辑的模型只是命题符号的真值集。 一阶逻辑的模型： 对象（objects）：数字、人... 关系（Relationship）: 是自然数、是工程师(属性)... ...和,,,是同学，在...里面...(n元关系) 函数（Functions）:最好的朋友… 小王是个工程师 9是个自然数 我去买水 小王和小李是同学 谓词逻辑（一阶逻辑） 常量符号：命名对象，例如，John,Flower,.. 变量符号 x,y,z 谓词符号:命名关系 谓词:刻画对象性质和对象之间关系 谓词的一般形式：P(x1,x2,…xn) 其中P是谓词名，xi是个体。 个体可以是常量出可以是变量，还可以是一个函数。 当谓词的变元都用特定的个体表达时，谓词只有一个确定的真值，T或F。 谓词中包含的个体数目称为谓词的元数， P（x)称为一元谓词，P(x,y)称为二元谓词。 谓词逻辑（一阶逻辑） 谓词公式 量词 存在量词：?x表示“在个体域中的存在个体x。 ?variables sentence ?x At(x,YNU) ? Smart(x) 量词辖域：如果有量词出现，位于量词后面的单个或用括号括起来的合式公式称为量词的辖域。 约束变元：在辖域内与量词中同名的变元称为约束变元。不受约束的称为自由变元。 量词性质 ?x ?y brother(x,y)= sibling(x,y) ?y ?x ?x ?y 不等于 ?y ?x ?x ?y Loves(x,y),其中Loves（x,y)表示x喜爱y “存在某人，他/她喜爱世界上每一个人” ?y ?x Loves(x,y) “世界上每一个人至少有一个人喜爱他/她” 量词性质 ?x Likes(x,IceCream) 等价于??x?Likes(x,IceCream) 所有人喜欢吃冰淇淋 不存在不喜欢吃冰淇淋的人 ?x Likes(x, IceCream) 等价于??x ?Likes(x,IceCream) 有人喜欢吃冰淇淋 不是所有人都不喜欢吃冰淇淋 量词性质 量词分配： (?x)(P∧Q) ≡(?x)P∧(?x)Q (?x)(P∨Q) ≡(?x)P∨(?x)Q 消去量词等值式：设个体域为有穷集合(a1,a2,...,an) (?x)P(x) ≡P(a1)∧P(a2)∧,.. ∧P(an) (?x)P(x) ≡P(a1)∨P(a2) ∨,.. ∨ P(an) 量词性质 量词辖域收缩和扩张等值式 (?x)(P(x) ∨Q)≡ (?x)P(x) ∨Q (?x)(P(x) ∧ Q)≡ (?x)P(x) ∧ Q (?x)(Q? P(x))≡ Q ?(?x)P(x) (?x)(P(x) ?Q)≡ (? x)P(x) ? Q (? x)(P(x) ∨Q)≡ (? x)P(x) ∨Q (? x)(P(x) ∧ Q)≡ (? x)P(x) ∧ Q (? x)(Q? P(x))≡ Q ?(? x)P(x) (? x)(P(x) ?Q)≡ (? x)P(x) ? Q 谓词公式的解释 谓词公式的永真性和可满足性 命题逻辑只是对事实的存在进行限定，而一阶逻辑对对象和关系的存在进行限定，因而有更强的表达能力 谓词公式表示知识举例 Wumpus世界 Home(Wumpus) Pit(s) At(Agent, s, t) ?x,y,a,b Adjacent([x,y],[a,b]) ? [a,b] ? {[x+1,y], [x-1,y],[x,y+1],[x,y-1]} ?s,t At(Agent, s, t) ∧Breeze(t) ?Breezy(s) ?s Breezy(s) ? ?r Adjacent(r,s) ∧Pit(r) ?s ? Breezy(s) ? ??r Adjacent(r,s) ∧Pit(r) ?s Breezy(s) ? ?r Adjacent(r,s) ∧Pit(r) 常用的等值式 常用的转换律 永真蕴含式 谓词归结子句形(Skolem标准形) 前束范式：一个谓词公式,如果它的所有量词均非否定地出现在公式的最前面,且它的辖域一直延伸到公式之末,同时不出现连接词=和?,这种形式的公式称为前束形范式. (Q1X1)(Q2X2)…(QnXn)M(X1,X2,…Xn) 例如：(?X)(?Y)(?Z)(P(X)∧F(Y,X)∧Q(Y,X))