人工智能与知识工程02_知识表示_12状态空间问题归约表示法幻灯片.pptVIP

* * 1. 问题归约描述 问题归约表示的组成部分： 一个初始问题描述； 一套把问题变换为子问题的操作符； 一套本原问题描述。 其中的每一个问题是不证明的，自然成立的，如公理、已知的实事等（本原问题集） 问题归约的实质：从目标(要解决的问题)出发逆向推理，建立子问题以及子问题的子问题，直至最后把初始问题归约为一个平凡的本原问题集合。 * * 梵塔难题 有3个柱子(1，2和3)和3个不同尺寸的圆盘（A，B和C）。在每个圆盘的中心有一个孔，所以圆盘可以堆叠在柱子上。最初，3个圆盘都堆在柱子1上：最大的圆盘C在底部，最小的圆盘A在顶部。要求把所有圆盘都移到柱子3上，每次只许移动一个，而且只能先搬动柱子顶部的圆盘，还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上。这个问题的初始配置和目标配置如图所示。 * * 解题过程：　　将原始问题归约为一个较简单问题集合，要把所有圆盘都移至柱子3，我们必须首先把圆盘C移至柱子3；而且在移动圆盘C至柱子3之前，要求柱子3必须是空的。只有在移开圆盘A和B之后，才能移动圆盘C；而且圆盘A和B最好不要移至柱子3就不能把圆盘C移至柱子3。因此，首先应该把圆盘A和B移到柱子2上。然后才能够进行关键的一步，把圆盘C从柱子1移至柱子3，并继续解决难题的其余部分。　　将原始难题归约（简化）为下列子难题：移动圆盘A和B至柱子2的双圆盘难题，如图(a)所示。 * * 把原始难题归约（简化）为以下三个子难题： 移动圆盘A和B至柱子2的双圆盘难题；如图(a)所示 移动圆盘C至柱子3的单圆盘难题 ；如图(b)所示 移动圆盘A和B至柱子3双圆盘难题；如图(c)所示 * * * * 梵塔问题归约图：子问题2可作为本原问题考虑，因为它的解只包含一步移动。应用一系列相似的推理，子问题1和子问题3也可被归约为本原问题，如图2.10所示。这种图式结构，叫做与或图(AND/OR graph)。　　它能有效地说明如何由问题归约法求得问题的解答。 * * 把一个问题描述变换为一个归约或后继问题描述的集合，这是由问题归约算符进行的。变换所得所有后继问题的解就意味着父辈问题的一个解。 所有问题归约的目的是最终产生具有明显解答的本原问题。这些问题可能是能够由状态空间搜索中走动一步来解决的问题，或者可能是别的具有已知解答的更复杂的问题。 * * 2. 与或图表示 一般地，我们用一个类似图的结构来表示把问题归约为后继问题的替换集合，这种结构图叫做问题归约图，或叫与或图。如下图所示: * * 一些关于与或图的术语： 父节点、子（后继）节点、弧线、起始节点。 终叶节点：对应于原问题的本原节点。 或节点：只要解决某个问题就可解决其父辈问题的节点集合，如（M，N，H）。 与节点：只有解决所有子问题，才能解决其父辈问题的节点集合，如（B,C)和（D,E,F）各个结点之间用一端小圆弧连接标记。 与或图：由与节点及或节点组成的结构图。按照这个定义图2.14的左图不是与或图，右图是 * * 可解节点的一般定义 (1) 终叶节点是可解节点(因为它们与本原问题相关连)。 (2) 如果某个非终叶节点含有或后继节点，那么只要当其后继节点至少有一个是可解的时，此非终叶节点才是可解的。 (3) 如果某个非终叶节点含有与后继节点，那么只要当其后继节点全部为可解时，此非终叶节点才是可解的。 * * 不可解节点的一般定义: (1) 没有后裔的非终叶节点为不可解节点。 (2) 如果某个非终叶节点含有或后继节点，那么只有当其全部后裔为不可解时，此非终叶节点才是不可解的。 (3) 如果某个非终叶节点含有与后继节点，那么只要当其后裔至少有一个为不可解时，此非终叶节点才是不可解的。 * * 图2.15 中，终叶节点用字母t表示，有解节点用小原点表示，而解图用粗线分支表示。 * * 与或图构成规则 　　 (1) 与或图中的每个节点代表一个要解决的单一问题或问题集合。图中所含起始节点对应于原始问题。　　(2) 对应于本原问题的节点，叫做终叶节点，它没有后裔。　　(3) 对于把算符应用于问题A的每种可能情况，都把问题变换为一个子问题集合；有向弧线自A 指向后继节点表示所求得的子问题集合。　　(4) 一般对于代表两个或两个以上子问题集合的每个节点，有向弧线从此节点指向此子问题集合中的各个节点。由于只有当集合中所有的项都有解时，这个子问题的集合才能获得解答，所以这些子问题节点叫做与节点。　　(5) 在特殊情况下，当只有一个算符可应用于问题A，而且这个算符产生具有一个以上子问题的某个集合时，由上述规则3和规则4所产生的图可以得到简化。 因此，代表子问题集合的中间或节点可以被略去，如右图所示。 * * 3. 问题归约机