第三~四讲——产生式和一阶谓词.pptVIP

第四讲 基于逻辑的问题求解方法 逻辑表示法 用数理逻辑表示知识 经典逻辑（标准逻辑） 非经典逻辑 一阶谓词是一种形式语言，可以表示和推理客观世界的属性和关系。 第一节 一阶谓词逻辑基础 命题 取值为真或假(表示是否成立)的句子 谓词 带有变量(参数)的命题 谓词 p (x1，x2，…，xn) 一元谓词 谓词与一个个体的属性 blue ( desk ) 多元谓词 谓词与多个个体间的关系 TEACHER(x, y) 一阶谓词 xi 为常量、变元或函数 高阶谓词 xi 本身为一阶谓词 一、谓词逻辑的符号体系 连接词 量词 二、谓词逻辑的知识表示 1 形式化的领域 2 非形式化的领域 三、谓词演算公式 第二节 逻辑推理 一、等价式 二、自然演绎推理 例 设已知如下事实： (1) 只要是需要编程序的课，王程都喜欢。 (2) 所有的程序设计语言课都是需要编程序的课 (3) C是一门程序设计语言课。 求证：王程喜欢C这门课。 证明：首先定义谓词 program (X) X是需要编程序的课。 like (X,Y) X喜欢Y。 language (X) X 是—门程序设计语言课。 把已知事实及待求解问题用谓词公式表示