人工智能-状态空间法-第二章主讲.pptVIP

人工智能;目 录;目 录;2.1状态空间法（State Space Representation）;2.1.1 问题状态描述;2. 状态空间表示概念详释;例:三数码难题（3 puzzle problem）;1.图的基本概念????图是一个包含节点(不一定是有限的节点)和节点间弧线的集合。若图中每条弧线均标有方向,则称这种图为有向图(directed graph)。 2.代价(cost)???是给各弧线指定数值以表示加在相应操作符上的代价。 3.图的显式说明???是指各节点及其具有代价的弧线由一张表明确给出。 4.图的隐式说明:???是指各节点及其具有代价的弧线不能由一张表明确给出。;有向图 代价 图的显示说明 图的隐示说明; 2.1.3状态空间表示举例;猴子和香蕉问题自动演示：;解题过程;pushbox（V）猴子把箱子推到水平位置V，即有 （W，0，W，z） pushbox（V） （V，0，V，z）;grasp猴子摘到香蕉，即有 （c，1，c，0） grasp （c，1，c，1） ;目标状态;2.2??问题规约法表示;子问题1;2.2 问题规约法;解题过程（3个圆盘问题）; 梵塔问题归约图：子问题2可作为本原问题考虑， 因为它的解只包含一步移动。 应用一系列相似的推理，子问题1和子问题3也可被归约为本原问题，如下图所示。 这种图式结构，叫做与或图(AND/OR graph)。它能有效地说明如何由问题归约法求得问题的解答。 ;2.2.2与或图表示;2.2 问题规约法;2.一些关于与或图的术语; 终叶节点：对应于原问题的本原节点。　　或节点：只要解决某个问题就可解决其父辈问题的节点集合，如（M，N，H）。　　与节点：只有解决所有子问题，才能解决其父辈问题的节点集合，如（B,C)和（D,E,F）各个结点之间用一端小圆弧连接标记。 ;不可解节点的一般定义 没有后裔的非终叶节点为不可解节点。 全部后裔为不可解的非终叶节点且含有或后继节点，此非终叶节点才是不可解的。 后裔至少有一个为不可解的非终叶节点且含有与后继节点，此非终叶节点才是不可解的。 与或图构成规则;2.2 问题规约法;3.与或图构图规则??? ?(1)?与或图中的每个节点代表一个要解决的单一问题或问题集合。图中起始节点对应原始问题。 ???? (2)? 对应于本原问题的节点,叫做终叶节点。 ???? (3)?有向弧线自A指向后继节点,表示所求得的子问题集合。 ???? (4)? 一般对于代表两个或两个以上子问题集合的每个节点,有向弧线从此节点指向集合中的各个节点。 ???? (5) ?在特殊情况下,当只有一个算符可应用于问题A,而且这个算符产生具有一个以上子问题的某个集合时,由上述规则(3)和规则(4)所产生的图可以得到简化。;2.3??谓词逻辑表示;3.几个有关定义??? ?1.用连词∧把几个公式连接起来而构成的公式叫做合取,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合适公式。 例：LIKE(I，MUSIC)∧LIKE(I，PAINTING)(我喜爱音乐和绘画。); 3.用连词=连接两个公式所构成的公式叫做蕴涵。称蕴涵的左式为前项,右式为后项。如果前项和后项都是合适公式,那么蕴涵也是合适公式 “=”表示“如果-那么”的语句。 IF　　 = 　　THEN 　　　　　 前项 　 后项 (左式)　 (右式) 例：RUNS(LIUHUA，FASTEST)TWINS(LIUHUA，CHAMPION) (如果刘华跑得最快，那么他取得冠军);?前面具有符号～的公式叫做否定。一个合适公式的否定也是合适公式。 例：～INROOM(ROBOT，r2)(机器人不在2号房间内。) ????如果一个合适公式中某个变量是经过量化的,则称这个变量为约束变量,否则为自由变量。称所有变量都是受约束的合适公式为句子。 ;2.3 谓词逻辑法;合适公式（WFF，well-formed formulas） 合适公式的递归定义 合适公式的性质 合适公式的真值 等价（Equivalence); 合适公式(WFF ,well-formed formulas)的递归定义： 　　(1) 原子谓词公式是合适公式。 　　(2) 若A为合适公式，则～A也是一个合