第二讲知识表示3状态空间问题归约表示法.pptVIP

2020/3/21 31 令初始状态为 (a,0,b,0) 。这时， goto(U) 是唯一适用 的操作，并导致下一状态 (U,0,b,0) 。现在有 3 个适 用的操作，即 goto(U) ， pushbox(V) 和 climbbox( 若 U=b) 。 把所有适用的操作继续应用于每个状态，我们就 能够得到状态空间图。从图不难看出，把该初始 状态变换为目标状态的操作序列为 ｛ goto(b),pushbox(c),climbbox,grasp ｝ 2020/3/21 32 2020/3/21 33 §问题归约法 问题归约 (problem reduction) 是另一种问题描述与 求解方法。 先把问题分解为子问题和子 - 子问题，然后解决较小的 问题。 对该问题的某个具体子集的解答就意味着对原始问题 的一个解答。 2020/3/21 34 1. 问题归约描述 问题归约表示的 组成部分 ： 一个初始问题描述； 一套把问题变换为子问题的操作符； 一套本原问题描述。 其中的每一个问题是不证明的，自然成立的，如公理、已知的 实事等（本原问题集） 问题归约的 实质 ：从目标 ( 要解决的问题 ) 出发 逆向 推理 ，建立子问题以及子问题的子问题，直至最 后把初始问题归约为一个平凡的本原问题集合。 2020/3/21 35 梵塔难题 有 3 个柱子 (1 ， 2 和 3) 和 3 个不同尺寸的圆盘（ A ， B 和 C ）。 在每个圆盘的中心有一个孔，所以圆盘可以堆叠在柱子上。 最初， 3 个圆盘都堆在柱子 1 上：最大的圆盘 C 在底部，最 小的圆盘 A 在顶部。要求把所有圆盘都移到柱子 3 上，每次 只许移动一个，而且只能先搬动柱子顶部的圆盘，还不许 把尺寸较大的圆盘堆放在尺寸较小的圆盘上。这个问题的 初始配置和目标配置如图所示。 2020/3/21 36 解题过程： 将原始问题归约为一个较简单问题集合，要把所有圆 盘都移至柱子 3 ，我们必须首先把圆盘 C 移至柱子 3 ；而 且在移动圆盘 C 至柱子 3 之前，要求柱子 3 必须是空的。 只有在移开圆盘 A 和 B 之后，才能移动圆盘 C ；而且圆 盘 A 和 B 最好不要移至柱子 3 就不能把圆盘 C 移至柱子 3 。 因此，首先应该把圆盘 A 和 B 移到柱子 2 上。然后才能够 进行关键的一步，把圆盘 C 从柱子 1 移至柱子 3 ，并继续 解决难题的其余部分。 将原始难题归约（简化）为下列子难题：移动圆盘 A 和 B 至柱子 2 的双圆盘难题，如图 (a) 所示。 2020/3/21 37 把原始难题归约（简化）为以下三个子难题： 移动圆盘 A 和 B 至柱子 2 的双圆盘难题；如图 (a) 所示 移动圆盘 C 至柱子 3 的单圆盘难题 ；如图 (b) 所示 移动圆盘 A 和 B 至柱子 3 双圆盘难题；如图 (c) 所示 2020/3/21 38 2020/3/21 39 梵塔问题归约图：子问题 2 可作为本原问题考虑，因为它 的解只包含一步移动。应用一系列相似的推理，子问题 1 和子问题 3 也可被归约为本原问题，如图 2.10 所示。这种图 式结构，叫做 与或图 (AND/OR graph) 。 它能有效地说明如何由问题归约法求得问题的解答。 2020/3/21 40 把一个问题描述变换为一个归约或后继问题描述 的集合，这是由问题归约算符进行的。 变换所得 所有后继问题的解就意味着父辈问题的一个解 。 所有问题归约的 目的 是最终产生具有明显解答的 本原问题。这些问题可能是能够由状态空间搜索 中走动一步来解决的问题，或者可能是别的具有 已知解答的更复杂的问题。 2020/3/21 41 2. 与或图表示 一般地，我们用一个类似图的结构来表示把问题 归约为后继问题的替换集合，这种结构图叫做 问 题归约图 ，或叫 与或图 。如下图所示 : 2020/3/21 42 一些关于 与或图的术语 ： 父节点 、 子（后继）节点 、 弧线 、 起始节点 。 终叶节点 ：对应于原问题的本原节点。 或节点 ：只要解决某个问题就可解决其父辈问题的节点 集合，如（ M ， N ， H ）。 与节点 ：只有解决所有子问题，才能解决其父辈问题的 节点集合，如（ B,C) 和（ D,E,F ）各个结点之间用一端 小圆弧连接标记。 与或图 ：由 与节点 及 或节点 组成的结构图。 2020/3/21 43 可解节点 的一般定义 (1) 终叶节点是可解节点 ( 因为它们与本原问题相关连 ) 。 (2) 如果某个非终叶节点含有 或后继节点 ，那么只要当 其后继节点至少有一个是可解的时，此非终叶节点才 是可解的。 (3) 如果某个非终叶节点含有 与后继节点 ，那么只要当 其后继节点全部为可解时，