15 The Predicate Calculus.pptVIP

15 谓词演算 15 谓词演算 内容提要 动机 量化 语法 形式推理 语义 作为知识表示语言的谓词演算 15.1 动机 命题演算的局限 命题演算中，原子是没有内部结构的字符串。只能指称关于世界的命题，不能指称世界中的对象。 “移动积木B的时候，B就是ON_B_C断言的在积木C上的木块” ON_A_B和ON_B_C完全不同。 有时世界中的对象数量巨大甚至无穷，不能枚举关于每个对象的所有陈述。 ON_B_C??CLEAR_C ON_C_A??CLEAR_A ON_A_B??CLEAR_B On(x,y)??Clear(y) Cont’d 更有用的语言 能同时指称世界中的对象和关于世界的命题。 既能命名对象又能命名命题。 不必显式地命名每个对象就能够谈论所有的对象。 一阶谓词演算(first-order predicate calculus) 扩展命题演算的表达能力 对象符号(object constant) 关系符号(relation constant) 函数符号(function constant) 量词(quantifier) 15.2 量化 论域和个体 怎样表达论域中的每个个体都有某个属性？ 有限论域，可以用合取式表示：Clear(B1)?Clear(B2)?Clear(B3)?Clear(B4) 长的合取式很麻烦，无限论域无法用合取式表示：对所有的x?R, x2?0。 怎样表达论域中至少有一个个体有某个属性？ 有限论域：Clear(B1)?Clear(B2)?Clear(B3)?Clear(B4) 同样，长的析取式很麻烦，无限论域无法用析取式表示。 Cont’d 量词(quantifier) 全称量词(Universal Quantifiers)：指称论域中所有的个体具有某种性质。 存在量词(Existential Quantifiers)：指称论域中至少有一个个体具有某种性质。 量化 一阶谓词演算：只允许量化变量符号。 二阶和高阶谓词演算：允许量化关系符号和函数符号，但是以更复杂的推理机制为代价。 例如：(?x)(?y)(Equal(x,y))?(?P)(P(x)?P(y)) 15.3 语法 语言成分 对象常量/对象符号(object constants)：Aa, 125, 13B, Q, John, EiffelTower 函数常量/函数符号(function constants)：fatherOf1, distanceBetween2, times2 关系常量/关系符号(relation constants)：B173, Parent2, Large1, Clear1, X114 变量符号(variable symbol)：p, q, r, s, t, …, p1, p2, … 联结词(connective)：?, ?, ?, and ? 量词符号(quantifier symbol)：?, ? Cont’d 项(term) (1) 对象符号和变量符号是项。 (2) 如果t1, …, tn是项，f是n元函数符号，那么f(t1, …,tn)是项。 例如：Aa, fatherOf(John) 原子(atom) 如果t1, …, tm是项，R是m元关系符号，那么R(t1, …,tm)是一个原子(也叫做原子公式)。 例如： Parent(John, Bill), Grandfather(fatherOf(John), Bill) Cont’d 合式公式(well-formed formula, wff) (1) 原子是合式公式。 (2) 如果?是合适公式，那么??也是合式公式。 (3) 如果?1和?2是合适公式，那么?1??2，?1??2，?1??2也是合式公式。 (4) 如果?是合式公式，?是变量符号，那么(??)?和(??)?也是合式公式。 例如：P，Friend(x,y)，?Friend(x,y)，Friend(x,y)?Friend(y,x)，(?x)(?y)(Friend(x,y)?Friend(y,x)) Cont’d 在合式公式(??)?和(??)?中，?叫做被量化的变量，?是量词的辖域。?在?中的出现叫做约束出现，?叫做?的约束变量。 如果合式公式?中的变量?的不出现在任何量词的辖域内，叫做自由出现，?叫做?的自由变量。 不含自由变量的合式公式叫做闭公式或语句。 例如：(?x)(Man(x)?Mortal(x))，x是约束变量，是闭公式； (?x)Parent(x,y)，x是约束变量，y是自由变量 15.4 形式推理 推理规则 全称消去（?消去） (??)?(?)├?(t), 其中，t是一个任意的项，?(t)是用t置换?(?)中?的所有出现得到的。 存在引入（?引入） ?(t)├(??)?(?), 其中，?(