第2章(知识表示方法1-状态空间法).pdfVIP

2015-01-08 第2章 知识表示方法 2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2015-01-08 用计算机技术解决实际问题的一般思路: 实际 问题 问题表达 知识表达 数学建模 求解的方法 或者算法结果的解释 2015-01-08 例：求侧面积为150平方米的体积最大的长方体？ 设长、宽、高分别为 x, y, z 侧面积为：2(xy + yz + xz) 体积为：xyz 数学模型 max xyz s.t. 2(xy + yz + xz)=150 x y z 2015-01-08 利用最优化技术中的算法，可以得到结果： x = y = z = 5.0 解释：长、宽、高都等于5米时，体积最大 说明：在计算数学的课程中，主要关心求解的 具体算法 2015-01-08 在人工智能中，重点关注两个方面的内容： ①问题的表示（知识的表示）：即要找到问题的一 种合适的表示方法 在人工智能中，我们要涉及到： 状态空间法 问题归约法 谓词逻辑法 样本向量法 2015-01-08 ②问题的求解：从问题表示方法出发，找到一个 合理的办法来求解 在人工智能中，常有的方法有： 搜索法 推理法 计算方法 2015-01-08 在日常的一些智力游戏（八数码、走八卦阵、走 迷宫等）中，我们采用的策略：试着向前走，如 果走不通，则往后退，不停地试、试、试，直到 成功 2.1 状态空间法 1 2 4 5 7 8 3 6 1 2 3 4 5 6 7 8 2015-01-08 类似地，在人工智能中，一种最基本的求解方法就 是试探搜索法，即，通过在某个可能的解空间（例 如，所有可能的走法）中寻找一个解 这种基于解空间的问题表示和求解方法就是 状态空间法，其基础是状态和算符（算子） 2015-01-08 2.1.1 问题状态描述 状态： 描述某一类不同事物间的差别而引入的一 组最少变量q0 ,q1 ,…, qn的有序集合 2015-01-08 例：描述在坐的同学 变量可以有 年级 班级 姓名 性别 学号 …… 根据要解决的问题、从 中选择最少的一组变量 例： 区分哪一个班：年级、 班级 区分哪一位同学：姓 名、性别、学号 2015-01-08 矢量形式： Q=[ q0, q1, …, qn ] T 其中，元素 qi ( i=0, 1,…, n)为集合的分 量，称为状态变量。 具体状态：给每一个状态变量一个具体的 值（符号、数值等）。 2015-01-08 矩阵形式 11 1 1 ... ... n m mn q q Q q q ? ? ? ?= ? ? ? ?? ? 2015-01-08 例：八数码问题 矢量形式的状态表示： 1 2 3 4 7 8 6 5 矩阵形式的状态表示： [ ]1, 2, 3, 4, 7, 8, 6, 5, 0 1 2 3 4 7 8 6 5 0 ? ? ? ? ? ? ? ?? ? 2015-01-08 算符（操作符）：使问题从一个状态 变换到另一状态的手段。 例如：走步、规则、数学算子、运算 符号等等。 2015-01-08 例：描述在坐的同学（续） 状态变量可以有 年级 班级 姓名 性别 学号 …… 操作符 入学 正常升级 毕业 2015-01-08 例：八数码问题 1 2 3 4 7 8 6 5算符： 1、数字的上、下、左、右移动 2、空格的上、下、左、右移动 2015-01-08 问题的状态空间：一个表示问题全部可能状 态及其关系的图，它包含了三个集合： 1. 所有可能的问题初始状态集合S 2. 操作符集合F 3. 目标状态集合G 状态空间记作三元状态（S, F, G） 2015-01-08 例：十五数码问题 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 11 9 4 15 1 3 12 7 5 8 6 13 2 10 14 初始状态：左图 目标状态：右图 操作符集合F＝[空格的左移、上移、右移、下移] 2015-01-08 可能的求解过程 注：在程序和图示求解过程中，需要规定好操作符 的使用顺序 2015-01-08 要完成某一个具体问题的状态描述，必须完 成三项工作： ①如何描述状态，特别是初始状态 ②操作符集合及其对状态描述的作用 ③如何描述目标状态 即定义好三元状态（S, F, G）中的三个成分 2015-01-08 状态空间法： 从某一个初始状态开始，每次施加一个操作符，递 增地建立操作符序列，直到达到目标状态为止 2015-01-08 状态空间法的问题： 寻找从初始状态到目标状态的某一个操作符序列 状态空间法的解： 从初始状态变换到目标状态的操作符序列 11 9 4 15 1 3 12 7 5 8 6 13 2 10 14 1 2 3