2知识表示讲解.pptx

Knowledge Representation(知识表示) 状态空间（State Space） 问题归约（Problem Reduction） 逻辑（Logic） 产生式规则（Production Rules） 语义网络（Semantic Networks） 框架（Frame）… 中南大学 刘丽珏 知识和知识表示 状态空间表示法 问题归约表示法 一阶谓词逻辑表示法 产生式表示法 语义网络表示法 框架表示法 其他表示法 主要内容 数据、信息?知识 知识层次 什么是知识 数据 噪声 信息 组织 分析 知识 解释 评价 智慧 理解 归纳 数据：一些无关联的事实(fact) 例：下雨了 信息：建立了事实间的联系后形成信息，提供对what, who, when, where等问题的回答 例：温度下降了15度后就下雨了 知识：当能建立模式之间的联系后便涌现了知识，提供对how的回答 例：如果湿度非常大并且温度下降显著，大气无法保留湿气便下雨了 智慧：能描述模式之间关系的规律，提供对why的回答 例：理解下雨、蒸发、空气状况、温度等级及它们的变化之间的相互作用 真伪性 相对性 不完全性 不确定性 可表示性 可存储性、可传递性和可处理性 相容性 知识的属性 知识表示是问题求解的基础 问题求解是人工智能的核心问题之一 问题求解的目的 机器自动找出某问题的正确解决策略 更进一步，能够举一反三，具有解决同类问题的能力 智能系统中 知识是对世界的描述 决定系统的能力 表示是知识的编码方式 决定系统的性能 不同类型的知识需要不同的表示方式 不同的表示方法需要不同的求解技术 知识表示 知识表示的过程 非形式化的自然语言描述?形式化的易于被计算机理解 知识表示 GOFAI (Good Old-Fashioned Artificial Intelligence) philosophy: Problem Solving = Knowledge Representation + Search State Space (状态空间) Representation Problem Reduction (问题归约) Representation Predicate Logic（谓词逻辑） Production Rules（产生式规则） Semantic Network （语义网络） Representation Frame, Script, Procedure（框架，剧本，过程） Basic Methods 状态空间知识表示（State Space） 八数码难题 在3×3的棋盘，摆有八个棋子，每个棋子上标有1至8的某一数字。棋盘上还有一个空格，与空格相邻的棋子可以移到空格中。 如何将棋盘从某一初始状态变成最后的目标状态？ 问题示例 问题示例 10 怎样找到两点之间的最短路径呢？ 问题表示——状态空间图 例：真空吸尘器的世界 假设：吸尘器的世界只有两块地毯大小，地毯或者是脏的，或者是干净的 吸尘器能做的动作只有三个 {向左(Left)，向右(Right)，吸尘(Suck)} 一共有多少种可能的情况？ 状态 状态之间可以互相转换 状态转换 状态空间图 传教士野人问题（ Missionaries Cannibals， MC问题） 有三个传教士M和三个野人C过河，只有一条能装下两个人的船，在河的一方或者船上，如果野人的人数大于传教士的人数，那么传教士就会有危险，你能不能提出一种安全的渡河方法呢？ 状态及其表示 状态(State)：问题在某一时刻所处的“位置”，“情况”等 根据问题所关心的因素，一般用向量形式表示，一位表示一个因素 0：右岸 1：左岸 初始状态：(0, 0, 0) 目标状态：(3, 3, 1) 哪些操作能导致状态变化？ 状态可有多种表示方法： (左岸传教士数, 右岸传教士数, 左岸野人数, 右岸野人数, 船的位置) 或 (左岸传教士数, 左岸野人数, 船的位置) 算子（ Operator, 算符，操作符）——使状态发生改变的操作 MC问题中的算子 将传教士或野人运到河对岸 Move-1m1c-lr：将一个传教士(m)一个野人(c)从左岸(l)运到右岸(r) 所有可能操作 Move-1m1c-lr Move-1m1c-rl Move-2c-lr Move-2c-rl Move-2m-lr Move-2m-rl Move-1c-lr Move-1c-rl Move-1m-lr Move-1m-rl 状态的转换 传教士野人问题状态空间图 求解过程转化为在状态空间图中搜索一条