第3章[搜索推理技术3-与或树搜索].pptVIP

人 工 智 能 Artificial Intelligence (AI);第3章 搜索原理 ;3.4 与或树搜索（补充） ;1、终叶节点是可解的（因为它们与本原问题相关联的） 2、如果某一个非终叶节点含有“或”后继节点，那么，只要有一个后继节点是可解的，这一个非终叶节点就是可解的 3、如果某一个非终叶节点含有“与”后继节点，那么，只要所有后继节点是可解的，这一个非终叶节点才是可解的;1、没有后裔的非终叶节点是不可解节点 2、如果某一个非终叶节点含有“或”后继节点，那么，只要当所有的后继节点都不可解时，这一个非终叶节点才是不可解的 3、如果某一个非终叶节点含有“与”后继节点，那么，只要有一个后继节点是不可解的，这一个非终叶节点就是不可解的;根据可解与不可解节点的递归定义，用递归的方式作用于某一个与或图，以标出所有的可解节点与不可解节点;若初始节点被标志为可解节点，算法成功结束（有解） 若起始节点被标志为不可解节点，则搜索失败结束（无解）;与或图的解图： 由最少的可解节点所构成的子图，这些节点能够使问题的起始节点是可解的;与或树：除了起始节点，每一个节点只有一个父节点 与或图：除了起始节点，每一个节点允许有多个父节点 两者的关系：与或树是与或图的特例;约定：当一个节点生成后继节点时，它们是搜索过程中没有产生过的节点，并且以后也不会再生成它们。（每一个节点只允许生成一次）;3.4.1 宽度优先搜索 ;1、起始节点 S 送 OPEN 表 2、若 S 为叶节点，则成功结束，否则，继续 3、取出 OPEN 表的第一个节点（记作 n ），并送 到CLOSED 表;4、扩展节点 n ，生成其全部后继节点，送OPEN表末端，并设置指向 n 的指针;5、若 n 无后继节点，标志 n 为不可解，并转9（10、11）；若后继节点中有叶节点，则标志这些叶节点为可解节点，并继续（6、7、8）；否则转3;6、实行可解标志过程 7、若起始节点S标志为可解，则找到解而结束，否则继续 8、从OPEN表中删去含有可解先辈节点的节点，并转3;9、实行不可解标志过程 10、若起始节点S标志为不可解，则失败而结束，否则继续 11、从OPEN表中删去含有不可解先辈节点的节点 12、转3;;例;算法的运行过程;3、从OPEN表中取出节点1，并送到CLOSED表 4、扩展节点1，生成后继节点2、3，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点2，并送到CLOSED表 4、扩展节点2，生成后继节点4、5，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点3，并送到CLOSED表 4、扩展节点3，生成后继节点6、7，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点4，并送到CLOSED表 4、扩展节点4，生成后继节点8、9，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点5，并送到CLOSED表 4、扩展节点5，生成后继节点B、C，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点6，并送到CLOSED表 4、扩展节点6，生成后继节点t1、10，并送到OPEN表的末端 5、有叶节点 6、实现可解过程（无法判断节点6是否可解） 7、无法判断起始节点是否可解 8、OPEN表中无节点可以删除（转到3）;OPEN= { 7, 8, 9, B, C, t1, 10 } CLOSED= { 1 , 2, 3, 4, 5, 6 };3、从OPEN表中取出节点7，并送到CLOSED表 4、扩展节点7，生成后继节点11、12，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点8，并送到CLOSED表 4、扩展节点8，生成后继节点A，并送到OPEN表的末端 5、无叶节点，转到3步;3、从OPEN表中取出节点9，并送到CLOSED表 4、扩展节点9，生成后继节点 t2、t3，并送到OPEN表的末端 5、有叶节点 6、实现可解标志过程（可以判断节点9、4、2可解） 7、无判断起始节点1可解 8、从OPEN中删除含有可解先辈节点的节点;OPEN= { B, C, t1, 10, 11, 12, A, t2, t3 } CLOSED= { 1, 2, 3, 4, 5, 6, 7, 8, 9 };X;3、从OPEN表中取出节点10，并送到CLOSED表 4、扩展节点10，生成后继节点 t4、13，并送到OPEN表的末端 5、有叶节点 6、实现可解标志过程（可以判断节点10、6、3可解） 7、可以判断起始节点1可解。算法结束;OPEN= { 11, 12, A, t2, t3, t4, 13 } CLOSED= { 1, 2, 3, 4, 5, 6