智能控制-三搜索推理技术.pptVIP

中南大学 智能系统与智能软件研究所 第三章 搜索推理技术 3.1 图搜索策略 图搜索控制策略一种在图中寻找路径的方法。图中每个节点对应一个状态，每条连线对应一个操作符。这些节点和连线又分别由产生式系统的数据库和规则来标记。求得把一个数据库变换为另一数据库的规则序列问题就等价于求得图中的一条路径问题。 图搜索过程 图搜索的一般过程如下： 1）建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN 的未扩展节点表中。 2）建立一个叫做CLOSED的已扩展节点表，其初始为空表。 3）LOOP：若OPEN表是空表，则失败退出。 4）选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n。 5）若n为一目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置)。 6）扩展节点n，同时生成不是n的祖先的那些后继节点的集合M。把M的这些成员作为n的后继节点添入图G中。 7）对那些未曾在G中出现过的M成员设置一个通向n的指针。把M的这些成员加进OPEN表。对已经在OPEN或CLOSED表上的每一个M成员，确定是否需更改通到n的指针方向。对已在CLOSED表上的每个M成员，确定是否需要更改图G中通向它的每个后裔节点的指针方向。 8）按某一任意方式或按某个探试值，重排OPEN表。 9）GO LOOP。 3.2 盲目搜索 盲目搜索又叫做无信息搜索，一般只适用于求解比较简单的问题。 特点：不需重排OPEN表 种类：宽度优先、深度优先、等代价搜索等。 1）把起始节点放到OPEN表中(如果该起始节点为一目标节点，则求得一个解答)。 2）如果OPEN是个空表，则没有解，失败退出；否则继续。 3）把第一个节点(节点n)从OPEN表移出，并把它放入CLOSED的扩展节点表中。 4）扩展节点n。如果没有后继节点，则转向上述第(2)步。 5）把n的所有后继节点放到OPEN表的末端，并提供从这些后继节点回到n的指针。 6）如果n的任一个后继节点是个目标节点，则找到一个解答，成功退出；否则转向第(2)步。 例子八数码难题（8-puzzle problem） 3.2.2 深度优先搜索 深度优先搜索示意图 3.2.3 等代价搜索 3.3 启发式搜索(heuristically search) 特点：重排OPEN表，选择最有希望的节点加以扩展 种类：有序搜索、A*算法等 估价函数——估算节点“希望”程度的度量 为获得某些节点“希望”的启发信息，提供一个评定侯选扩展节点的方法，以便确定哪个节点最有可能在通向目标的最佳路径上 。 f(n)——表示节点n的估价函数值 应用节点“希望”程度（估价函数值）重排OPEN表 例子 3.3.3 A*算法 估价函数的定义：对节点n定义f*(n)=g*(n)+h*(n) ,表示从S开始约束通过节点n的一条最佳路径的代价。希望估价函数f 定义为：f(n)=g(n)+h(n)  —— g是g*的估计 ，h是h*的估计 A*算法的定义：定义1 在GRAPHSEARCH过程中，如果第8步的重排OPEN表是依据f(x)=g(x)+h(x)进行的，则称该过程为A算法。 定义2 在A算法中，如果对所有的x存在h(x)≤h*(x),则称h(x)为h*(x)的下界，它表示某种偏于保守的估计。 定义3 采用h*(x)的下界h(x)为启发函数的A算法，称为A*算法。当h=0时，A*算法就变为有序搜索算法。 A*算法参考框图 3.4 消解原理(resolution principle) 回顾： 原子公式（atomic formulas）:由若干谓词符号和项组成。 文字—一个原子公式及其否定。 子句—由文字的析取组成的合适公式。 消解—对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。 例子: 将下列谓词演算公式化为一个子句集 (?x)｛P(x)?｛(?y)［P(y)?P(f(x,y))］∧ ～(?y)［Q(x,y)?P(y)］｝｝ (2) 减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。 (3) 对变量标准化 对哑元（在任一量词辖域内，受该量词约束的变量）改名，以保证每个量词有其自己唯一的哑元。 (4) 消去存在量词 以Skolem函数代替存在量词内的约束变量，然后消去存在量词 把母式化为合取范式 任何母式都可写成由一些谓词公式和(或)谓词公式的否定的析取的有限集组成的合取。可反复应用分配律，把任一母式化成合取范式。