南邮自动化人工智能3确定性推理.pptx

第三章 搜索推理技术问题：知识表示有那些方法？知识表示的目的是什么？构建智能系统的关键是什么？3.1 图搜索策略3.2 盲目搜索3.3 启发式搜索3.4 消解原理3.5 规则演绎系统3.6 产生式系统3.7非单调推理3.8小结3.1 图搜索策略 思考：状态空间法的基本特点？基本推理方法？其求解结果是什么？简单回顾实例：猴子与香蕉。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）（U，0，Y，z） Pushbox（V）， （W，0，W，z）pushbox（V）（V，0，V，z）Climbbox，（W，0，W，z）climbbox（W，1，W，z）Grasp，（c，1，c，0）grasp（c，1，c，1）3.1 图搜索策略（a，0，b，0）goto（U）goto（U）（U，0，b，0）U=b, pushbox（V）U=b，climbboxpushbox（V）V≠c，climbbox(b，1，b，0)（V，0，V，0）V=c，climbboxgoto（U）（c，1，c，0）（U，0，V，0）goto（U）（c，1，c，1）猴子和香蕉问题的状态空间图目标状态提问：人工搜索求解的解答？3.1 图搜索策略 香蕉 箱子Ha!Ha!猴子香蕉箱子猴子猴子和香蕉问题自动演示：思考：计算机的搜索策略？3.1 图搜索策略图搜索控制策略:一种在图中寻找路径的方法。图中每个节点对应一个状态;每条连线对应一个操作符。图搜索过程（GraphSearch）3.1 图搜索策略开始把S放入OPEN表(1)是OPEN表为空表？(3)失败否(4)把第一个节点(n)从OPEN表移至CLOSED表是n为目标节点吗？成功(5)否(6)把n的后继节点放入OPEN表的末端，提供返回节点n的指针(7)(2)(1)修改指针方向(7)OPENCLOSED(8)重排OPEN表(9)图3.1 图搜索过程框图宽度优先3.1 图搜索策略图搜索的一般过程如下：1）建立一个只含有起始节点S的搜索图G，把S放到一个叫做OPEN 的未扩展节点表中。2）建立一个叫做CLOSED的已扩展节点表，其初始为空表.3）LOOP：若OPEN表是空表，则失败退出。4）选择OPEN表上的第一个节点，把它从OPEN表移出并放进CLOSED表中。称此节点为节点n5）若n为一目标节点，则有解并成功退出，此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置)。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。图搜索策略图搜索的实质是从问题空间中找出一张包含目标节点的子图。图搜索的结果：1，一个完整的搜索图G。2一个解路径，用指针表示的解路径。Procedure Graph Search1 G=G0(G0=s),open=(s) //s:初始状态2 closed=() 3Loop:if open=() then exit(fall)4 n←first(open) remove(n,open), add(n,closed)5 if goal(n) then exit(success)6{mj} ←expand(n), //mj不含n的先辈节点7 open←add(open，mj) // mj不在open，closed中标记mj每个到n节点指针确定是否需要修改已在open，closed中的每个节点到n的指针确定是否需要修改已在closed中的每个节点的后继节点原来的指针。8 按照某种方式排列open表中的节点，go loop3.1 图搜索策略思考：（1）结果路径的形成中，为什么其节点顺序是明确的？（2）OPEN表中的节点具有什么特点？（3）CLOSED表中的节点具有什么特点？（4）对OPEN表节点的排序有何意义？提出：盲目搜索与启发式搜索。3.2.1 宽度优先搜索（Breadth-first） 定义： 以接近起始节点的程度逐层扩展节点的搜索方法。 特点：一种高代价搜索，但若有解存在，则必能找到它。3.2 盲目搜索 盲目搜索又叫做无信息搜索，一般只适用于求解比较简单