第3章确定性推理-1教程.pptx

什么是推理;推理的分类;推理的分类;推理的分类;推理的分类;推理的分类;推理的分类;8;3.1 一阶谓词逻辑基础Basics of First Order Predicate Logic ; 命题逻辑虽然可以用来表示知识，但它存在较大的局限性，它无法把所描述的客观事务的结构及逻辑特征反映出来，也不能把不同事务的共同特征表示出来。 例如，张三是李四的老师； 贝多芬是作曲家 柴可夫斯基是作曲家;11;3.1.1谓词逻辑的符号体系 Symbol System of FOL;函数与谓词的形式分别为: 谓词P(x1,x2,…,xn) 函数f(x1,x2,…,xn) x1,x2,…, xn为个体变量， 谓词用来表达n个实体之间的关系或属性，其取值为T(真)或F(假)； 函数仅实现个体域中n个个体到某一个体的映射，没有真假取值。;连接词Connectives;量词Quantifier;例3.1 用谓词S(x)表示个体x学习好，W(x)表示x工作好； 谓词公式S(x)∧W(x)表示x不仅学习好而且工作好，S(y)∧～W(y)表示y的学习好但工作不好； 谓词公式?z Computer(z)→CPU(z)表示所有的计算机(个体z)都有CPU。 例3.2 设有三个积木块a，b，c，它们之间的位置关系可用下列谓词表示: ON(a,b)表示a在b之上； ON(b,c)表示b在c之上； ON(a,b) ? ON(b,c) ? ON(a,c)表示a在b之上且b在c之上，则a在c之上。;若量词仅对谓词的个体(变量)而不能对谓词自身起限定作用，即把谓词名视为常量时，称其为一阶谓词； 若量词不仅对个体，而且对谓词自身起限定作用，称其为高阶谓词。 例如: ?P(Q（x）? P)，?Q?y Q(y)均为二阶谓词 ?x?yP(x,y)是含有两个自由变元的一阶谓词。 经典逻辑中最重要的几类逻辑是命题逻辑、谓词逻辑和二阶逻辑。 命题逻辑表达能力弱，能解决的问题不多； 二阶逻辑过于复杂，且到目前为止不存在有效的算法。 在人工智能中常用的还是一阶谓词逻辑，因此本章介绍的内容主要针对一阶谓词逻辑。;3.1.2谓词演算公式(Predicate calculus formula);定义：谓词演算的合式公式(Well Formed Formula，简称公式或WFF) ： (1)谓词演算的原子公式是公式。 (2)若A是公式，则～A也是公式。 (3)若A, B是公式，则A∧B, A∨B, A B, A B，也都是公式。 (4)若A是公式，x是个体变量，则 ? x(A)，? x(A)也是公式。 (5)只有按(1)—(4)所得才是合式公式。;量词的辖域 在一个公式中，如果有量词出现，位于量词后面的单个谓词或者用括号括起来的合式公式称为量词的辖域 约束变元 在辖域内与量词中同名的变元称为约束变元 不受约束的变元称为自由变元 例： (?x) (P(x) ∨ (?y)R(x, y)) (?x) Q(x, y) ;3.1.3 谓词公式的解释The interpretation of WFF;例3.3 设个体域D={1,2}，求公式B=(?x)（P(x)→Q(f(x),b)）在D 上的某一个解释，并指出公式B在此解释下的真值。 解：设对个体常量b，函数f(x)指派的值分别为： b=1, f(1)=2, f(2)=1 对谓词指派的真值为： P(1)=F, P(2)=T，Q(1,1)=T, Q(2,1)=F 由于已指派b=1，所以Q(1,2)与Q(2,2)不可能出现，故没有给它们指派真值。 上述指派就是对公式B的一个解释。 在此解释下，对个体域D中的所有x均有 P(x) → Q(f(x),b)的真值为T。所以公式B在此解释下的真值为T。;若在所有可能的解释下P均为真，称P为永真式，或重言式(tautology)； 若在所有可能的解释下P均为假，称P为永假式(contradiction)，或不可满足(unsatisfiable)的公式。 问题：当解释的个数为无限个的时候，公式难以判定永真和永假，为此，引入可满足式。 若仅在某一特定的解释下P为真，称P为可满足(satisfiable)的公式；;??价式 设P和Q是两个谓词公式，D是它们共同的个体域，若对D上的任何一个解释，P与Q的取值都相同，则公式P和Q在D上是等价的。 若D为任意个体域，则称P和Q是等价的，记为P=Q 永真蕴含式 设P和Q是两个谓词公式，如果P?Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提，记作P=Q;常用的等价式【板书】 常用的永真蕴含式【板书】 置换【板