人工智能第2章(知识表示方法2-问题归约法).pptVIP

问题01.解法101.解法201.解法301.解法401.子问题101.子问题201.子问题301.变换01.分解01.问题归约法：从已知问题的描述出发，通过一系列变换或分解将问题最终变为一个子问题集合，这些子问题的解可以直接得到，从而解决初始问题问题归约法由三个部分组成：01一个初始问题描述02一套将问题变换或分解为子问题的操作符03一套本原问题（解可以直接得到的简单问题）描述042.2.1问题归约描述例子：梵塔问题（三个盘）其状态空间图每个节点代表柱子上圆盘的一种状态,共含有27个节点,其节点(状态)数、规则数多,求解较复杂.01对梵塔难题而言,问题表述和求解更简洁的问题归约法.02梵塔难题可采用前一讲的状态空间法来求解解决问题的思路：第一、要将所有盘从第一个柱子搬到第三个柱子，根据游戏规则，首先要搬最大的C盘到第三个柱子上初始配置目标配置图2.7梵塔难题解决问题的思路：第二、要能够搬C盘，条件是：第三个柱子是空的，A、B必须在第二个柱子上（这里没有考虑如何搬A、B盘）初始配置目标配置图2.7梵塔难题解决问题的思路：第三、搬C盘到第三个柱子，然后想办法将A、B盘搬到第三个柱子上初始配置目标配置图2.7梵塔难题将问题简化为下列三个子问题：移动园盘A和B到柱子2的双圆盘难题logo移动C盘到柱子3的单圆盘难题移动A和B到柱子3的双圆盘难题左到右表示盘从大到小，数字表示盘所在柱子号(111)?(113)(113)?(123)(111)?(122)(122)?(322)(322)?(333)(111)?(333)梵塔问题归约图(123)?(122)(322)?(321)(331)?(333)(321)?(331)本原问题这种图式结构,叫做与或图它能有效地说明如何由问题归约法求得问题的解答顺序解读与或图,按问题归约顺序将其本原问题及其解组合,即可得到原问题的解.对该梵塔问题,从与或图读得的解为如下操作顺序:梵塔问题操作顺序(111)?(113)(113)?(123)(123)?(122)(322)?(321)(331)?(333)(321)?(331)(122)?(322)问题归约的描述问题归约法的基本思路是：应用一系列算符将原始问题的描述变换或分解成为子问题的描述问题的描述可以采用各种数据结构，如表、树、矢量、数组等对于梵塔问题，问题及子问题描述：(111)?(333)P：本原问题集，其中的每一个问题是不用证明的或自然成立的，例如公理、已知事实等O：操作算子集，用于将问题化为子问题S：原始问题，即要解决的问题问题归约法可以用一个三元组（S,O,P）来表示，其中：求解问题B和C1求解问题D、E和F2求解H3例：有一个问题A，它可以通过三种途径来求解：2.2.2与或图表示引入中间节点与或好处：任何一个节点的后继节点要么全是“与节点”，要么全是“或节点”。与或除了起始节点外，所有节点只有一个父节点，此时称为与或树，前面的图2.11就是与或树所有节点都是或节点，这时就是一般的图，即状态空间法用到的图与或图的特例：问题归约法、与或图表示之间的对应关系：问题归约法原始问题本原问题操作符中间问题与或图表示起始节点终叶节点与、或关系的弧线非终叶节点人工智能ArtificialIntelligence(AI)第2章知识表示方法2.1状态空间法2.2问题归约法2.3谓词逻辑法01例：求积分02解法1：03解法2：解法3：2.2问题归约法*