状态空间法2009.pptVIP

第二章 人工智能的基本方法 2.1 符号方法 物理符号系统（符号操作系统） 假设 有限合理性原理 搜索 Computer Science Empirical Inquiry：Symbols and Search Herbert Alexander Simon （1916-2001） 1975年第一届图灵奖获得者，LT发明者之一，1978年诺贝尔经济学奖获得者 LT 逻辑理论家? ILP 归纳逻辑程序设计 2.1.1 状态空间法 1）问题描述 状 态：问题求解中每一步问题状况的数据结构 状态描述：符号、字符串、向量、二维数组、树、表等数据结构表示的问题状态 例 2-1 八数码难题 初始状态 目标状态 图 2-1 八数码难题 八数码算符：EL-- 空格左移 ER--空格右移 EU--空格上移 ED--空格下移 约 束：E1，4，6 -- 禁止EL E1，2，3 -- 禁止EU E3，5，8 -- 禁止ER E6，7，8 -- 禁止ED 例2-2 代数式简化问题。 (AB+CD)/BC A/C+D/B 状态描述：二元树法： 非 终 端：节点算术运算符号+、-、*、/ 终端节点：变量、常量 树图： 算符：代数规则： 分配律、结合律、。。。 字符串法：? ??AB?CD?BC ? ?AC?DB 前缀（只作用于两个运算数） 目标状态 单一目标状态 多目标状态：某一条件下产生的子状态集合。例如，象棋、围棋的终局 最优化问题：寻找遵循某种规则的最优路径例如，八数码难题求解中使用的算符最少，走步最少（最优解搜索问题） 状态描述三原则： （1）状态描述方式选择，尤其是初始状态 （2）算符集合及其对状态描述的作用 （3）目标状态描述特性 2）图示法（问题求解的抽象描述） （1）图论的几个概念 图：节点的集合，包括有限节点或无限节点。 有向图：节点之间用有向弧线联结的图。 节点： 路径：存在某个节点序列N[n]=（ni1, ni2,…, nij ,…,nik）, 令j=2,3,… …,k，对每一个nij-1,如果都存在后裔nij，则称序列N[n]为长度为k的路径 可达节点：如果两节点之间存在路径，则后裔是祖先的可达节点 弧线费用：弧线表示的算符计算的费用 c(ni, nj) 路径费用：路径上所有弧线费用之和 优化问题：寻求图中最小费用路径 路径：k=10 ，k=6 可达节点：j=2，3，。。。，k 路径费用： 优化问题：寻求图中最小费用路径 (2) 问题求解的图描述 初始节点S与目标节点集合{ti}中任一节点之间的路径。 初始节点集合{si}中任一节点与目标节点T之间的路径。 初始节点集合{si}中任一节点与目标节点集合{ti}中任一节点之间的路径。 (3) 图分类 显式图：各节点及其费用的弧线可以用图表或表格的形式明确给出 隐式图：已知无限集合{si} 及后裔算符L，则{si}和L规定的图 3）状态空间求解举例 例 2-3 推销员旅行问题。一个推销员计划作一次旅行，必须访问图2-4所示的每个城市。从城市A出发，访问每一个城市一次，且最多一次，并返回城市A，求最短距离路线。 状态描述：目前为止访问过的城市列表（A…） 初始状态:（A） 目标状态: （A ……A） 算符：下一步走向的城市 (a)(b)(c)(d)(e) 约束：每个城市只能走过一次，A除外 例2-2．猴子和香蕉问题 状态描述模式：用变量描述状态集合的表达式 猴子状态： 水平走动 w 上下箱子 x[0,1]，( 1=箱上，0 =箱下) 摘取香蕉 z[0,1]，(1= 拿到,0 = 未拿到）。 箱子状态：水平移动Y 四种状态：（W, x, Y, z） 算符集合： ① goto(U) (a,0,b,0) goto(U) (U,0,b,0) ② pushbox(V) (b,0,b,0) pushbox(V)