南邮自动化人工智能确定性推理课件.pptVIP

第三章搜索推理技术问题：知识表示有那些方法？知识表示的目的是什么？构建智能系统的关键是什么？3.1图搜索策略3.2盲目搜索3.3启发式搜索3.4消解原理3.6产生式系统3.7非单调推理3.8小结3.5规则演绎系统1

3.1图搜索策略?思考：状态空间法的基本特点？基本推理方法？其求解结果是什么？简单回顾实例：猴子与香蕉。2

3.1图搜索策略?用一个四元表列（W，x，Y，z）表示这个问题状态–W猴子的水平位置–x当猴子在箱子顶上时取x=1；否则取x=0–Y箱子的水平位置–z当猴子摘到香蕉时取z=1；否则取z=0?算符：–Goto（U），?（W，0，Y，z）goto（U）pushbox（V）climbboxgrasp（U，0，Y，z）（V，0，V，z）–Pushbox（V），?（W，0，W，z）–Climbbox，?（W，0，W，z）–Grasp，（W，1，W，z）?（c，1，c，0）（c，1，c，1）3

3.1图搜索策略（a，0，b，0）goto（U）goto（U）（U，0，b，0）U=b,pushbox（V）U=b，climbbox(b，1，b，0)pushbox（V）V≠c，climbboxgoto（U）（V，0，V，0）V=c，climbbox（c，1，c，0）（U，0，V，0）goto（U）（c，1，c，1）目标状态猴子和香蕉问题的状态空间图提问：人工搜索求解的解答？4

3.1图搜索策略猴子和香蕉问题自动演示：Ha!Ha!猴子思考：计算机的搜索策略？5

3.1图搜索策略?图搜索控制策略:一种在图中寻找路径的方法。?图中每个节点对应一个状态;?每条连线对应一个操作符。?图搜索过程（GraphSearch）6

3.1图搜索策略开始(1)把S放入OPEN表是(3)OPEN表为空表？失败否(4)把第一个节点(n)从OPEN表移至CLOSED表是(5)n为目标节点吗？成功否(6)把n的后继节点放入OPEN表的(7)末端，提供返回节点n的指针(1)(2)(7)(8)修改指针方向重排OPEN表OPENCLOSED(9)图3.1图搜索过程框图7宽度优先

3.1图搜索策略图搜索的一般过程如下：?1）建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN的未扩展节点表中。?2）建立一个叫做CLOSED的已扩展节点表，其初始为空表.?3）LOOP：若OPEN表是空表，则失败退出。?4）选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n?5）若n为一目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置)。8

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。9

图搜索策略?图搜索的实质是从问题空间中找出一张包含目标节点的子图。?图搜索的结果：1，一个完整的搜索图G。2一个解路径，用指针表示的解路径。?ProcedureGraphSearch?1G=G(G=s),open=(s)//s:初始状态00?2closed=()?3Loop:ifopen=()thenexit(fall)?4n←first(open)remove(n,open),add(n,closed)?5ifgoal(n)thenexit(success)?6{m}←expand(n),//m不含n的先辈节点jj?7open←add(open，m)//m不在open，closed中jj102024/3/16星期六

?标记m每个到n节点指针j?确定是否需要修改已在open，closed中的每个节点到n的指针?确定是否需要修改已在closed中的每个节点的后继节点原来的指针。8按照某种方式排列open表中的节点，goloop112024/3/16星期六

122024/3/16星期六

132024/3/16星期六

3.1图搜索策略?思考：–（1）结果路径的形成中，为什么其节点顺序是明确的？–（2）OPEN表中的节点具有什么特点？–（3）CLOSED表中的节点具有什么特点？–（4）对O