5.1 一阶谓词逻辑 5.2 归结演绎推理 5.3 应用归结原理求取问题答案 5.4 归结策略 5.5 归结反演程序举例 5.6 Horn子句归结与逻辑程序 5.7 非归结演绎推理

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5．5．1 推理规则 5．5．2 使用推理规则的推理演算举例 5．6 谓词逻辑的归结推理法

1-1人工智能的概念 1-1-1什么是人工智能 (1)人工智能( Artificiallntelligencel]指由计算机实现的 人造智能。人工智能就是用人工的方法在机器(计算机) 上实现的智能。作为一门学科,人工智能可定义为:人工 智能是一门研究如何构造智能机器(智能计算机)或智能 系统,使它能模拟、延伸、扩展人类智能的学科

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-3 谓词公式的翻译

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-5 谓词演算的四个推理规则

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-4 谓词演算的永真公式

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-2 谓词公式

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-1 谓词和量词

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论