图搜索策略[3].ppt

第 3 章 图搜索与问题求解 推理与搜索 图搜索技术是人工智能的核心技术之一。 任一搜索过程也都是一个推理过程。 隐式图的搜索过程是一种利用局部性知识构造全局性答案的过程。 在各种搜索过程中，人工智能最感兴趣的是那些具有很强选择性的启发式方法，即那些利用很局部的状态空间可以有效地找到问题的解的方法。 机器学习等很多过程都是在假设空间中搜索目标的过程。 第3章 图搜索与问题求解 3.1 状态图知识表示 3.2 状态图搜索 3.3 与或图知识表示 3.4 与或图搜索 3.5 博弈树搜索 第3章 图搜索与问题求解 3.1 状态图知识表示 3.2 状态图搜索 3.3 与或图知识表示 3.4 与或图搜索 3.5 博弈树搜索 3.1 状态图知识表示 3.1.1状态、操作和状态空间 例3.1走迷宫 3.1.1 状态、操作和状态空间 3.1.1 状态、操作和状态空间 可通过状态图求解的问题举例 智力问题 梵塔问题 旅行商问题 八皇后问题 农夫过河问题 。。。 实际问题 路径规划 定理证明 演绎推理 机器人行动规划 。。。 3.1.1 状态、操作和状态空间 1.状态 （State） 为了描述某一类事物中各个不同事物之间的差异而引入的最少的一组变量q的有序组合。 表示成矢量形式： 状态在状态图中表示为节点。 3.1.1 状态、操作和状态空间 2.状态转换规则（操作 operator） 引起状态中某些分量发生改变，从而使一个具体状态变化到另一个具体状态的作用。 它可以是一个机械性的步骤、过程、规则或算子。 操作描述了状态之间的关系。 状态转换规则在状态图中表示为边。 在程序中状态转换规则可用数据对、条件语句、规则、函数、过程等表示。 3.1.1 状态、操作和状态空间 3.状态空间（State Space） 问题的状态空间是一个表示该问题全部的可能状态及相互关系的图。 一般用赋值有向图表示，包含 S：问题的可能有的初始状态的集合； F：操作的集合； G：目标状态的集合。 状态空间常记为三元序列S，F，G 3.1.1 状态、操作和状态空间 4.状态空间中问题求解 在状态空间表示法中，问题求解过程转化为在图中寻找从初始状态Qs出发到达目标状态Qg的路径问题，也就是寻找操作序列的问题。 状态空间的解为三元组 Qs, O, Qg Qs ：某个初始状态 Qg ：某个目标状态 O：把变换成的有限的操作序列 状态转换图 3.1.1 状态、操作和状态空间 3.1.1 状态、操作和状态空间 补充例1 三枚钱币，能否从下面状态翻动三次后出现全正或全反状态。 3.1.1 状态、操作和状态空间 3.1.1 状态、操作和状态空间 状态空间图 3.1.2 修道士和野人问题的状态空间 3.1.2 修道士和野人问题的状态空间 解：先建立问题的状态空间。问题的状态可以用一个三元数组来描述： S＝(m, c, b) m：左岸的修道士数 c：左岸的野人数 b：左岸的船数 右岸的状态不必标出，因为： 右岸的修道士数 m’= 3－m 右岸的野人数 c’= 3－c 右岸的船数 b’= 1-b 3.1.2 修道士和野人问题的状态空间 3.1.2 修道士和野人问题的状态空间 3.1.2 修道士和野人问题的状态空间 3.1.3 梵塔问题的状态空间 例3.9 二阶梵塔问题。 一号杆有A、B两个金盘，A小于B。要求将AB移至三号杆，每次只可移动一个盘子，任何时刻B不能在A上。 3.1.3 梵塔问题的状态空间 3.1.3 梵塔问题的状态空间 转换规则：A（i，j）表示金盘A从第i号杆移到j号杆 B（i，j）表示金盘B从第i号杆移到j号杆 A（1，2），A（1，3）， A（2，1） A（2，3），A（3，1）， A（3，2） B（1，2），B（1，3）， B（2，1） B（2，3），B（3，1）， B（3，2） 初始状态（1，1），目标状态（3，3） 梵塔问题用状态图表示为： {(1,1)},{A(1,2),…，B(3,2)},{(3,3)} 3.1.3 梵塔问题的状态空间 n（n≥3）阶梵塔问题 假设金片Pk从小片到大片按下标k顺序编号，即k=1，2，3，…，n，n阶梵塔问题状态空间可用矢量表示为： (P1, P2, P3,…, Pk,…, Pn) Pk表示第k个金片穿在编号为Pk的宝石针上， Pk={1，2，3} 初始状态 S0=(1,1,1,…,1,…,1