《人工智能（十一）》青少年教育文学丛书.pdfVIP

下载 第11章 其他搜索公式及其应用 有一些搜索技术的应用超出了为一个 a g e n t选择动作的应用范围，这些应用包括为受限变 量分配值和为解决最优问题等寻求解决方案。有一些专门的方法已经被开发用于这些应用中， 虽然它们看上去并不直接与 a g e n t设计有关，但它们也是重要的 A I 技术，本章将讨论其中的一 部分。 11.1 赋值问题 图搜索问题中的目标节点的条件可以定义为一个指定的数据结构或者标识它的状态描述， 或者它可以根据对那个数据结构的条件和约束隐式地定义。在任一情况下，当问题是找到 a g e n t 的一个动作序列时，标识目标节点的数据结构并不重要，重要的是到达目标的步骤序列。 或者当目标节点不是由一个指定的数据结构定义而是由条件或约束定义时，问题可能就是要显 示一些满足这些条件的数据结构，而用图搜索方法产生它的步骤可能是不相关的。我们称这类 问题为约束满足(c o n s t r a i n t - s a t i s f a c t i o n) 问题。这类问题中的一个著名例子是给受限变量赋值。 它们被称为赋值问题(assignment pro b l e m) ，下面将讨论这个问题。 我们能通过图搜索方法解决约束满足问题。一个目标节点是 由满足约束的数据结构( 或状态描述)标识的节点。算子将一个数 据结构改变为另一个数据结构。开始节点是一些初始的数据结构。 赋值问题的一个典型例子是 8皇后问题(Eight-Queens pr o b l e m) 。 问题是这样的：把8个皇后放在一个棋盘上，每行和每列只能有 一个皇后，另外，一个皇后只能在任一行、列或对角线上 (也就 是说，按照国际象棋规则，没有皇后能被放在一个位置以便它能 抓住任何其他的皇后 ) 。这个问题的一个解法参见图 11 - 1。由于 图11-1 8皇后问题的解决方案 这种问题具有从集合 {第1行，第2行，. . .，第8行} 到变量{第1列的皇后位置，第2列的皇后位置， …，第8列的皇后位置}的赋值形式，所以称为赋值问题。 把这个问题作为一个图搜索问题，一个明显的数据结构是一 个8 ×8 的数组，数组中的每个单元包含两个符号 ( 1和0 ) 中的一个， 1代表皇后， 0为空。一个根据条件定义的隐式目标状态是保证 8 个皇后都是安全的，不会被抓住。连接状态描述的算子和数组转 换的方式相一致。例如，一个算子能把一个皇后加到还没有 8个 皇后的数组中，或者它能把一个皇后移到另一个单元中。在赋值 问题中，由于到达目标的路径并不重要，因此关于开始状态和算 图11-2 纵横字谜的一个数组 子是什么我们常有很多选择。 作为赋值问题的另一个例子，考虑一下有很大状态空间的纵横字谜问题 。图1 1 -2 显示了 关于纵横字谜的产生问题， Matt, Ginsberg 和他的学生已经测试了各种状态空间搜索技术［ G i n s b e rg et al. 1 9 9 0。］ 112计计第二部分 状态空间搜索 下载 一个纵横字谜的数组。问题是根据纵横字谜规则用字母填充数组中的所有空白块，以使所有的 行和列都是英语单词(没考虑这个问题的另一方面，即对企图解决纵横字谜的人创建提示 ) 。在 这个问题中，一个状态描述是字母和空格 (和已涂黑的单元一起)组成的任何数组，一个目标状 态是一个合理纵横字谜解法的任何数组。连接状态描述的算子能将字母和空格的组合转变为另 一种数组。例如，一个算子能把一个单词加到一个空行或空列上，或者它能把一个字母变为另 一个字母。 11.2 构造性方法 我们可以用上一章讲的搜索方法解决赋值问题。最直接的方法是一步一步地构造所要求的 赋值——尽管我们对那些步骤不是太感兴趣。开始（开始节点）不进行任何赋值，对 8皇后问 题，相应的数据结构是全为 0 的一个数组。每个算子加一个皇后到数组中，但要以满足约束的 方式加入。因为在每一列必须有一个皇后，不失一般性，我们能保证在深度为 0 的节点应用算 子产生第 1列皇后的放置，应用到深度为 1的节点的算子是第2 列皇后的放置，等