《人工智能（八）》青少年教育丛书.pdfVIP

下载 第8章 盲 目搜 索 8.1 用公式表示状态空间 很多实际问题的搜索空间是如此之大，以致它们不能通过显式图来表示。本章需要上一章 所讲到的基本搜索过程的详细细节。首先，我们非常关心如何用公式来表示这些搜索问题；第 二，我们必须找到隐式表示大的搜索图的方法；第三，我们需要用高效的算法来对这些大图进 行搜索。 在一些规划的问题中，如堆积木，想像代表各种环境状态的数据结构和改变它们的动作是 不难的，然而，找到可管理状态空间图的表示是很难的。为了做到这一点，必须仔细分析问题 ——考虑对称性，忽略不相关的细节，发现适当的抽象等。不幸的是，建立一个搜索问题的任 务仍然是一个需要人工参与的大问题。 除了a g e n t堆积木等问题外，数码问题也常被用来演示如何在状态空间中生成动作序列。 考虑到多样化，将在本章和下一章用到这种问题。一个典型的例子是 1 5数码问题，它由放在一 个4 ×4 的方阵中的1 5个数码构成，其中的一个单元是空的， 它的周边单元中的数码可以移到该单元中。此问题的任务 是找到一个数码移动序列使初始的无序数码转变为一些特 殊的排列。8数码问题是一个简化版本，在一个 3 ×3 的方阵 图8-1 8数码问题的开始和目标状态 中有8个数码。假定该问题的目标是把数码从开始状态移动到目标状态，如图 8 - 1所示。 在这个问题中，一个明显的图标状态描述是一个 3 ×3 的方阵，方阵的每个单元中包含 1 ~ 8 之间的数字或一个代表空格的符号。目标状态是图 8 - 1 中右边的方阵。状态间的移动就是把一 个数码移到空的单元中。一般地讲，在构造一个问题的状态空间时我们有一些代表性的选择。 在8数码问题中，我们可以想像有8 ×4个不同的移动，它们是： 1上移、1下移、1左移、1右移、 2上移、……，等等（当然在一个给定的状态中，并不是所有的这些移动都是可能的）。一个更 精练的公式只有4个移动，即：空格左移、空格上移、空格右移和空格下移。一个给定的开始 状态和一组可能的移动隐式地定义了从开始状态可到达的一个状态图。在 8数码表示的状态空 间中节点数是9 ！= 3 6 2 8 8 0个（8数码状态空间刚好可以分成两个独立的图；一个图中的数码不 能从其他图中的状态到达）。 8.2 隐式状态空间图的组成 从开始状态可以到达的状态空间图部分是通过开始状态描述和可能在任何状态下采用的动 作结果描述来隐式表示的，因此，从理论上讲，可以把一个图的隐式表示转换为显式表示。为 此，可以产生开始节点的所有后继节点（通过那个节点应用所有可能的算子），然后再生成所 有后继节点的所有后继节点，等等。对那些太大以至不能显式表示的图，搜索过程只需要生成 要求的状态空间，以发现到达目标的路径。过程在发现了一个可以接受的目标路径时终止。 有三个基本部分参与表示隐式状态空间图： 第 8章 盲 目搜 索计计 79 下载 1) 一个标识开始节点的描述。这个描述是对环境初始状态建模的一些数据结构。 2) 把代表环境状态的状态描述转换成代表动作后状态描述的转换函数。这些函数也常被叫 做算子。在a g e n t 问题中，它们是动作结果的模型。当一个算子应用到一个节点时，它产生该 节点的一个后继节点。 3) 目标状态，可以是状态描述中的一个真假值函数，或者是和目标状态一致的状态描述的 真实实例列表。 我们将学习两类主要的搜索过程。其中之一，我们没有指定问题的任何推理信息，例如要 搜索这一部分而不是另一部分，就像到目前为止的只要发现一条到目标的路径即可。这种过程 被称为是盲目的。另一种，我们指定了要解决问题的信息以帮助集中搜索。这个过程叫启发式 (h e u r i s t i c)搜索 。本章将讨论盲目搜索过程，下一章再讨论启发式搜索过程。 8.3 广度优先搜索 盲目搜索过程只把算子应用到节点，它没有使用问题领域的任何特殊知识（除了关于什么 目标节点 开始节点 图8-2 8 数码问题的广度优先