ch7逻辑智能体人工智能课程北大计算机研究所分析.ppt

第七章、逻辑智能体 逻辑智能体：基于知识的智能体 知识和推理的重要性 部分可观察的环境 自然语言理解 基于知识的智能体的灵活性 主要内容 基于知识的智能体 总体的智能体设计 wumpus世界 关于基于知识的智能体运转的例子 逻辑 命题逻辑 命题逻辑的推理形式 有效的命题推理 基于命题逻辑的智能体 基于知识的智能体 核心构件是其知识库（KB） 将新语句添加到知识库以及查询目前所知内容的途径 TELL和ASK：可能涉及推理 当ASK知识库一个问题时，答案必须遵循（follow）事先被告知的知识库的内容 基于知识的智能体的一个通用程序 TELL→ASK→TELL 表示语言的细节隐含于MAKE-PETCEPT-SENTENCE和MAKE-ACTION-QUERY中 推理机制的细节隐藏于TELL和ASK中 KB的构造：TELL；智能体自我学习 主要内容 基于知识的智能体 总体的智能体设计 wumpus世界 关于基于知识的智能体运转的例子 逻辑 命题逻辑 命题逻辑的推理形式 有效的命题推理 基于命题逻辑的智能体 wumpus世界 wumpus世界任务环境的精确定义（PEAS） 性能度量：gold+1000, death-1000, action-1, using the arrow -10. 环境 4×4网格 智能体初始在[1,1]，面向右方 金子和wumpus在[1,1]之外随机均匀分布 [1,1]之外的任意方格是陷阱的概率是0.2 执行器 智能体可向前、左转或右转 智能体如果进入一个有陷阱或者活着的wumpus的方格，将死去。 如果智能体前方有一堵墙，那么向前移动无效 Grab：捡起智能体所在方格中的一个物体 Shoot：向智能体所正对方向射箭（只有一枝箭） PEAS（续） 传感器 在wumpus所在之处以及与之直接相邻的方格内，智能体可以感知到臭气。 在与陷阱直接相邻的方格内，智能体可以感知到微风。 在金子所处的方格内，智能体可以感知到闪闪金光。 当智能体撞到墙时，它感受到撞击。 当wumpus被杀死时，它发出洞穴内任何地方都可感知到的悲惨嚎叫。 以5个符号的列表形式将感知信息提供给智能体，例如(stench, breeze, none, none, none)。 例子：wumpus世界中智能体行动序列 行动序列（续） 主要内容 基于知识的智能体 总体的智能体设计 wumpus世界 关于基于知识的智能体运转的例子 逻辑 命题逻辑 命题逻辑的推理形式 有效的命题推理 基于命题逻辑的智能体 逻辑 Logics are formal languages for representing information such that conclusion can be drawn. 语法定义了语言中的语句 语义定义了每个语句关于每个可能世界的真值 例如，算术采用的通常语义表明语句“x+y=2”在x=2和y=2时为真。 当需要精确描述时，用术语模型取代“可能世界” 例如，“m是?的一个模型”表示语句?在模型m中为真。 蕴涵关系：一个语句逻辑上追随另一个语句而出现 数学符号表示：?|=?意为语句?蕴涵语句?。 形式化定义：?|=? iff 在?为真的每个模型中?也为真。 例子1：语句x＋y＝4蕴涵4＝x＋y。 例子2： wumpus世界 推理 比喻：KB的所有推论集合视为一个大干草堆，而?则视为一根针。 如果推理算法i可以根据KB导出?，我们表示为：KB|=i ?，读为“i从KB导出?”。 只导出蕴涵句的推理算法称为可靠的或真值保持的推理 推理算法是完备的，如果它可以生成任一蕴涵句。 逻辑推理过程和智能体生存的正式环境之间的联系 Q：如何知道KB在现实世界中为真？ (simple)A：智能体的传感器创造了这一联系。 主要内容 基于知识的智能体 总体的智能体设计 wumpus世界 关于基于知识的智能体运转的例子 逻辑 命题逻辑 命题逻辑的推理形式 有效的命题推理 基于命题逻辑的智能体 语法 原子语句—不可分割的句法元素—构成一个命题符号，用P, Q, R…表示 例子，用W1,3表示“wumpus位于[1, 3]”。 复合句由更简单的语句用逻辑连接符构造而成 连接符：?，?，?，?（称为规则或if-then) ，?。 命题逻辑语句的BNF语法 Sentence→AtomicSentence|ComplexSentence AtomicSentence→True|False|Symbol Symbol→P|Q|R|… ComplexSentence→?Sentence |(Sentence?Sentence) |(Senten