chap11 其他搜索公式及其应用 人工智能课程 上海交大.pptVIP

第11章其他搜索公式及其应用 其他搜索方法 有一些搜索技术的应用超出了为一个a g e n t选择动作的应用范围，这些应用包括为受限变量分配值和为解决最优问题等寻求解决方案。 11.1 赋值问题 有时问题是找到a g e n t的一个动作序列，重要的是到达目标的步骤序列。 有时问题可能是要显示一些满足条件的数据结构，而用图搜索方法产生它的步骤可能是不相关的。 我们称这类问题为约束满足问题。这类问题中的一个著名例子是给受限变量赋值。它们被称为赋值问题。 通过图搜索解决约束满足问题 一个目标节点是由满足约束的数据结构( 或状态描述)标识的节点。 算子将一个数据结构改变为另一个数据结构。开始节点是一些初始的数据结构。 8皇后问题 赋值问题的一个典型例子是8皇后问题。问题是这样的：把8个皇后放在一个棋盘上，每行和每列只能有一个皇后，另外，一个皇后只能在任一行、列或对角线上。 8皇后问题 把这个问题作为一个图搜索问题，一个明显的数据结构是一个8×8的数组，数组中的每个单元包含两个符号( 1和0 )中的一个，1代表皇后， 0为空。一个根据条件定义的隐式目标状态是保证8个皇后都是安全的，不会被抓住。连接状态描述的算子和数组转换的方式相一致。 例如，一个算子能把一个皇后加到还没有8个皇后的数组中，或者它能把一个皇后移到另一个单元中。在赋值问题中，由于到达目标的路径并不重要，因此关于开始状态和算子是什么我们常有很多选择。 纵横字谜 11.2 构造性方法 最直接的方法是一步一步地构造所要求的赋值 开始（开始节点）不进行任何赋值，对8皇后问题，相应的数据结构是全为0的一个数组。每个算子加一个皇后到数组中，但要以满足约束的方式加入。因为在每一列必须有一个皇后，不失一般性，我们能保证在深度为0的节点应用算子产生第1列皇后的放置，应用到深度为1的节点的算子是第2列皇后的放置，等等。因为这个解法是一步步构成的，我们称这个方法为构造方法。 4个皇后 4个皇后 约束图 一个有向约束弧(constraint arc)（i，j），连结着节点i和j，条件是节点i的变量值受节点j的变量约束。 给变量赋值 给变量中的一个或几个赋值后，我们能用弧一致性概念排除其他变量的一些值。约束传播过程在图中的弧上进行迭代，试用加强弧一致性来排除弧尾上的变量值。当没有更好的值能被删除时这个过程终止。 1) 考虑弧（q2，q1）：排除q2 = 1和q2 = 2，因为q1值（我们刚分配的值）和q2的这些值不一致。 2) 考虑弧（q3，q1）：排除q3 = 1和q3 = 3，因为q1的值和q3的这些值不一致。 3) 考虑弧（q4，q1）：排除q4 = 1和q4 = 4，因为q1的值和q4的这些值不一致。 在约束传播的这一阶段（不完全），我们有图11 - 5。在图随后的约束传播过程中，排除q3的所有值，因此看到q1 = 1时这个问题没有解法。在q1= 1的情况下不能再进行进一步的搜索，而是回溯到q1 = 2的情况。 下面，我们假定q1 = 2进行约束传播。开始几步如下： 1) 考虑弧（q2, q1）：排除q2 =1, q2= 2和q2= 3。 2) 考虑弧（q3, q1）：排除q3 = 2和q3 = 4。 3) 考虑弧（q4, q1）：排除q4 = 2。 11.3 启发式修补 存在另外的方法来为图搜索方法的解法设置一个问题。这个方法叫修补方法,因为它用一个提议的解法开始，这个解法一般不满足约束条件，修补这个解法直到它满足约束条件。 8皇后问题 例如在8皇后问题中，开始时8个皇后每列一个，行位置是任意的，也许是随机的。 我们通过移动一个皇后以违反更少的约束来修补有缺陷的解法。在所谓的最小冲突修补方法中，我们依次考虑每一列（从第一列开始），用进攻那个单元的皇后数（在那一列的外面）标识出那一列的每个单元。然后，将那一列的皇后移到有最小进攻皇后数的单元（最小冲突数）。这个算子产生一个后继节点，它由被提议算法的一个轻微修改所标识。 11.4 函数优化 在某些问题中，我们没有一个显式的目标条件，而可能只有建立在一些数据结构上的函数v，我们要找到一个结构，它有这个函数的最大（或最小）值。 如果把这些数据结构当做空间中的一些“点”，这个函数就能被作为空间上的一个“地形”。 一类方法就是遍历这个地形，在它当中寻找最高的点。由于不知道全局最大值，因此我们可能已找到了最大值时却不能肯定。 爬山方法 遍历一个空间的技术叫爬山方法,它从一个点遍历到“相邻”的有最高高度的点。当相邻节点没有比当前点更高的高度时，爬山方法终止—因此，它们可以得到一个局部最大值。 高地和山脊 如果一次移动不能使v的值改变，我们就说在搜索空间中移到了一个高地。对于爬山算法，在高地上无休止地徘徊是可能的，在这种情