第三单元 确定性推理.pptVIP

中南大学 智能系统与智能软件研究所 第三章 确定性推理 上一章中我们研究了知识表示方法，为人工智能问题的求解打下了基础。从问题表示到问题的解决，是一个求解的过程，这其实就是搜索过程，所以搜索实际上就是求解问题的一种方法。接下来要研究的是实现求解的过程，采用的基本方法包括搜索和推理。本章先介绍搜索技术，将要讨论问题求解的搜索原理，包括一些用于解决比较简单问题的搜索原理和一些比较新的能够求解比较复杂问题的搜索原理和推理技术。 3.1 图搜索策略 　　　可把图搜索策略看成一种在图中寻找路径的方法。第二章我们已经介绍过有关状态空间图的知识表示方法，本节着重对基于状态空间图的搜索策略进行介绍。状态空间图中的节点对应于状态，而连线对应于操作符，表示一次操作、走步或算符。 　　　基于图的搜索策略就等价于求得图中从某一初始状态节点到另一目标状态节点的一条路径问题。 　　　在介绍图搜索策略之前，先来看一个例子。 　　例子：从某王姓家族的四代中找王A的后代且其寿命为X的人。 　　　王A：寿命47，有儿子王B1、王B3、王B2 　　　　　王B1：寿命77，有儿子王C1、王C2 　　　　　王B3：寿命52，有儿子王D1 　　　　　王B2：寿命65，有儿子王E1、王E2 　　　　　　　王C1：寿命27，没有儿子 　　　　　　　王C2：寿命87，有儿子王F1 　　　　　　　王D1：寿命77，没有儿子 　　　　　　　王E1：寿命57，有儿子王G1 　　　　　　　王E2：寿命92，有儿子王H1 　　　　　　　　　王F1：寿命32 　　　　　　　　　王G1：寿命96 　　　　　　　　　王H1：寿命51 　　若要查找寿命X=57的后代，试给出其答案。 　　　如果是一个N代的家族表中找其寿命为X的人，人工方法是从家族表的开始往下，若N的数目很大，可能就比较复杂。若这个问题用图来表示和求解，就比较直观和容易了。图中省去姓氏，每个成员的后代按所给名字的先后顺序。图示为： 　　　利用搜索方法求解问题的基本思想：首先将问题的初始状态（即状态空间图中的初始节点）作为当前状态，选择一适当的算符作用于当前状态，生成一组后继状态（或称后继节点），检查这组后继状态节点中有没有目标状态。如果有，则说明搜索成功，从初始状态到目标状态的一系列算符即是问题的解；若没有，则按照某种控制策略从已生成的状态中再选择一个状态作为当前状态，重复上述过程，直到出现目标状态或不再有可供操作的状态及算符为止。该过程类似于隐式状态空间图的扩展。 　　　图搜索（GRAPHSEARCH）的一般过程如下： 　(1) 建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN的未扩展节点表中（简称OPEN表）。 　(2) 建立一个叫做CLOSED的已扩展节点表（简称CLOSED表），其初始为空表。 　(3) LOOP：若OPEN表是空表，则失败退出。 　(4) 选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称为节点n，它是在CLOSED表中节点的编号。 　(5) 若n为目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的（指针将在第7步中设置）。 　(6) 扩展节点n，同时生成n的后继节点的集合M。把M的这些成员作为n的后继节点添入图G中。 　(7) 对那些未曾在G中出现过的（既未曾在OPEN表上或CLOSED表上出现过的）M成员设置一个指向父节点n的指针。把M的这些成员加进OPEN表。对已经在OPEN或CLOSED表上的每一个M成员，确定是否需要更改通到n的指针方向，若需要更改，并相应地在图G中更改指针方向，使得指向现在的父节点n。 　(8) 按某一任意方式或按某个探试值，重排OPEN表。 　(9) GO LOOP。 　　　图搜索算法中的几个重要名词 　　　1．扩展节点和未扩展节点 　　　扩展就是用合适的算符对某个节点进行操作生成一组后继节点。对于状态空间图中的某个节点，如果求出了它的后继节点，则此节点就是已扩展节点，而尚未被求出后继节点称为未扩展节点。将未扩展的节点存于一个名为OPEN的表中，而将已扩展的节点存于一个名CLOSED的表中。 　　　2．OPEN表 　　　4．搜索图 　　　图搜索过程会生成一个明确的图G，它是问题状态空间图的一部分，称为搜索图（也称为搜索树）。G中的每个节点（除S外）都有一个只指向G中一个父辈节点的指针，该父辈节点就定为树中那个节点的唯一父辈节点。到达由算法发现的某个节点上，每条可能的路径被明确地保存在图中，对任何节点的单独一条明显路径是用T来定义的。 OPEN表上的节点都是搜索树上未被扩展的端节点；在CLOSED表上的节点，或者是几个已扩展但是在搜索树中没有生成后继节点的端节点，或者是搜