第讲问题归约法.ppt

第三讲 知识表示方法 --问题归约法 Problem Reduction Method -- One of Knowledge Represent Methods 目录(1/1) 目 录 引言 问题归约描述 梵塔难题 问题归约描述 与或图表示 问题归约机理 关键算符 差别 1 引言(1/3) 1 引言 问题归约(reduction)是另一种问题描述与求解方法. 所谓归约,即降阶. 简单地说,问题归约是通过系列变换将问题变换为一个可以直接求解的本原问题的集合,从而解决了初始问题. 这里,所谓本原问题就是不可或不需再通过变换化简的“原子”问题， 本原问题的解可以直接得到或通过一个黑箱操作得到。 1 引言(2/3) 采用问题归约表示可由下列3部分组成: 一个初始问题描述; 将问题变换为子问题的操作集; 一系列本原问题描述. 从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的本原问题集合. 这就是问题归约的实质. 1 引言(3/3) 这里值得指出的是: 问题归约与前面状态空间描述不同的是,主要其在问题空间中展开对问题的描述和求解. 状态空间法只是研究对问题所陈述的事实\状态如何表示,以及如何搜索状态空间求解; 而问题归约法则是对问题求解中如何将问题逐步分解为一系列子问题\本原问题的集