AI复习.doc.doc

三谓词公式的性质：永真性、不可满足性、等价性、永真蕴含式 谓词逻辑法是应用最广的方法之一，其原因是： 谓词逻辑与数据库，特别是关系数据库就有密切的关系。在关系数据库中，逻辑代数表达式是谓词表达式之一。因此，如果采用谓词逻辑作为系统的理论背景，则可将数据库系统扩展改造成知识库。 一阶谓词逻辑具有完备的逻辑推理算法。如果对逻辑的某些外延扩展后，则可把大部分的知识表达成一阶谓词逻辑的形式。（知识易表达） 谓词逻辑本身具有比较扎实的数学基础，知识的表达方式决定了系统的主要结构。因此，对知识表达方式的严密科学性要求就比较容易得到满足。这样对形式理论的扩展导致了整个系统框架的发展。 逻辑推理是公理集合中演绎而得出结论的过程。由于逻辑及形式系统具有的重要性质，可以保证知识库中新旧知识在逻辑上的一致性（或通过相应的一套处理过程检验）、和所演绎出来的结论的正确性。而其它的表示方法在这点上还不能与其相比。 常用推理规则： 前提引入规则、结论引入规则、代入规则、置换规则、分离规则（假言假设）等。 假言推理： P，P →Q Q 假言三段论： P →Q，Q →R P →R 拒取式推理： P→Q，(Q (P 析取三段论： P∨Q，(Q P 在人工智能中，推理是由程序实现的，称为推理机 自然演绎推理 概念： 从一组已知为真的事实出发，直接运用经典逻辑的推理规则推出结论的过程。 优点： 证明过程自然，容易理解 推理规则丰富 推理过程灵活 缺点： 产生组合爆炸 子句形 P( Q ( ( P∨Q ( (( P) ( P ( (P∧Q) ( ( P∨( Q 或 ( (P∨Q) ( ( P∧( Q (((x)P(x) ( (( x) ( P(x) 或 ((( x)P(x) ( (( x) ( P(x) 子句形—谓词公式化为子句集步骤 步骤1：消去蕴含符号 步骤2：减少否定符号的辖域 步骤3：变量标准化，即重新命名变元：保证每个量词有其唯一的约束变量 步骤4：消去存在量词：消去存在量词“(”，略去全称量词“(” 步骤5：化为前束范式（全称量词前置） 步骤6：化前束范式为SKOLEM标准形：反复利用分配率；化出合取范式 步骤7：化前束范式为SKOLEM标准形：消去全称量词 步骤8：消去合取符号：用子句集代替合取式，即为所求的子句集。 步骤9：对变元更名：使一个变元符号不出现在一个以上的子句中 子句形 定理： 谓词逻辑的任意公式都可以化为与之等价的前束范式，但其前束范式不唯一。 定理： 若F是给定的公式，而S是相应的子句集，则F是不可满足的 ( S是不可满足的。 注意：F真不一定S真，而S真必有F真。 即： S ( F 定理：谓词逻辑的任意公式都可以化为与之等价的前束范式，但其前束范式不唯一。 注意：谓词公式F的SKOLEM标准形同F并不等值。 置换的合成：设有(={t1/x1,t2/x2,…,tn/xn} 和(={u1/y1,u2/y2,…,um/ym}是两个置换。则两个代换的复合(((也是一个置换。 (((={t1(/x1,t2(/x2,…,tn(/xn，u1/y1,u2/y2,…,um/ym} 其中 ti( (xi 并且 yi({x1,x2,…,xn} (=｛f(y)/x，z/y｝，(=｛a/x，b/y，y/z｝ 求((( ｛f(b)/x，y/y，a/x ， b/y ， y/z｝(｛f(b)/x，y/y，a/x ， b/y ， y/z｝(｛f(b)/x，a/x ， b/y ， y/z｝((((=｛f(b)/x，y/z｝ 性质：满足结合律，而不满足交换律 （(((1）((2 = ((（(1((2） 而一般 (1((2 ( (2((1 求mgu举例 ： F={ P[ f(x), y, g(y) ], P[ f(x), z, g(x) ] } k=0,F0=F,(0=(, D0={y,z} (1= (0 ({y/z}= {y/z} F1=F0 { y/z }= { P[ f(x), y, g(y) ], P[ f(x), y, g(x) ] } k=1, D1={y,x}, (2= (1 ({y/x}= {y/z,y/x} F2=F1 {y/x }= { P[ f(y), y, g(y) ], P[ f(y), y, g(y) ] } F2只含一个表达式，则算法停止。 mgu=(2 ={y/z,y/x} 命题逻辑的归结法 归结