第3章基于谓词逻辑的机器推理要点.ppt

第3章 基于谓词逻辑的机器推理 内容 3.1 机器推理概述 3.2 谓词逻辑简介 3.3 自然演绎推理 3.4 归结演绎推理 3.5 归结原理与PROLOG程序 3.6 基于规则的演绎推理 3.1 机器推理概述（1） 机器推理 推理是人脑的一个基本功能和重要功能，几乎所有的人工智能领域都与推理有关。因此，要实现人工智能，就必须将推理的功能赋予机器，实现机器推理。机器推理也称为是计算机推理，或自动推理，它也是人工智能的核心课题之一。 自动定理证明： 是机器推理的一种重要应用，它是利用计算机证明非数值性的结果，很多非数值领域的任务如医疗诊断、信息检索、规划制定和难题求解等方法都可以转化一个定理证明问题。 自动定理证明的基本方法： 3.1 机器推理概述（2） 定理证明器：它是研究一切可判定问题的证明方法。鲁滨逊的归结原理。 自然演绎法：该方法依据推理规则从前提和公理中可以推出许多定理，如果待证明的定理在其中则定理得证。LT程序、证明平面几何的程序。 基于归结原理的自动定理证明过程： 3.1 机器推理概述（3） 定理的自然语言描述 定理的谓词公式描述 子句集 生成子句集 定理得证 应用归结规则和归结策略 自然语言处理生成谓词公式 已知前提： F1：自然数都是大于零的整数。 F2：所有整数不是偶数就是奇数。 F3：偶数除以2是整数。 结论G：所有自然数不是奇数就是一半为整数的数。 定理的谓词公式描述： F1: ?x (N(x)?GZ(x) ? I(x)) F2: ?x (I(x)?(E(x) ?O(x))) F3: ? x (E(x) ? I(s(x))) G: ?x (N(x)?(I(s(x)) ?O(x))) 基于规则的演绎推理 ：把已知判断中的知识表示成规则的形式（包括F-规则和B-规则），运用规则从已知判断的事实或待证明的结论出发进行推理的过程 . 3.1 机器推理概述（4） 3.2 谓词逻辑简介 3.2.1 基于命题逻辑的知识表示 3.2.2 谓词逻辑 3.2.3 基于谓词逻辑的知识表示 3.2.1基于命题逻辑的知识表示（1） 命题（proposition）：是具有真假意义的语句。命题代表人 们进行思维时的一种判断，或者是否定，或者是肯定。 命题可以用命题符号表示。 用命题符号可以表示简单的逻辑关系和推理。 P:今天天气好 Q:去旅游 S1：我有名字 S2：你有名字 P?Q表示：如果今天天气好，就去旅游。 此时，如果P（今天天气好）成立，则可以得到结论Q（去旅游） 3.2.1基于命题逻辑的知识表示（2） 对于复杂的知识，命题符号能力不够。 无法把所描述的客观事物的结构及逻辑特征反映出来。 无法把不同事物间的共同特征表达出来。 F：老李是小李的父亲。 S1：我有名字 S2：你有名字 所有的人都有名字： SI?S2 ?S3 ?… 3.2.2 谓词逻辑（1） 谓词(predicate)：一般形式为P（x1, x2 ,…, xn ） P为谓词名，用于刻画个体的性质、状态 或个体间的关系。 x1， x2 ，…， xn是个体，表示某个独立存 在的事物或者某个抽象的概念。 S(x): x是学生； P(x,y): x是y的父亲。 个体变元的变化范围称为个体域。 包揽一切事物的集合称为全总个体域。 3.2.2 谓词逻辑（2） 函数：为了表达个体之间的对应关系，引入数学中函数概念和记法。用形如f(x1，x2，…，xn)来表示个体变元对应的个体y，并称之为n元个体函数，简称函数。 函数 father(x): 值为x的父亲。 谓词D(father(Li)):表示x的父亲是医生，值为真或假。 3.2.2 谓词逻辑（3） 为了表示命题中出现的“全部”、“所有”、“一切”、“任一”或“凡是”等意义，引入全称量词，记为?x 。 为了表示命题中出现的“存在”、“某些”、“有一个”等意义，引入存在量词，记为?x 。 如：“某些学生对某些课外活动感兴趣” S(x)表示x是学生，L(y)表示y是课外活动， I(x,y)表示x对y感兴趣。 3.2.2 谓词逻辑（4） 定义3.2：项 （1）个体常元和变元都是项。 （2）f是n元函数符号，若t1，t2，…，tn是项，则 f（ t1，t2，…， tn ）是项。 （3）只有有限次使用（1），（2）得到的符号串才是项。 3.2.2 谓词逻辑（5） 定义3.3：原子公式 设P为n元谓词符号， t1，t2，…，tn为项， P（t1，t2，…，tn）称为原子谓词公式，简称原子或原 子公式。 3.2.