人工智能中的谓词演人工智能中的谓词演人工智能中的谓词演人工智能中的谓词演算及应用算及应用算及应用算及应用人工智能中的谓词演算及应用人工智能中的谓词演算及应用1 1 学习目标：学习目标：了解一阶谓词演算的基本体系，掌握命题逻辑和谓了解一阶谓词演算的基本体系，掌握命题逻辑和谓词逻辑的归结方法，以及基于归结的提取问题回答的方词逻辑的归结方法，以及基于归结的提取问题回答的方法，掌握基于规则的正向演绎方法和逆向演绎方法。法，掌握基于规则的正向演绎方法和逆向演绎方法。2 2 学习指南：学习指南：本章内容是在一阶谓词逻辑的基础上介绍有关的方本章内容是在一阶谓词逻辑的基础上介绍有关的方法，假定读者已经学习过一阶谓词逻辑的有关内容。在法，假定读者已经学习过一阶谓词逻辑的有关内容。在学习的同时，自己尝试重新做一遍例题，将有助于你的学习的同时，自己尝试重新做一遍例题，将有助于你的学习。在有条件的情况下，可以尝试用程序实现本章介学习。在有条件的情况下，可以尝试用程序实现本章介绍的一些主要方法，不过有一定的难度。绍的一些主要方法，不过有一定的难度。人工智能中的谓词演算及应用人工智能中的谓词演算及应用3 3 难重
