基于谓词逻辑的机器推理学习指导书.ppt

第5章 基于谓词逻辑的机器推理 目录 5.0 机器推理概述 5.1 一阶谓词逻辑 5.2 归结演绎推理 5.3 应用归结原理求取问题答案 5.4 归结策略 5.5 归结反演程序举例* 5.6 Horn子句归结与逻辑程序 5.7 非归结演绎推理 5.1一阶谓词逻辑 5.1.1 谓词、函数、量词 5.1.2 谓词公式 5.1.3 谓词逻辑中的形式演绎推理 5.1.1谓词、函数、量词（1） 5.1.1谓词、函数、量词（2） 对于复杂的知识，命题符号能力不够。 无法把所描述的客观事物的结构及逻辑特征反映出来。 无法把不同事物间的共同特征表达出来。 5.1.1谓词、函数、量词（3） 谓词(predicate)：一般形式为P（x1, x2 ,…, xn ） P为谓词名，用于刻画个体的性质、状态 或个体间的关系。 x1， x2 ，…， xn是个体，表示某个独立存 在的事物或者某个抽象的概念。 5.1.1谓词、函数、量词（4） 函数：为了表达个体之间的对应关系，引入数学中函数概念和记法。用形如f(x1，x2，…，xn)来表示个体变元对应的个体y，并称之为n元个体函数，简称函数。 5.1.1谓词、函数、量词（5） 5.1.1谓词、函数、量词（6） 5.1.1谓词、函数、量词（7） 5.1.1谓词、函数、