第二章-符号系统2018(1).pptx

第二章符号系统2.1符号系统定义假设：物理符号系统是表现智能行为的充分必要条件有限合理性原理：人类行为表现出有限的合理性核心：符号与搜素SymbolsandSearch合理性rationality：使个人效用达到最大的行为

2.2状态空间法---符号空间表达与求解1）问题描述----用符号抽象问题状态：问题状况的数据结构例2-1八数码难题X1X2X3X4X5X6X7X8X1X2X3X4X5X6X7X8初始状态目标状态图2-1八数码难题

状态：棋盘布局状态描述：图表、二维矩阵算符：一种状态转变为另一种状态的规则八数码算符：EL--空格左移ER--空格右移EU--空格上移ED--空格下移约束：E1，4，6--禁止ELE1，2，3--禁止EUE3，5，8--禁止ERE6，7，8--禁止ED

例2-2代数式化简问题(AB+CD)/BCA/C+D/B状态描述：二元树算符集合：分配律、结合律等代数运算规则符号：变量、常量、+、-、*、/?????ABCDBC???ACDB图2-2代数简化树图

2）最优化问题---寻找遵循某种规则的最优路径八数码难题：算符和走步最少的求解规则状态空间描述三原则：（1）状态描述方法选择（2）算符集合及其对状态的作用（3）初始和目标状态描述3）图示法---问题求解的抽象描述图论的几个概念

图：节点集合，包括有限节点或无限节点有向图：节点之间用有向弧线联结的图节点：状态nj祖先后裔算符状态ini状态j图2-3节点定义

路径：存在节点序列N[n]={ni1,ni2…nij…nik},对每一个nij-1,如果都存在后裔nij，则称序列N[n]为长度为k的路径可达节点：如果两节点之间存在路径，则后裔是祖先的可达节点弧线费用：算符计算费用c(ni,nj)路径费用：路径上所有弧线费用之和优化问题：寻求图中最小费用路径

路径：k=10，k=6可达节点：j=2，3，。。。，k路径费用：ni1ni2ni3nikC(ni4,ni5)

问题求解的图描述初始节点S与目标节点集合{ti}中任一节点之间的路径初始节点集合{si}中任一节点与目标节点T之间的路径初始节点集合{si}中任一节点与目标节点集合{ti}中任一节点之间的路径图分类显式图：各节点及其弧线费用可以明确给出隐式图：已知无限集合{si}及后裔算符L，由{si}和L规定的图

4）状态空间求解举例例2-3推销员旅行问题：一个推销员计划作一次旅行，必须访问图示的每个城市，从城市A出发，返回城市A，求最短距离路线。ABCDE776105691013

状态描述：访问过的城市列表（A…）初始状态:（A）目标状态:（A……A）算符：下一步走向的城市(a)(b)(c)(d)(e)约束：每个城市只能走过一次，A除外路径费用：两个城市之间的距离搜索策略：与当前位置最近的城市（最优？）

(AE)(A)(AB)(AC)(AD)(ACD)(ACDE)(ACDEB)(ACDEBA)目标节点初始节点图2-5推销员旅行问题搜索树76101356107

例2-4猴子和香蕉问题acb猴子香蕉箱子图2-8猴子和香蕉问题

状态描述：用变量描述状态集合猴子状态：水平走动w