第3章.产生式系统的搜索策略要点分析.pptVIP

* 选取可用规则和控制节点扩展顺序是等价的. 最后都要归结于对状态的评价,即确定评价函数. * * 迷宫走法规定为向东、南、西、北前进一步，由此可得规则集简化形式如下： * 最短路径为（（1，1），（2，3），（2，4），（3，4），（3，3），（4，3），（4，4））。 * 问题状态空间图描述的特点 * 状态空间法将一个问题形式地定义为：用一个三元组中的操作将某个给定的状态转换为所要求的状态。 状态空间法将一个待定问题的求解过程定义为：若干算子与搜索的有机结合体。一个算子则定义了问题空间的一个操作，搜索是考察一个问题的一般技术，其目的在于要找出从当前状态到某个（或某些）目标状态的一条（一组）路径。 * * 无论采用什么样的搜索技术，搜索过程的具体步骤如下： * 当DATA满足终止条件时，TERM(DATA)为真即找到目标，此时，过程返回空表NIL。 当已知DATA不在解的路径上时，DEADEND(DATA)为真，即该状态不合法。必须回溯 * 问一下! * * 改进效果：如图所示，只回溯2次找到目标 * 对于可能出现重复状态且搜索深度无限的问题，必须设置深度范围限制及防止出现重复状态引起的死循环这两个回溯点。 * 在产生式系统中，如果控制系统保留了所有的规则应用后生成并连接起来的状态记录图，则称控制系统使用了图搜索策略。它的实质是实现从一个隐含图中，生成出一部分确实含有一个目标节点的显式表示子图的搜索过程。 * 设计2张表, 识别子节点类型, 控制好OPEN 表的类型. * * 接着假设: * OPEN: 队列 * 搜索从初始状态S0出发，沿一个方向一直扩展下去，如状态1、2、3，直到达到一定的深度（这里假设3层），如未找到目的状态或无法再扩展下去，便回溯到另一条路径（状态4）继续搜索，若还没有找到目的状态或无法再扩展时，再回溯到另一条路径（状态5，6）搜索……..。 * OPEN: 堆栈 * d=3 * 优先扩展f（n）值小的节点，体现了好的优先搜索的思想 * 下图表示使用这种评价函数时的搜索树，图中括弧中的数表示该节点的评价函数值。 根据目标节点L返回到s的指针，可得解路径：（s（4），B（5），E（5），I（5），K（5），L（5）） 重点和基础，讲明白了吗？ * 函数形式 结束条件 * 分支限界法是优先扩展当前具有最小耗散值分支路径的叶节点n，其评价函数为f（n）=g（n）。其思想是：建立一个局部路径（或分支）的队列表，每次都选耗散值最小的那个分支上的叶节点来扩展，直到生成出含有目标节点的路径为止。 * 板书：画图 * 求解过程中QUEUE的结果： * 考试、教学重点 * 在黑板上画2表, (部分和全部) * 画图 * 后: NEST中节点不管先扩展还是后扩展,在A*结束前总归要扩展,且若改变扩展顺序也不会影响扩展节点的个数. 为….. 由于f*(s)未知,如何得到NEST集合? (关键问题) 利用推论1.2 ……… * P(n)的计算 * 下表为不同启发函数，应用A*算法求最佳解时所扩展和生成的节点数。 w（n）在第3层中用w（n）时有两个状态的f(n)相同. * 涉及对象: 左岸, 右岸,河 工具: 船 主角:传教士和野人 如何来进行设计? 就可利用产生式系统的搜索来求解. 约束条件的作用? * 产生式系统的三元组如何来写? * 规则种类? 形式? 定理5 若h(n)是单调的，则A*扩展了节点n之后，就已经找到了到达节点n的最佳路径. 即：当A*选n扩展时，有g(n)=g*(n). 定理6 若h(n)是单调的，则由A*所扩展的节点序列,其f值是非递减的, 即f(ni) ≤ f(nj)。 效果: 由于扩展节点后，即是最佳路径，因此不必进行指针纠正操作，故改善了A*效率. h单调的性质 (2) 对算法加以改进 改进的理论基础及应用思路： 推论1.1 OPEN表上任一具有 f(n) f*(s) 的节点定会被扩展. 1) 按 f*(s) 值可将 OPEN 表中的节点分为两部分: 一部分节点必须扩展( NEST={n| f(n) f*(s)} ). 2) 为避免重复节点的扩展,需保证 h 的单调性,而 h≡0 是单调的,故在 NEST 中可按 f(n) = g(n) 对节点进行扩展. 推论1.2 A*扩展的任一节点，定有 f(n) ≤ f*(s). 尽管 f*(s) 未知, 但通过近似 (在扩展过的节点中找最大的 f(n) → f*(s),找了一个下界) 可得到 NEST 的一个子集. 改进思路的图示 OPEN = ( … … … … ) f*(s) f f*(s) 的节点 ( NEST 子集) f = f*(s) 的节点 1) f*(s) ? fm：到目前