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

第3章 基于谓词逻辑的机器推理 内容 3.1 机器推理概述 3.2 谓词逻辑简介 3.3 自然演绎推理 3.4 归结演绎推理 3.5 归结原理与PROLOG程序 3.6 基于规则的演绎推理 3.2 谓词逻辑简介 3.2.1 基于命题逻辑的知识表示 3.2.2 谓词逻辑 3.2.3 基于谓词逻辑的知识表示 3.2.1基于命题逻辑的知识表示（1） 3.2.1基于命题逻辑的知识表示（2） 对于复杂的知识，命题符号能力不够。 无法把所描述的客观事物的结构及逻辑特征反映出来。 无法把不同事物间的共同特征表达出来。 3.2.2 谓词逻辑（1） 谓词(predicate)：一般形式为P（x1, x2 ,…, xn ） P为谓词名，用于刻画个体的性质、状态 或个体间的关系。 x1， x2 ，…， xn是个体，表示某个独立存 在的事物或者某个抽象的概念。 3.2.2 谓词逻辑（2） 函数：为了表达个体之间的对应关系，引入数学中函数概念和记法。用形如f(x1，x2，…，xn)来表示个体变元对应的个体y，并称之为n元个体函数，简称函数。 3.2.2 谓词逻辑（3） 为了表示命题中出现的“全部”、“所有”、“一切”、“任一”或“凡是”等意义，引入全称量词，记为?x 。 为了表示命题中出现的“存在”、“某