1 课前思考：
　　相信很多读者都已经在数理逻辑或者离散数学课程中学习过一阶谓词演算的内容，了解了有关的命题逻辑、谓词逻辑的演算方法。由于一阶谓词逻辑具有很强的表达能力及严密的数学基础，在人工智能中，作为一种知识表示的方法被经常使用。知识表示的目的是为了求解问题。那么在人工智能中一阶谓词逻辑都能够求解哪些问题呢？其基本方法是怎样的呢？本章将回答这些问题，介绍一阶谓词逻辑在人工智能中的具体应用。

2 学习目标：
　　了解一阶谓词演算的基本体系，掌握命题逻辑和谓词逻辑的归结方法，以及基于归结的提取问题回答的方法，掌握基于规则的正向演绎方法和逆向演绎方法。

3 学习指南：
　　本章内容是在一阶谓词逻辑的基础上介绍有关的方法，假定读者已经学习过一阶谓词逻辑的有关内容。在学习的同时，自己尝试重新做一边例题，将有助于你的学习。在有条件的情况下，可以尝试用程序实现本章介绍的一些主要方法，不过有一定的难度。

4 难重点：
　　命题逻辑的归结方法，谓词逻辑的归结方法，基于归结的问题回答方法，基于规则的正向演绎方法和基于规则的逆向演绎方法。

5 知识点：