第七章逻辑智能体.docVIP

第七章 逻辑智能体 教学内容：本章介绍基于知识的智能体，设计可表示的世界的智能体，采用了推理过程以得到关于世界的新表示，并且用这些新表示来推导下一步做什么。 教学重点：1.智能体的设计 2. Wumpus world 3.逻辑的一般原则 4.命题逻辑 5.等价、合法性、可满足性 6.推理规则与定理证明 教学难点：1. 等价、合法性、可满足性 2.推理规则与定理证明 7.1基于知识的智能体 基于知识的智能体核心构建是知识库，或称KB。知识库是一个语句的集合，这些语句在被称为知识表示语言的语言中表达，表示了关于世界的某些表达。 7.2wumpus世界 Wumpus是世界由多个房间组成，用通道连接起来的洞穴。在洞穴的某处隐藏着一只wumpus，一种恶兽，它会吃掉进入房间的任何人。智能体可以射杀wumpus，但智能体只有一支箭。某些房间有陷阱，任何人漫游到这些房间，将被陷阱吞噬。该环境也可能发现金子。如图： 7.3逻辑 逻辑蕴含及一个语句逻辑上跟随另一个语句出现。 如图所示的算法被称为模型检验，因为它枚举所有可能的模型用于检验在KB为真的所有模型原语句为真。 7.4命题逻辑 命题逻辑的语法定义为允许出现的语句。在命题逻辑中，逻辑简单的固定了每个命题符号的真值true或false。逻辑连接符有非 、与 、或 、蕴含 、当且仅当 。 推理算法对蕴含的直接实现：枚举出模型，验证α在KB为真的每