智能控制-第三章 搜索推理技术.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〕GOLOOP。;开始;3.2盲目搜索;1〕把起始节点放到OPEN表中(如果该起始节点为一目标节点，那么求得一个解答)。

2〕如果OPEN是个空表，那么没有解，失败退出；否那么继续。

3〕把第一个节点(节点n)从OPEN表移出，并把它放入CLOSED的扩展节点表中。

4〕扩展节点n。如果没有后继节点，那么转向上述第(2)步。

5〕把n的所有后继节点放到OPEN表的末端，并提供从这些后继节点回到n的指针。

6〕如果n的任一个后继节点是个目标节点，那么找到一个解答，成功退出；否那么转向第(2)步。;开始;例子

八数码难题〔8-puzzleproblem〕;1;深度优先搜索;深度优先搜索示意图;等代价搜索;开始;3.3启发式搜索(heuristicallysearch);估价函数——估算节点“希望〞程度的度量

为获得某些节点“希望〞的启发信息，提供一个评定侯选扩展节点的方法，以便确定哪个节点最有可能在通向目标的最正确路径上。

f(n)——表示节点n的估价函数值

应用节点“希望〞程度〔估价函数值〕重排OPEN表;开始;例子;5;3.3.3A*算法;(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)GOLOOP;A*算法参考框图;3.4消解原理(resolutionprinciple);例子:;(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)更换变量名称

可以更换变量符号的名称，使一个变量符号不出现在一个以上的子句中。;消解推理规那么;(1)假言推理;含有变量的消解式;父辈子句 消解式;消解反演求解过程;(1〕规定原子公式：

S(x,y)表示“x储蓄y〞