人工智能3-1.ppt

人工智能原理第3章 逻辑系统与推理（上） 本章内容  3.1 逻辑系统回顾 3.2 逻辑智能体推理策略 3.3 消解法推理的理论基础 3.4 消解法与消解策略 3.5 模态逻辑 3.6 三值逻辑 3.7 模糊逻辑 参考文献 第1部分 经典逻辑系统逻辑系统推理策略 经典数理逻辑 AI研究内容之一是推理，即研究怎样使计算机获得自动推理的能力 数理逻辑用数学方法研究各种推理中的逻辑问题，以推理本身作为研究对象 AI要使用逻辑推理，就必然涉及数理逻辑 / 数理逻辑的经典部分—经典的命题逻辑和一阶谓词逻辑，同时作为人工智能的知识表示方法和推理方法而存在；因此数理逻辑是人工智能的一个基础 逻辑智能体 基于知识的智能体的核心部件是知识库，当这些知识以逻辑形式表示并进行相应的推理时，就是逻辑智能体 知识表示：命题逻辑、一阶谓词逻辑 推理(一阶谓词逻辑)—主要有3类推理算法：前向链接和演绎系统、反向链接和逻辑程序设计(3.2节)、归结反演和定理证明系统(3.3和3.4节) 采用命题和谓词演算进行推理的系统(如演绎系统)是一种典型的逻辑智能体 3.1 逻辑系统回顾3.1.1 命题与公式3.1.2 谓词3.1.3 一阶语言及其项3.1.4 逻辑系统的语法与语义3.1.5 语法和语义之间关系 3.1.1 命题与公式 命题：描述客观世界的可区分真假的陈述句