智能控制-第三章_搜索推理技术教材教学课件.pptVIP

第三章 搜索推理技术;3.1 图搜索策略 ;图搜索的一般过程如下：;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 盲目搜索 ;1）把起始节点放到OPEN表中(如果该起始节点为一目标节点，则求得一个解答)。 2）如果OPEN是个空表，则没有解，失败退出；否则继续。 3）把第一个节点(节点n)从OPEN表移出，并把它放入CLOSED的扩展节点表中。 4）扩展节点n。如果没有后继节点，则转向上述第(2)步。 5）把n的所有后继节点放到OPEN表的末端，并提供从这些后继节点回到n的指针。 6）如果n的任一个后继节点是个目标节点，则找到一个解答，成功退出；否则转向第(2)步。;开始;3.2.2 深度优先搜索;深度优先搜索示意图;3.2.3 等代价搜索;开始;3.3 启发式搜索(heuristically search);估价函数——估算节点“希望”程度的度量 为获得某些节点“希望”的启发信息，提供一个评定侯选扩展节点的方法，以便确定哪个节点最有可能在通向目标的最佳路径上 。 f(n)——表示节点n的估价函数值 应用节点“希望”程度（估价函数值）重排OPEN表;开始; 例子;5;3.3.3 A*算法;(1) 把S放入OPEN表，记 f=h ，令CLOSED为空表。 (2) 重复下列过程，直至找到目标节点止。若OPEN为空表，则宣告失败。 (3) 选取OPEN表中未设置过的具有最小f值的节点为最佳节点BESTNODE，并 把它放入CLOSED表。 (4) 若BESTNODE为一目标节点，则成功求得一解。 (5) 若BESTNODE不是目标节点，则扩展之，产生后继节点SUCCSSOR。 (6) 对每个SUCCSSOR进行下列过程： (a) 建立从SUCCSSOR返回BESTNODE的指针。 (b) 计算g(SUC)=g(BES)+k(BES,SUC)。 (c) 如果SUCCSSOR∈OPEN，则称此节点为OLD，并把它添至BESTNODE 的后继节点表中。 (d) 比较新旧路径代价。如果g(SUC)＜g(OLD),则重新确定OLD的父辈节点 为BESTNODE，记下较小代价g(OLD),并修正f(OLD)值。 (e) 若至OLD节点的代价较低或一样，则停止扩展节点。 (f) 若SUCCSSOR不在OPEN表中，则看其是否在CLOSED表中。 (g) 若SUCCSSOR在CLOSED表中，则转向（c）。 (h) 若SUCCSSOR既不在OPEN表中，又不在CLOSED表中，则把它放入 OPEN表中，并添入BESTNODE后裔表，然后转向(7) (7) 计算 f 值。 (8) GO LOOP ;A*算法参考框图;3.4 消解原理(resolution principle); 例子:;(2) 减少否定符号的辖域 每个否定符号～最多只用到一个谓词符号上，并反复应用狄·摩根定律。 (3) 对变量标准化 对哑元（在任一量词辖域内，受该量词约束的变量）改名，以保证每个量词有其自己唯一的哑元。;(4) 消去存在量词 以Skolem函数代替存在量词内的约束变量，然后消去存在量词;(6) (?x)(?y)｛［～P(x)∨～P(y)∨P(f(x,y))］∧［～P(x)∨Q(x,g(x))］∧［～P(x)∨～P(g(x))］｝; (8) 消去连词符号∧ 用{A,B}代替(A∧B)，消去符号∧。最后得到一个有限集，其中每个公式是文字的析取。任一个只由文字的析取构成的合适公式叫做一个子句。 (9) 更换变量名称 可以更换变量符号的名称，使一个变量符号不出现在一个以上的子句中。;3.4.2 消解推理规则;(1) 假言推理;3.4.3 含有变量的消解式;父辈子句 消解式;3.4.4 消解反演求解过程;(1）规定原子公式： S(x,y) 表示 “x储蓄y” M(x) 表示 “