1、人工智能 Artificial Intelligence,主讲：相明 西安交通大学电信学院计算机系 E_mail：,第五章 搜索策略,5.1 基本概念 5.2 状态空间的搜索策略 5.3 与/或树的搜索策略,5.1 基本概念,5.1.1 什么是搜索 采用某种策略，在知识库中寻找可利用的知识，从而构造一条代价较小的推理路线，使问题得到解决的过程称为搜索。 搜索分为盲目搜索和启发式搜索。 盲目搜索是按照预定的控制策略进行搜索，在搜索过程中获得的中间信息不用来改进控制策略。 启发式搜索是在搜索中加入了与问题有关的启发性信息，用以指导搜索朝着最有希望的方向前进，加速问题的求解过程并找到最优解。,5.1
2、.2 状态空间表示法,（1）很多问题的求解过程都可以看作是一个搜索过程。问题及其求解过程可以用状态空间表示法来表示。（2）状态空间用“状态”和“算符”来表示问题。 状态状态用以描述问题在求解过程中不同时刻的状态，一般用一个向量表示： SK=(Sk0,Sk1,) 算符使问题从一个状态转变为另一个状态的操作称为算符。在产生式系统中，一条产生式规则就是一个算符。 状态空间 由所有可能出现的状态及一切可用算符所构成的集合称为问题的状态空间。,例5.1 二阶梵塔问题。设有三根钢针，在1号钢针上穿有A、B两个金片，A小于B，A位于B的上面。要求把这两个金片全部移到另一根钢针上；而且规定每次只能移动一片，任
3、何时刻都不能使B位于A的上面。,（1）设用SK=(Sk0,Sk1)表示问题的状态（第k个状态），SK0表示金片A所在的钢针号，Sk1表示金片B所在的钢针柱号，全部可能的状态有九种： S0=(1,1), S1=(1,2) , S2=(1,3) S3=(2,1), S4=(2,2) , S5=(2,3) S6=(3,1), S7=(3,2) , S8=(3,3)问题的初始状态集合为S=S0,目标状态集合为G=S4,S8。 （2）算符：A(i,j)及B(i,j)。A(i,j)表示把A金片从第i号钢针移到第j号钢针。 B(i,j)与之同理。算符共有12个。 （3）在状态空间图中，从初始节点(1,1)到
4、目标节点(2,2)或(3,3)的任何一条通路都是问题的一个解。 其中最短的路径长度是3， 它由3个算符组成。 例如:A(1,3),B(1,2),A(3,2),采用状态空间表示方法，首先要把问题的一切状态都表示出来，其次要定义一组算符。 问题的求解过程是一个不断把算符作用于状态的过程。如果在使用某个算符后得到的新状态是目标状态，就得到了问题的一个解。这个解就是从初始状态到目标状态所采用算符的序列。使用算符最少的解称为最优解。,5.1.3 与/或树表示法,与/或树是用于表示问题及其求解过程的另一种方法，通常用于表示比较复杂问题的求解。 对于一个复杂问题，直接求解往往比较困难。此时可通过下述方法进行
5、简化： 分解把一个复杂问题分解为若干个较为简单的子问题，每个子问题又可继续分解。重复此过程，直到不需要再分解或者不能再分解为止。如此形成“与”树。 等价变换利用同构或同态的等价变换，把原问题变换为若干个较为容易求解的新问题。如此形成“或”树。,与/或树,一些基本概念,本原问题 不能再分解或变换，而且直接可解的子问题。 端节点与终止节点 在与/或树中，没有子节点的节点统称为端节点；本原问题所对应的节点称为终止节点。 可解节点 在与/或树中，满足下列条件之一者，称为可解节点： 它是一个终止节点； 它是一个“或”节点，且其子节点中至少有一个是可解节点； 它是一个“与”节点，且其子节点全部是可解节点。
6、 不可解节点 关于可解节点的三个条件全部不满足的节点,解树由可解节点所构成，并且由这些可解节点可推出初始节点为可解节点的子树称为解树(t表示终止节点)。,三阶梵塔问题的与/或树,5.2 状态空间的搜索策略,盲目搜索的特点： 搜索按规定的路线进行，不使用与问题有关的启发性信息； 适用于其状态空间图是树状结构的一类问题。 启发式搜索要使用与问题有关的启发性信息，并以这些启发性信息指导搜索过程，可以高效地求解结构复杂的问题。,5.2.1 状态空间的一般搜索过程,OPEN表和CLOSE表OPEN表用于存放刚生成的节点。对于不同的搜索策略，节点在OPEN表中的排列顺序是不同的。 CLOSE表用于存放将要
7、扩展的节点。对一个节点的扩展是指：用所有可适用的算符对该节点进行操作，生成一组子节点。OPEN表 CLOSE表,搜索的一般过程,把初始节点S0放入OPEN表，并建立目前只包含S0的图，记为G； 检查OPEN表是否为空，若为空则问题无解，退出； 把OPEN表的第一个节点取出放入CLOSE表，并记该节点为n； 考察节点n是否为目标节点。若是，则求得了问题的解，退出； 扩展节点n，生成一组子节点。把其中不是节点n先辈的那些子节点记做集合M，并把这些子节点作为节点n的子节点加入G中； 针对M中子节点的不同情况，分别进行如下处理：（动态更新open表及图G） 对于那些未曾在G中出现过的M成员，设置一个指
8、向父节点（即节点n）的指针，并把它们放入OPEN表；（不在OPEN表） 对于那些先前已经在G中出现过的M成员，确定是否需要修改它指向父节点的指针；（在OPEN表中） 对于那些先前已在G中出现并且已经扩展了的M成员，确定是否需要修改其后继节点指向父节点的指针；（在CLOSE表中） 按某种搜索策略对OPEN表中的节点进行排序； 转第2步。,一些说明,一个节点经一个算符操作后只生成一个子节点。但适用于一个节点的算符可能有多个，此时就会生成一组子节点。这些子节点中可能有些是当前扩展节点的父节点、祖父节点等，此时不能把这些先辈节点作为当前扩展节点的子节点。 一个新生成的节点，它可能是第一次被生成的节点，
9、也可能是先前已作为其它节点的子节点被生成过，当前又作为另一个节点的子节点被再次生成。此时，它究竟应选择哪个节点作为父节点？一般由 初始节点到该节点的代价来决定，处于代价小的路途上的那个节点就作为该节点的父节点。 通过搜索所得到的图称为搜索图。由搜索图中所有的节点及反向指针（指向父节点的指针）所构成的集合是一棵树，称为搜索树。 在搜索过程中，一旦某个被考察的节点是目标节点，就得到了一个解。该解是由从初始节点到该目标节点路径上的算符构成。 如果在搜索中一直找不到目标节点，而且OPEN表中不再有可供扩展的节点，则搜索失败。,5.2.2 广度优先搜索,基本思想：从初始节点S0开始，逐层地对节点进行扩展
10、，并考察它是否为目标节点。在第n层的节点没有全部扩展并考察之前，不对第n1层的节点进行扩展。 OPEN表中节点总是按进入的先后顺序排列，先进入的节点排在前面，后进入的排在后面。,广度优先搜索过程,把初始节点S0放入OPEN表。 如果OPEN表为空，则问题无解，退出。 把OPEN表的第一个节点取出放入CLOSE表（记为节点n） 。 考察节点n是否为目标节点。若是，则求得了问题的解，退出。 若节点n不可扩展，则转第2步。 扩展节点n，将其子节点放入OPEN表的尾部，并为每一个子节点都配置指向父节点的指针，然后转第2步。,重排九宫的广度优先搜索 操作符：空格左移、上移、右移、下移,在上述广度优先算法
11、中需要注意两个问题： 1、对于任意一个可扩展的节点，总是按照固定的操作符的顺序对其进行扩展（空格左移、上移、右移、下移）。 2、在对任一节点进行扩展的时候，如果所得的某个子节点（状态）前面已经出现过，则立即将其放弃，不再重复画出（不送入OPEN表）。 3、广度优先搜索的本质是，以初始节点为根节点，在状态空间图中按照广度优先的原则，生成一棵搜索树。,广度优先搜索的特点,优点：只要问题有解，用广度优先搜索总可以得到解，而且得到的是路径最短的解。 缺点：广度优先搜索盲目性较大，当目标节点距初始节点较远时将会产生许多无用节点，搜索效率低。,5.2.3 深度优先搜索,深度优先搜索与广度优先搜索的唯一区别
12、是：广度优先搜索是将节点n的子节点放入到OPEN表的尾部，而深度优先搜索是把节点n的子节点放入到OPEN表的首部。,深度优先搜索过程,把初始节点S0放入OPEN表。 如果OPEN表为空，则问题无解，退出。 把OPEN表的第一个节点（记为节点n）取出放入CLOSE表。 考察节点n是否为目标节点。若是，则求得了问题的解，退出。 若节点n不可扩展，则转第2步。 扩展节点n，将其子节点放入OPEN表的首部，并为每一个子节点都配置指向父节点的指针，然后转第2步。,重排九宫的深度优先搜索,深度优先搜索的特点,在深度优先搜索中，搜索一旦进入某个分支，就将沿着该分支一直向下搜索。如果目标节点恰好在此分支上，则
13、可较快地得到解。但是，如果目标节点不在此分支上，而该分支又是一个无穷分支，则就不可能得到解。所以深度优先搜索是不完备的，即使问题有解，它也不一定能求得解。 用深度优先求得的解，不一定是路径最短的解。 本质：以初始节点为根节点，在状态空间图中按照深度优先的原则，生成一棵搜索树。,5.2.4 有界深度优先搜索,基本思想： 对深度优先搜索引入搜索深度的界限（设为dm），当搜索深度达到了深度界限，而仍未出现目标节点时，就换一个分支进行搜索。 搜索过程： 把初始节点S0放入OPEN表中，置S0的深度d(S0)=0。 如果OPEN表为空，则问题无解，退出。 把OPEN表的第一个节点取出放入CLOSE表（记
14、为节点n） 。 考察节点n是否为目标节点。若是，则求得了问题的解，退出。 若节点n的深度d(n)=dm，则转第2步（此时节点n位于CLOSE表，但并未进行扩展）。 若节点n不可扩展，则转第2步。 扩展节点n，将其子节点放入OPEN表的首部，为每一个子节点都配置指向父节点的指针，将每一个子节点的深度设置为d(n)+1，然后转第2步。,如果问题有解，且其路径长度dm，则上述搜索过程一定能求得解。但是，若解的路径长度dm,则上述搜索过程就得不到解。 要恰当地给出dm的值是比较困难的。 即使能求出解，它也不一定是最优解。,有界深度优先搜索的一些改进方法,先任意设定一个较小的数作为dm，然后进行上述的有
15、界深度优先搜索，当搜索达到了指定的深度界限dm仍未发现目标节点，并且CLOSE表中仍有待扩展节点时，就将这些节点送回OPEN表，同时增大深度界限dm，继续向下搜索。如此不断地增大dm，只要问题有解，就一定可以找到它。但此时找到的解不一定是最优解。 为了找到最优解，可增设一个表R，每找到目标节点Sg后，就把它放入R，并令dm等于该目标节点所对应的路径长度，然后继续搜索。由于后求得的解的路径长度不会超过先前求得的解的路径长度，所以后求得的解一定是最优解。,重排九宫的有界深度优先搜索,设深度界限dm4,代价树的广度优先搜索,边上标有代价(或费用)的树称为代价树。 用g(x)表示从初始节点S0到节点x
16、的代价，用c(x1,x2)表示从父节点x1到子节点x2的代价，则有： g(x2)=g(x1)+c(x1,x2) 基本思想：每次从OPEN表中选择节点往CLOSE表传送时，总是选择其中代价最小的节点。也就是说，OPEN表中的节点在任一时刻都是按其代价从小到大排序的。代价小的节点排在前面，代价大的节点排在后面。 如果问题有解，代价树的广度优先搜索一定可以求得解，并且求出的是最优解。,代价树广度优先搜索过程,把初始节点S0放入OPEN表，令g(S0)=0。 如果OPEN表为空，则问题无解，退出。 把OPEN表的第一个节点（记为节点n）取出放入CLOSE表。 考察节点n是否为目标节点。若是，则求得了问
17、题的解，退出。 若节点n不可扩展，则转第2步。 扩展节点n，为每一个子节点都配置指向父节点的指针，计算各子节点的代价，并将各子节点放入OPEN表中。按各节点的代价对OPEN表中的全部节点进行排序(按从小到大的顺序)，然后转第2步。,代价树的深度优先搜索,搜索过程： 把初始节点S0放入OPEN表，令g(S0)=0。 如果OPEN表为空，则问题无解，退出。 把OPEN表的第一个节点（记为节点n）取出放入CLOSE表。 考察节点n是否为目标节点。若是，则求得了问题的解，退出。 若节点n不可扩展，则转第2步。 扩展节点n，将其子节点按代价从小到大的顺序放到OPEN表中的首部，并为每一个子节点都配置指向父节点的指针，然后转第2步。 代价树的深度有限搜索是不完备的。,总 结1、上述各种搜索方法的本质是，以初始节点为根节点，按照既定的策略对状态空间图进行遍历，并希望能够尽早发现目标节点。2、由于对状态空间图遍历的策略是既定的，因此这些方法统称为盲目搜索方法。,5.2.5 启发式搜索,盲目搜索具有较大的盲目性，产生的无用节点较多，效率不高。 启发式搜索采用问题自身的特性信息，以指导搜索朝着最有希望的方向前进。这种搜索针对性较强，因而效率较高。,
