人工智能原理 人工智能原理 第 第 3 3 章 章 逻辑 逻辑 系 系 统 统 1本章内容 本章内容 3.1 命题逻辑 和一阶谓词逻辑 3.2 逻辑 系统的语法和语义 3.3 逻辑 推理举例 3.4 逻辑 智能体的推理策略 参考书目 附录 形式系统简 介 第3 章 逻辑 系 统 2经 经 典数理 典数理 逻辑 逻辑 AI 研究内容之一是推理，即研究怎样 使 计算机获得自动推理的能力 数理逻辑 用数学 方法研究各种推理中的 逻辑问题 ，以推理本身作为研 究对象 AI要使用逻辑 推理，就必然涉及数理逻 辑 / 数理逻辑 的经典部分经典的命题 逻辑 和一阶谓词逻辑 ，同时作为人工 智能的知识表示方法和推理方法而存在 ；因此数理逻辑 是人工智能的一个基础 第3 章 逻辑 系 统 3逻辑 逻辑 智能体 智能体 基于知识的智能体的核心部件是知识库 ，当这 些知识以逻辑 形式表示并进 行相 应的推理时，就是逻辑 智能体 知识表示：命题逻辑 、一阶谓词逻辑 推理(一阶谓词逻辑 )主要有3 类推理算法 ：前向链接和演绎系统、反向链接和逻辑 程序设计 (本章)、归结 反演和定理证明系 统(第4章) 采用命
