第5章搜索求解策略介绍ppt课件.ppt

《第5章搜索求解策略介绍ppt课件.ppt》由会员分享，可在线阅读，更多相关《第5章搜索求解策略介绍ppt课件.ppt（74页珍藏版）》请在三一办公上搜索。

1、第 5 章 搜索求解策略,教材： 王万良人工智能及其应用（第2版） 高等教育出版社，2008. 6,2,第5章 搜索求解策略,5.1 搜索的概念5.2 状态空间的搜索策略5.3 盲目的图搜索策略5.4 启发式图搜索策略5.5 与/或图搜索策略,3,第5章 搜索求解策略,5.1 搜索的概念5.2 状态空间知识表示方法5.3 盲目的图搜索策略5.4 启发式图搜索策略5.5 与/或图搜索策略,4,5.1 搜索的概念,问题求解：问题的表示。 选择一种相对合适的求解方法。问题求解的基本方法：搜索法、归约法、归结法、推理法及产生式等。,5,5.1 搜索的概念,5.1.1 搜索的基本问题与主要过程5.1.2

2、 搜索策略,6,5.1.1 搜索的基本问题与主要过程,搜索中需要解决的基本问题：（1）是否一定能找到一个解。（2）是否终止运行或是否会陷入一个死循环。（3）找到的解是否是最佳解。（4）时间与空间复杂性如何。,7,5.1.1 搜索的基本问题与主要过程,搜索的主要过程：(1) 从初始或目的状态出发，并将它作为当前状态。(2) 扫描操作算子集，将适用当前状态的一些操作算子作用于当前状态而得到新的状态，并建立指向其父结点的指针 。(3) 检查所生成的新状态是否满足结束状态，如果满足，则得到问题的一个解，并可沿着有关指针从结束状态反向到达开始状态，给出一解答路径；否则，将新状态作为当前状态，返回第(2)

3、步再进行搜索。,8,5.1.2 搜索策略,1. 搜索方向： (1) 数据驱动：从初始状态出发的正向搜索。,正向搜索从问题给出的条件（一个用于状态转换的操作算子集合）出发。,逆向搜索：先从想达到的目的入手，看哪些操作算子能产生该目的以及应用这些操作算子产生目的时需要哪些条件。,(2) 目的驱动：从目的状态出发的逆向搜索。,9,5.1.2 搜索策略,1. 搜索方向： (3) 双向搜索,双向搜索：从开始状态出发作正向搜索，同时又从目的状态出发作逆向搜索，直到两条路径在中间的某处汇合为止。,10,5.1.2 搜索策略,2. 盲目搜索与启发式搜索:（1）盲目搜索：在不具有对特定问题的任何有关信息的条件下

4、，按固定的步骤（依次或随机调用操作算子）进行的搜索。 （2）启发式搜索：考虑特定问题领域可应用的知识，动态地确定调用操作算子的步骤，优先选择较适合的操作算子，尽量减少不必要的搜索，以求尽快地到达结束状态。,11,第5章 搜索求解策略,5.1 搜索的概念5.2 状态空间知识表示方法5.3 盲目的图搜索策略5.4 启发式图搜索策略5.5 与/或图搜索策略,12,5.2 状态空间知识表示方法,5.2.1 状态空间表示法5.2.2 状态空间的图描述,13,5.2.1 状态空间表示法,状态：表示系统状态、事实等叙述型知识的一组变量或数组：,操作：表示引起状态变化的过程型知识的一组关 系或函数：,T,14

5、,5.2.1 状态空间表示法,状态空间：利用状态变量和操作符号，表示系统或问题的有关知识的符号体系，状态空间是一个四元组：,：状态集合。 ：操作算子的集合。 ：包含问题的初始状态是 的非空子集。 ：若干具体状态或满足某些性质的路径信息描述。,15,5.2.1 状态空间表示法,求解路径：从 结点到 结点的路径。,：状态空间的一个解。,状态空间的一个解：一个有限的操作算子序列。,16,例1 八数码问题的状态空间。,5.2.1 状态空间表示法,状态集 ：所有摆法,操作算子：,将空格向上移Up将空格向左移Left将空格向下移Down将空格向右移Right,17,5.2.2 状态空间的图描述,状态空间的

6、有向图描述,18,5.2.2 状态空间的图描述,八数码状态空间图,19,例2 旅行商问题（traveling salesman problem, TSP）或邮递员路径问题。,5.2.2 状态空间的图描述,可能路径：费用为375的路径（A，B，C，D，E，A）,20,5.2.2 状态空间的图描述,21,第5章 搜索求解策略,5.1 搜索的概念5.2 状态空间知识表示方法5.3 盲目的图搜索策略5.4 启发式图搜索策略5.5 与/或图搜索策略,22,5.3 盲目的图搜索策略,5.3.1 回溯策略5.3.2 宽度优先搜索策略5.3.3 深度优先搜索策略,23,5.3.1 回溯策略,带回溯策略的搜索：

7、 从初始状态出发，不停地、试探性地寻找路径，直到它到达目的或“不可解结点”，即“死胡同”为止。若它遇到不可解结点就回溯到路径中最近的父结点上，查看该结点是否还有其他的子结点未被扩展。若有，则沿这些子结点继续搜索；如果找到目标，就成功退出搜索，返回解题路径。,24,递归过程：,5.3.1 回溯策略,Step Track (DataList)：Data：= First(DataList);if Member(Data, Tail(DataList) then return FAIL; *回老路退回if Goal(Data) then return NIL; *达到目的地成功返回if DeadEnd

8、(Data) then return FAIL; *达到不合理状态，退出if Length(DataList) Bound then return FAIL; *已到深度限制，退回Rules：= AppRules(Data); *得出可应用的规则集Loop：if Null(Rules) then return FAIL; *进入死胡同，退回R：= First(Rules); *取出第一条可用规则Rules：= Tail(Rules); Newdata：= Gen(R,Data); *运用规则，生成新状态NewDataList：= Cons(Newdata, DataList);Path：= B

9、ack Track(NewDataList); *递归If Path：= FAIL then go loop else return Cons(R, Path);,25,5.3.1 回溯策略,回溯搜索示意图,26,5.3.1 回溯策略,回溯搜索的算法(1) PS（path states）表：保存当前搜索路径上的状态。如果找到了目的，PS就是解路径上的状态有序集。 (2) NPS（new path states）表：新的路径状态表。它包含了等待搜索的状态，其后裔状态还未被搜索到，即未被生成扩展 。(3) NSS（no solvable states）表：不可解状态集，列出了找不到解题路径的状态。

10、如果在搜索中扩展出的状态是它的元素，则可立即将之排除，不必沿该状态继续搜索。,27,5.3.1 回溯策略,Function backtrack：begin PS：= Start; NPS：= Start; NSS：= ; CS：= Start; *初始化 while NPS do begin if CS=目的状态 then return(PS); *成功，返回解题路径 if CS没有子状态（不包括PS，NPS和NSS中已有的状态） then begin while（(PS非空) and (CS=PS中的第一个元素)）do begin 将CS加入NSS *标明此状态不可解 从PS中删除第一个元素

11、CS *回溯 从NPS中删除第一个元素CS； CS：= NPS中的第一个元素；,28,5.3.1 回溯策略,end; 将CS加入PS； endelse begin 将CS子状态（不包括PS、NPS和NSS中已有的）加入NPS； CS：= NPS中第一个元素； 将CS加入到PS； end end； return FAIL; end.,29,回溯搜索示意图的回溯轨迹： 初值：PS=A； NPS=A； NSS= ； CS=A。,5.3.1 回溯策略,30,5.3.1 回溯策略,图搜索算法（深度优先、宽度优先、最好优先搜索等）的回溯思想：,（1）用未处理状态表（NPS）使算法能返回（回溯）到其 中任一

12、状态。 （2）用一张“死胡同”状态表（NSS）来避免算法重新搜索 无解的路径。 （3）在PS 表中记录当前搜索路径的状态，当满足目的时可 以将它作为结果返回。 （4）为避免陷入死循环必须对新生成的子状态进行检查， 看它是否在该三张表中 。,31,5.3.2 宽度优先搜索策略,open表（NPS表）：已经生成出来但其子状态未被搜索的状态。closed表（ PS表和NSS表的合并）：记录了已被生成扩展过的状态。,宽度优先搜索法中状态的搜索次序,32,5.3.2 宽度优先搜索策略,Procedure breadth_first_searchbeginopen：= start; closed：= *初

13、始化while open do begin 从open表中删除第一个状态，称之为n； 将n放入closed表中； if n = 目的状态 then return (success); 生成n的所有子状态； 从n的子状态中删除已在open或closed表中出现的状态； 将n的其余子状态，按生成的次序加入到open表的后段。 end; end;,open表：队列结构，即先进先出（FIFO）的数据结构,33,例3 通过搬动积木块，希望从初始状态达到一个目的状态，即三块积木堆叠在一起。,5.3.2 宽度优先搜索策略,34,操作算子为MOVE（X，Y）：把积木X搬到Y（积木或桌面）上面。,5.3.2 宽

14、度优先搜索策略,MOVE（A，Table）：“搬动积木A到桌面上”。,操作算子可运用的先决条件：（1）被搬动积木的顶部必须为空。（2）如果 Y 是积木，则积木 Y 的顶部也必须为空。（3）同一状态下，运用操作算子的次数不得多于一次。,35,5.3.2 宽度优先搜索策略,36,5.3.3 深度优先搜索策略,37,在深度优先搜索中，当搜索到某一个状态时，它所有的子状态以及子状态的后裔状态都必须先于该状态的兄弟状态被搜索。 为了保证找到解，应选择合适的深度限制值，或采取不断加大深度限制值的办法，反复搜索，直到找到解。,5.3.3 深度优先搜索策略,38,深度优先搜索过程：,5.3.3 深度优先搜索策

15、略,Procedure depth_first_searchbeginopen:=start;closed:= ;d:=深度限制值while open dobegin从open表中删除第一个状态，称之为n;将n放入closed表中；if n=目的状态 then return (success);if n的深度d then continue;生成n的所有子状态；从n的子状态中删除已在open或closed表中出现的状态；将n的其余子状态，按生成的次序加入到open 表的前端。endend。,open表：堆栈结构，即先进后出（FILO）的数据结构。open表：所有已生成但未作扩展的状态,close

16、d表记录了已扩展过的状态,39,深度优先搜索并不能保证第一次搜索到的某个状态时的路径是到这个状态的最短路径。 对任何状态而言，以后的搜索有可能找到另一条通向它的路径。如果路径的长度对解题很关键的话，当算法多次搜索到同一个状态时，它应该保留最短路径。,5.3.3 深度优先搜索策略,40,例4 卒子穿阵问题，要求一卒子从顶部通过下图所示的阵列到达底部。卒子行进中不可进入到代表敌兵驻守的区域（标注1），并不准后退。假定深度限制值为5。,5.3.3 深度优先搜索策略,阵列图,41,5.3.3 深度优先搜索策略,open表：S17、S18closed表：S0S16,卒子穿阵的深度优先搜索树,42,第5章

17、 搜索求解策略,5.1 搜索的概念5.2 状态空间知识表示方法5.3 盲目的图搜索策略5.4 启发式图搜索策略5.5 与/或图搜索策略,43,5.4 启发式图搜索策略,5.4.1 启发式策略5.4.2 启发信息和估价函数5.4.3 A搜索算法5.4.4 A*搜索算法及其特性分析,44,5.4.1 启发式策略,“启发”（heuristic）：关于发现和发明操作算子及搜索方法的研究。在状态空间搜索中，启发式被定义成一系列操作算子，并能从状态空间中选择最有希望到达问题解的路径。启发式策略：利用与问题有关的启发信息进行搜索。,45,5.4.1 启发式策略,运用启发式策略的两种基本情况： （1）一个问题

18、由于在问题陈述和数据获取方面固有 的模糊性，可能会使它没有一个确定的解。 （2）虽然一个问题可能有确定解，但是其状态空间 特别大，搜索中生成扩展的状态数会随着搜索 的深度呈指数级增长。,46,例5 一字棋。在九宫棋盘上，从空棋盘开始，双方轮流在棋盘上摆各自的棋子 或 （每次一枚），谁先取得三子一线（一行、一列或一条对角线）的结果就取胜。,5.4.1 启发式策略, 和 能够在棋盘中摆成的各种不同的棋局就是问题空间中的不同状态。 9个位置上摆放空， ， 有 39 种棋局。 可能的走法 ： 。,47,5.4.1 启发式策略,启发式策略的运用,48,5.4.1 启发式策略,启发式搜索下缩减的状态空间,

19、49,5.4.2 启发信息和估价函数,在具体求解中，能够利用与该问题有关的信息来简化搜索过程，称此类信息为启发信息。启发式搜索：利用启发信息的搜索过程。,50,5.4.2 启发信息和估价函数,求解问题中能利用的大多是非完备的启发信息：（1）求解问题系统不可能知道与实际问题有关的全部信息，因而无法知道该问题的全部状态空间，也不可能用一套算法来求解所有的问题。（2）有些问题在理论上虽然存在着求解算法，但是在工程实践中，这些算法不是效率太低，就是根本无法实现。,一字棋：9！，西洋跳棋：1078，国际象棋：10120，围棋：10761。假设每步可以搜索一个棋局，用极限并行速度（10-104年/步）来处

20、理，搜索一遍国际象棋的全部棋局也得1016年即1亿亿年才可以算完！,51,5.4.2 启发信息和估价函数,启发信息的分类： （1）陈述性启发信息 （2）过程性启发信息 （3）控制性启发信息利用控制性的启发信息的情况： （1）没有任何控制性知识作为搜索的依据，因而搜索的每一步完全是随意的。 （2）有充分的控制知识作为依据，因而搜索的每一步选择都是正确的，但这是不现实的。,52,5.4.2 启发信息和估价函数,估价函数的任务就是估计待搜索结点的“有希望”程度，并依次给它们排定次序（在open表中）。,估价函数 ：从初始结点经过 结点到达目的 结点的路径的最小代价估计值，其一般形式是,一般地，在 中

21、， 的比重越大，越倾向于宽度优先搜索方式，而 的比重越大，表示启发性能越强。,53,例6 八数码的估价函数设计方法有多种，并且不同的估价函数对求解八数码问题有不同的影响。 最简单的估价函数：取一格局与目的格局相比，其位置不符的将牌数目。 较好的估价函数：各将牌移到目的位置所需移动的距离的总和。 第三种估价函数：对每一对逆转将牌乘以一个倍数。 第四种估价函数：克服了仅计算将牌逆转数目策略的局限，将位置不符将牌数目的总和与3倍将牌逆转数目相加。,5.4.2 启发信息和估价函数,54,5.4.3 A搜索算法,启发式图搜索法的基本特点：如何寻找并设计一个与问题有关的 及构出 ， 然后以 的大小来排列待

22、扩展状态的次序，每次选择 值最小者进行扩展。,open表：保留所有已生成而未扩展的状态。 closed表：记录已扩展过的状态。 进入open表的状态是根据其估值的大小插入到表中合适的位置，每次从表中优先取出启发估价函数值最小的状态加以扩展。,55,一般启发式图搜索算法（简记为A）,5.4.3 A搜索算法,rocedure heuristic_searchopen：=start；closed：= ；f(s)：=g(s)+h(s)；*初始化while open dobegin从open表中删除第一个状态，称之为n；if n=目的状态then return(success)；生成n的所有子状态；if

23、 n没有任何子状态then continue；for n的每个子状态docase子状态is not already on open表or closed表；begin计算该子状态的估价函数值；将该子状态加到open表中； end；,56,5.4.3 A搜索算法,case子状态is already on open表：if该子状态是沿着一条比在open表已有的更短路径而到达then 记录更短路径走向及其估价函数值；case子状态is already on closed表：if该子状态是沿着一条比在closed表已有的更短路径而到达thenbegin将该子状态从closed表移到open表中；记录更短

24、路径走向及其估价函数值；end；case end；将n放入closed表中；根据估价函数值，从小到大重新排列open表；end；*open表中结点已耗尽return(failure)；end.,57,5.4.3 A搜索算法,每次重复时，A搜索算法从open表中取出第一个状态，如果该状态满足目的条件，则算法返回到该状态的搜索路径。如果open表的第一个状态不是目的状态，则算法利用与之相匹配的一系列操作算子进行相应的操作来产生它的子状态。如果某个子状态已在open表（或closed表）中出现过，即该状态再一次被发现时，则通过刷新它的祖先状态的历史记录，使算法极有可能找到到达目的状态的更短的路径接着

25、，A搜索算法open表中每个状态的估价函数值，按照值的大小重新排序，将值最小的状态放在表头，使其第一个被扩展。,58,5.4.3 A搜索算法,59,5.4.3 A搜索算法,例7 利用A搜索算法求解八数码问题的搜索树，其估价函数定义为 ：状态的深度，每步为单位代价。 ：以“不在位”的将牌数作为启发信息的度量。,：为状态 到目的状态的最优路径的代价。 ：A搜索算法 A*搜索算法。,60,5.4.3 A搜索算法,61,open表和closed表内状态排列的变化情况,5.4.3 A搜索算法,62,如果某一问题有解，那么利用A*搜索算法对该问题进行搜索则一定能搜索到解，并且一定能搜索到最优的解而结束。上

26、例中的八数码A搜索树也是A*搜索树，所得的解路（s，B，E，I，K，L）为最优解路，其步数为状态L（5）上所标注的5 。,5.4.4 A*搜索算法及其特性分析,63,1. 可采纳性 当一个搜索算法在最短路径存在时能保证找到它，就称它是可采纳的。2. 单调性 搜索算法的单调性：在整个搜索空间都是局部可采纳的。一个状态和任一个子状态之间的差由该状态与其子状态之间的实际代价所限定。,5.4.4 A*搜索算法及其特性分析,64,3. 信息性 在两个A*启发策略的 中，如果对搜索空间中的任一状态 都有 ，就称策略 具有更多的信息性。,5.4.4 A*搜索算法及其特性分析,65,第5章 搜索求解策略,5.

27、1 搜索的概念5.2 状态空间知识表示方法5.3 盲目的图搜索策略5.4 启发式图搜索策略5.5 与/或图搜索策略,66,5.5 与/或图搜索策略,1. 分解与树,与树问题分解,67,5.5.1 与/或图表表达法,2. 变换或树,或树问题变换,5.5 与/或图搜索策略,68,5.5.1 与/或图表表达法,例8 猴子和香蕉问题。,5.5 与/或图搜索策略,猴子和香蕉问题,69,5.5 与/或图搜索策略,设系统的状态用四元数组描述：,：猴子所处水平位置 ：台子所在水平位置 ：猴子是否在台子上（ ，在； ，不在） ：猴子是否能拿到香蕉（ ，拿到； ，没有拿到）,70,5.5 与/或图搜索策略,允许的操作集：,可能的状态：,71,5.5 与/或图搜索策略,72,THE END,Artificial Intelligence Principles and Applications,人有了知识，就会具备各种分析能力，明辨是非的能力。所以我们要勤恳读书，广泛阅读，古人说“书中自有黄金屋。”通过阅读科技书籍，我们能丰富知识，培养逻辑思维能力；通过阅读文学作品，我们能提高文学鉴赏水平，培养文学情趣；通过阅读报刊，我们能增长见识，扩大自己的知识面。有许多书籍还能培养我们的道德情操，给我们巨大的精神力量，鼓舞我们前进。,