《第5章搜索求解策略介绍》由会员分享，可在线阅读，更多相关《第5章搜索求解策略介绍（74页珍藏版）》请在金锄头文库上搜索。
1、Artificial Intelligence Principles and Applications 第第 5 章章 搜索求解策略搜索求解策略教材：教材： 王万良王万良人工智能及其应用人工智能及其应用（第（第2版）版） 高等教育出版社，高等教育出版社，2008. 62第5章 搜索求解策略5.1 搜索的概念搜索的概念5.2 状态空间的搜索策略状态空间的搜索策略5.3 盲目的图搜索策略盲目的图搜索策略5.4 启发式图搜索策略启发式图搜索策略5.5 与与/或或图搜索策略图搜索策略3第5章 搜索求解策略5.1 搜索的概念搜索的概念5.2 状态空间知识表示方法状态空间知识表示方法5.3 盲目的图搜索策
2、略盲目的图搜索策略5.4 启发式图搜索策略启发式图搜索策略5.5 与与/或或图搜索策略图搜索策略45.1 搜索的概念 问题求解：问题的表示。 选择一种相对合适的求解方法。问题求解的基本方法：搜索法、归约法、归结法、推理法及产生式等。55.1 搜索的概念5.1.1 搜索的基本问题与主要过程搜索的基本问题与主要过程5.1.2 搜索策略搜索策略65.1.1 搜索的基本问题与主要过程 搜索中需要解决的基本问题搜索中需要解决的基本问题：（1）是否一定能找到一个解。（2）是否终止运行或是否会陷入一个死循环。（3）找到的解是否是最佳解。（4）时间与空间复杂性如何。75.1.1 搜索的基本问题与主要过程搜索的
3、主要过程搜索的主要过程：(1) 从初始或目的状态出发，并将它作为当前状态。(2) 扫描操作算子集，将适用当前状态的一些操作算子作用于当前状态而得到新的状态，并建立指向其父结点的指针 。(3) 检查所生成的新状态是否满足结束状态，如果满足，则得到问题的一个解，并可沿着有关指针从结束状态反向到达开始状态，给出一解答路径；否则，将新状态作为当前状态，返回第(2)步再进行搜索。 85.1.2 搜索策略1. 搜索方向搜索方向： (1) 数据驱动数据驱动：从初始状态出发的正向搜索。 正正向向搜搜索索从问题给出的条件（一个用于状态转换的操作算子集合）出发。逆逆向向搜搜索索：先从想达到的目的入手，看哪些操作算
4、子能产生该目的以及应用这些操作算子产生目的时需要哪些条件。 (2) 目的驱动目的驱动：从目的状态出发的逆向搜索。95.1.2 搜索策略1. 搜索方向搜索方向： (3) 双向搜索 双向搜索：从开始状态出发作正向搜索，同时又从目的状态出发作逆向搜索，直到两条路径在中间的某处汇合为止。105.1.2 搜索策略2. 盲目搜索与启发式搜索盲目搜索与启发式搜索:（1）盲盲目目搜搜索索：在不具有对特定问题的任何有关信息的条件下，按固定的步骤（依次或随机调用操作算子）进行的搜索。 （2）启启发发式式搜搜索索：考虑特定问题领域可应用的知识，动态地确定调用操作算子的步骤，优先选择较适合的操作算子，尽量减少不必要的
5、搜索，以求尽快地到达结束状态。11第5章 搜索求解策略5.1 搜索的概念搜索的概念5.2 状态空间知识表示方法状态空间知识表示方法5.3 盲目的图搜索策略盲目的图搜索策略5.4 启发式图搜索策略启发式图搜索策略5.5 与与/或或图搜索策略图搜索策略125.2 状态空间知识表示方法5.2.1 状态空间表示法状态空间表示法5.2.2 状态空间的图描述状态空间的图描述135.2.1 状态空间表示法状态状态：表示系统状态、事实等叙述型知识的一组变量或数组： 操作操作：表示引起状态变化的过程型知识的一组关 系或函数：T145.2.1 状态空间表示法状态空间状态空间：利用状态变量和操作符号，表示系统或问题
6、的有关知识的符号体系，状态空间是一个四元组： ：状态集合。 ：操作算子的集合。 ：包含问题的初始状态是 的非空子集。 ：若干具体状态或满足某些性质的路径信息描述。155.2.1 状态空间表示法求解路径求解路径：从 结点到 结点的路径。 ：状态空间的一个解。 状态空间的一个解状态空间的一个解：一个有限的操作算子序列。16例例1 八数码问题的状态空间八数码问题的状态空间。 5.2.1 状态空间表示法状态集 ：所有摆法操作算子：将空格向上移Up将空格向左移Left将空格向下移Down将空格向右移Right175.2.2 状态空间的图描述（状态）（操作算子）状态空间的有向图描述状态空间的有向图描述18
7、5.2.2 状态空间的图描述八数码八数码状态空间图状态空间图 19 例例2 旅旅行行商商问问题题（traveling salesman problem, TSP）或邮递员路径问题。）或邮递员路径问题。 5.2.2 状态空间的图描述（家）（单位：km）可能路径：费用为375的路径（A，B，C，D，E，A） 205.2.2 状态空间的图描述 旅行推销员状态空间图（部分） ABCDEA 375 A A A A B B C C C C D D D D A E E E E E E E D 路径: 路径: 路径: 路径: ABCEDA ABDCE ABDECA 费用: 费用 : 费用: 费用: 425 5
8、25 475 525 475 375 325 400 400 300 275 275 250 225 150 100 75 125 175 225 250 100 175 225 425 . . . . . . . 21第5章 搜索求解策略5.1 搜索的概念搜索的概念5.2 状态空间知识表示方法状态空间知识表示方法5.3 盲目的图搜索策略盲目的图搜索策略5.4 启发式图搜索策略启发式图搜索策略5.5 与与/或或图搜索策略图搜索策略225.3 盲目的图搜索策略5.3.1 回溯策略回溯策略5.3.2 宽度优先搜索策略宽度优先搜索策略5.3.3 深度优先搜索策略深度优先搜索策略235.3.1 回溯策
9、略 带回溯策略的搜索带回溯策略的搜索： 从初始状态出发，不停地、试探性地寻找路径，直到它到达目的或“不可解结点”，即“死胡同”为止。若它遇到不可解结点就回溯到路径中最近的父结点上，查看该结点是否还有其他的子结点未被扩展。若有，则沿这些子结点继续搜索；如果找到目标，就成功退出搜索，返回解题路径。24递归过程递归过程：5.3.1 回溯策略Step Track (DataList)：Data：= First(DataList);if Member(Data, Tail(DataList) then return FAIL; *回老路退回if Goal(Data) then return NIL; *
10、达到目的地成功返回if DeadEnd(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,
11、 DataList);Path：= Back Track(NewDataList); *递归If Path：= FAIL then go loop else return Cons(R, Path);255.3.1 回溯策略回溯搜索示意图回溯搜索示意图265.3.1 回溯策略回溯搜索的算法回溯搜索的算法(1) PS（path states）表表：保存当前搜索路径上的状态。如果找到了目的，PS就是解路径上的状态有序集。 (2) NPS（new path states）表表：新的路径状态表。它包含了等待搜索的状态，其后裔状态还未被搜索到，即未被生成扩展 。(3) NSS（no solvable s
12、tates）表表：不可解状态集，列出了找不到解题路径的状态。如果在搜索中扩展出的状态是它的元素，则可立即将之排除，不必沿该状态继续搜索。 275.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 将C
13、S加入NSS *标明此状态不可解 从PS中删除第一个元素CS *回溯 从NPS中删除第一个元素CS； CS：= NPS中的第一个元素； 285.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 回溯策略305.3.1 回溯策略图搜索算法（深度优先、宽度优先、最好优先搜索等）的回溯思想：（1）用未处理状态表
14、（NPS）使算法能返回（回溯）到其 中任一状态。 （2）用一张“死胡同”状态表（NSS）来避免算法重新搜索 无解的路径。 （3）在PS 表中记录当前搜索路径的状态，当满足目的时可 以将它作为结果返回。 （4）为避免陷入死循环必须对新生成的子状态进行检查， 看它是否在该三张表中 。315.3.2 宽度优先搜索策略open表（NPS表）：已经生成出来但其子状态未被搜索的状态。closed表（ PS表和NSS表的合并）：记录了已被生成扩展过的状态。 0S12345678910宽度优先搜索法中状态的搜索次序宽度优先搜索法中状态的搜索次序325.3.2 宽度优先搜索策略Procedure breadth
15、_first_searchbeginopen：= start; closed：= *初始化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 宽度优先搜索策略BC
16、AABC(a) 初始状态(b) 目的状态 积木问题积木问题34操作算子为MOVE（X，Y）：把积木X搬到Y（积木或桌面）上面。5.3.2 宽度优先搜索策略MOVE（A，Table）：“搬动积木A到桌面上”。 操作算子可运用的先决条件：（1）被搬动积木的顶部必须为空。（2）如果 Y 是积木，则积木 Y 的顶部也必须为空。（3）同一状态下，运用操作算子的次数不得多于一次。35ABABACCBACCCBABCABACBAABCBCBCCABAMOVE(A,TABLE)MOVE(C,A)MOVE(A,C)MOVE(B,A)MOVE(B,C) MOVE(C,A)MOVE(C,B) MOVE(C,B)MO
17、VE(A,B)0S1S2S3S4S5S6S7S8S9S10S没有后裔，失败退出 积木问题的宽度优先搜索树5.3.2 宽度优先搜索策略365.3.3 深度优先搜索策略0S12345678910111213KK 深度优先搜索法中状态的搜索次序0S12345678910111213KK深度优先搜索法中状态的搜索次序37在深度优先搜索中，当搜索到某一个状态时，它所有的子状态以及子状态的后裔状态都必须先于该状态的兄弟状态被搜索。 为了保证找到解，应选择合适的深度限制值，或采取不断加大深度限制值的办法，反复搜索，直到找到解。 5.3.3 深度优先搜索策略38深度优先搜索过程： 5.3.3 深度优先搜索策略
18、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
19、d表记录了已扩展过的状态 39深度优先搜索并不能保证第一次搜索到的某个状态时的路径是到这个状态的最短路径。 对任何状态而言，以后的搜索有可能找到另一条通向它的路径。如果路径的长度对解题很关键的话，当算法多次搜索到同一个状态时，它应该保留最短路径。 5.3.3 深度优先搜索策略40例例4 卒子穿阵问题卒子穿阵问题，要求一卒子从顶部通过下图所示的阵列到达底部。卒子行进中不可进入到代表敌兵驻守的区域（标注1），并不准后退。假定深度限制值为5。 5.3.3 深度优先搜索策略 阵列图阵列图 415.3.3 深度优先搜索策略open表：S17、S18closed表：S0S16 0S1S)1 ,1(2S)2
20、,1(3S)2,2(4S)1 ,2(5S)1 ,3(6S)2,3(7S)3,2(8S)3,1(9S)2,1(14S)4,1(10S)2,2(11S)1 ,2(12S)1 ,3(13S)3,2(15S)4,2(16S)4,3(17S)4,4(18S)4,1(死死死死深度限制解 0S1S)1 ,1(2S)2,1(3S)2,2(4S)1 ,2(5S)1 ,3(6S)2,3(7S)3,2(8S)3,1(9S)2,1(14S)4,1(10S)2,2(11S)1 ,2(12S)1 ,3(13S)3,2(15S)4,2(16S)4,3(17S)4,4(18S)4,1(死死死死深度限制解卒子穿阵的深度优先搜索
21、树42第5章 搜索求解策略5.1 搜索的概念搜索的概念5.2 状态空间知识表示方法状态空间知识表示方法5.3 盲目的图搜索策略盲目的图搜索策略5.4 启发式图搜索策略启发式图搜索策略5.5 与与/或或图搜索策略图搜索策略435.4 启发式图搜索策略5.4.1 启发式策略启发式策略5.4.2 启发信息和估价函数启发信息和估价函数5.4.3 A搜索算法搜索算法5.4.4 A*搜索算法及其特性分析搜索算法及其特性分析445.4.1 启发式策略“启发启发”（heuristic）：关于发现和发明操作算子及搜索方法的研究。在状态空间搜索中，启发式启发式被定义成一系列操作算子，并能从状态空间中选择最有希望到
22、达问题解的路径。启发式策略启发式策略：利用与问题有关的启发信息进行搜索。455.4.1 启发式策略运用启发式策略的两种基本情况运用启发式策略的两种基本情况： （1）一个问题由于在问题陈述和数据获取方面固有 的模糊性，可能会使它没有一个确定的解。 （2）虽然一个问题可能有确定解，但是其状态空间 特别大，搜索中生成扩展的状态数会随着搜索 的深度呈指数级增长。46 例例5 一一字字棋棋。在九宫棋盘上，从空棋盘开始，双方轮流在棋盘上摆各自的棋子 或 （每次一枚），谁先取得三子一线（一行、一列或一条对角线）的结果就取胜。 5.4.1 启发式策略 和 能够在棋盘中摆成的各种不同的棋局就是问题空间中的不同状
23、态。 9个位置上摆放空， ， 有 39 种棋局。 可能的走法 ： 。475.4.1 启发式策略 启发式策略的运用启发式策略的运用485.4.1 启发式策略启发式搜索下缩减的状态空间启发式搜索下缩减的状态空间495.4.2 启发信息和估价函数在具体求解中，能够利用与该问题有关的信息来简化搜索过程，称此类信息为启发信息启发信息。启发式搜索启发式搜索：利用启发信息的搜索过程。505.4.2 启发信息和估价函数 求解问题中能利用的大多是非完备的启发信息：（1）求解问题系统不可能知道与实际问题有关的全部信息，因而无法知道该问题的全部状态空间，也不可能用一套算法来求解所有的问题。（2）有些问题在理论上虽然
24、存在着求解算法，但是在工程实践中，这些算法不是效率太低，就是根本无法实现。一字棋：9！，西洋跳棋：1078，国际象棋：10120，围棋：10761。假设每步可以搜索一个棋局，用极限并行速度（10-104年/步）来处理，搜索一遍国际象棋的全部棋局也得1016年即1亿亿年才可以算完！ 515.4.2 启发信息和估价函数启发信息的分类： （1）陈述性启发信息 （2）过程性启发信息 （3）控制性启发信息利用控制性的启发信息的情况： （1）没有任何控制性知识作为搜索的依据，因而搜索的每一步完全是随意的。 （2）有充分的控制知识作为依据，因而搜索的每一步选择都是正确的，但这是不现实的。525.4.2 启发
25、信息和估价函数 估价函数的任务就是估计待搜索结点的“有希望”程度，并依次给它们排定次序（在open表中）。 估价函数 ：从初始结点经过 结点到达目的 结点的路径的最小代价估计值，其一般形式是 一般地，在 中， 的比重越大，越倾向于宽度优先搜索方式，而 的比重越大，表示启发性能越强。53 例例6 八八数数码码的的估估价价函函数数设计方法有多种，并且不同的估价函数对求解八数码问题有不同的影响。 最简单的估价函数：取一格局与目的格局相比，其位置不符的将牌数目。 较好的估价函数：各将牌移到目的位置所需移动的距离的总和。 第三种估价函数：对每一对逆转将牌乘以一个倍数。 第四种估价函数：克服了仅计算将牌逆
26、转数目策略的局限，将位置不符将牌数目的总和与3倍将牌逆转数目相加。 5.4.2 启发信息和估价函数545.4.3 A搜索算法启启发发式式图图搜搜索索法法的的基基本本特特点点：如何寻找并设计一个与问题有关的 及构出 ， 然后以 的大小来排列待扩展状态的次序，每次选择 值最小者进行扩展。 open表：保留所有已生成而未扩展的状态。 closed表：记录已扩展过的状态。 进入open表的状态是根据其估值的大小插入到表中合适的位置，每次从表中优先取出启发估价函数值最小的状态加以扩展。 55一般启发式图搜索算法（一般启发式图搜索算法（简记为简记为A）5.4.3 A搜索算法procedure heuris
27、tic_searchopen：=start；closed：= ；f(s)：=g(s)+h(s)；*初始化while open dobegin从open表中删除第一个状态，称之为n；if n=目的状态then return(success)；生成n的所有子状态；if n没有任何子状态then continue；for n的每个子状态docase子状态is not already on open表or closed表；begin计算该子状态的估价函数值；将该子状态加到open表中； end； 565.4.3 A搜索算法case子状态is already on open表：if该子状态是沿着一条比在
28、open表已有的更短路径而到达then 记录更短路径走向及其估价函数值；case子状态is already on closed表：if该子状态是沿着一条比在closed表已有的更短路径而到达thenbegin将该子状态从closed表移到open表中；记录更短路径走向及其估价函数值；end；case end；将n放入closed表中；根据估价函数值，从小到大重新排列open表；end；*open表中结点已耗尽return(failure)；end.575.4.3 A搜索算法每每次次重重复复时时，A搜搜索索算算法法从从open表表中中取取出出第第一一个个状状态态，如如果果该状态满足目的条件，则算
29、法返回到该状态的搜索路径。该状态满足目的条件，则算法返回到该状态的搜索路径。如如果果open表表的的第第一一个个状状态态不不是是目目的的状状态态，则则算算法法利利用用与与之之相相匹匹配配的的一一系系列列操操作作算算子子进进行行相相应应的的操操作作来来产产生生它它的的子子状状态态。如如果果某某个个子子状状态态已已在在open表表（或或closed表表）中中出出现现过过，即即该该状状态态再再一一次次被被发发现现时时，则则通通过过刷刷新新它它的的祖祖先先状状态态的的历历史记录，使算法极有可能找到到达目的状态的更短的路径史记录，使算法极有可能找到到达目的状态的更短的路径接接着着，A搜搜索索算算法法op
30、en表表中中每每个个状状态态的的估估价价函函数数值值，按按照照值值的的大大小小重重新新排排序序，将将值值最最小小的的状状态态放放在在表表头头，使使其其第第一一个个被扩展。被扩展。 585.4.3 A搜索算法595.4.3 A搜索算法例例7 利用A搜索算法求解八数码问题的搜索树，其估价函数定义为 ：状态的深度，每步为单位代价。 ：以“不在位”的将牌数作为启发信息的度量。 ：为状态 到目的状态的最优路径的代价。 ：A搜索算法 A*搜索算法。 605.4.3 A搜索算法61open表和closed表内状态排列的变化情况 5.4.3 A搜索算法62如果某一问题有解，那么利用A*搜索算法对该问题进行搜索
31、则一定能搜索到解，并且一定能搜索到最优的解而结束。上例中的八数码A搜索树也是A*搜索树，所得的解路（s，B，E，I，K，L）为最优解路，其步数为状态L（5）上所标注的5 。5.4.4 A*搜索算法及其特性分析631. 可采纳性 当一个搜索算法在最短路径存在时能保证找到它，就称它是可采纳的。2. 单调性 搜索算法的单调性：在整个搜索空间都是局部可采纳的。一个状态和任一个子状态之间的差由该状态与其子状态之间的实际代价所限定。5.4.4 A*搜索算法及其特性分析643. 信息性 在两个A*启发策略的 中，如果对搜索空间中的任一状态 都有 ，就称策略 具有更多的信息性。 5.4.4 A*搜索算法及其特
32、性分析65第5章 搜索求解策略5.1 搜索的概念搜索的概念5.2 状态空间知识表示方法状态空间知识表示方法5.3 盲目的图搜索策略盲目的图搜索策略5.4 启发式图搜索策略启发式图搜索策略5.5 与与/或或图搜索策略图搜索策略665.5 与/或图搜索策略1. 分解分解与与树树子问题（简单） 子子问题（更简单）子问题（简单） 子子问题（更简单） 子子问题（更简单）与与树问题分解树问题分解675.5.1 与与/或图表表达法或图表表达法2. 变换变换或或树树或或树问题变换树问题变换5.5 与/或图搜索策略685.5.1 与与/或图表表达法或图表表达法例例8 猴子和猴子和香蕉问题。香蕉问题。 5.5 与
33、/或图搜索策略猴子和香蕉问题猴子和香蕉问题695.5 与/或图搜索策略 设系统的状态用四元数组描述设系统的状态用四元数组描述： ：猴子所处水平位置 ：台子所在水平位置 ：猴子是否在台子上（ ，在； ，不在） ：猴子是否能拿到香蕉（ ，拿到； ，没有拿到） 705.5 与/或图搜索策略 允许的操作集允许的操作集： 可能的状态：可能的状态：715.5 与/或图搜索策略72THE ENDArtificial Intelligence Principles and Applications人有了知识，就会具备各种分析能力，明辨是非的能力。所以我们要勤恳读书，广泛阅读，古人说“书中自有黄金屋。”通过阅读科技书籍，我们能丰富知识，培养逻辑思维能力；通过阅读文学作品，我们能提高文学鉴赏水平，培养文学情趣；通过阅读报刊，我们能增长见识，扩大自己的知识面。有许多书籍还能培养我们的道德情操，给我们巨大的精神力量，鼓舞我们前进。Artificial Intelligence Principles and Applications
