人工智能及应用_ch5_1-精品·公开课件.ppt

搜索方法 状态空间与搜索图 盲目搜索 搜索 搜索是人工智能中的一个基本问题，是推理不可分割的一部分，尼尔逊将其列为人工智能研究的四个核心问题之一。 搜索问题研究对象属于结构不良或非结构化的问题，一般很难获得问题的全部信息，没有计算方法直接获得问题的解 搜索 一般图搜索 基于问题规约的与或图搜索 状态空间法 状态空间表示法的基本思想是将待求解的问题通过状态和操作表示出来： 状态是表示求解问题过程中每一步问题状况的数据结构。 操作也称为运算符，是将问题从一种状态变换为另一种状态的手段，它包括操作和操作的条件。 状态空间法 状态空间是状态和操作的总称，一般表示为 （S，O） 其中S-问题求解过程中所有可能的合法状态构 成的集合； O-所有有效操作算子集合，及操作的前 提条件。 状态空间法 如果我们将问题的状态集合看作一个图中的结点，将操作集合看作是结点间的有向连线，则当我们用状态空间表示出一个问题后，就可以用一张图表示，此图称为状态空间图，因此状态空间搜索有时也称为图搜索。 状态空间表示问题 求解问题的表达一般采用如下的三元组： W=(SP,I,G) 其中SP-(S，O)问题的状态空间； I-表示问题的初始状态集合； G-表示问题的目标状态集合。 状态空间表示示例 例：二阶梵塔问题。设有三根针，编号分别是1号、2号和3号。在初始时，1号针上穿有A、B两个金片，A比B小，A位于B上面。要求把这两个金片全部移到另一根针上，规定每次只能移动一个金片，任何时刻都不能使大片位于小片的上面。 状态空间表示示例 解：设Sk=( SkA,SkB)表示问题的状态，其中SkA表示金片A所在的针号，SkB表示金片B所在的针号。全部可能的状态有如下9种： S0=( 1,1)， S1=( 1,2)， S2=( 1,3) S3=( 2,1)， S4=( 2,2)， S5=( 2,3) S6=( 3,1)， S7=( 3,2)， S8=( 3,3) 系统的状态集合 S={S0,S1,S2,S3,S4,S5,S6,S7,S8} 状态空间表示示例 使用A(i,j)和B(i,j)分别表示将金片A从第i号针移到第j号针和将金片B从第i号针移到第j号针。问题共有12种操作； 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) 操作集合O如上。 状态空间表示示例 根据9种状态和12种操作可以构成问题的状态空间图。 状态空间表示示例 二阶梵塔问题的状态空间表示为： 初始状态集：I={S0} 目标状态集：G={S4 ， S8} 状态空间为：SP={S，O} 状态空间表示示例 例：修道士和野人问题。设在河的左岸有N个修道士和N个野人以及一条船修道士想利用这条船把所有人运到河对岸，但受到以下条件的约束：修道士和野人都会划船，但每次最多载M个人；任何时刻野人的数目都不能超过修道士的人数。请规划一个渡河的方案。 状态空间表示示例 解：为了方便，假设N=3,M=2 问题状态用一个三元组表示 S=(m,c,b) 其中m-表示和左岸修道士的人数。 c-表示和左岸野人的人数。 b-表示和左岸船的数目。 状态空间表示示例 状态数目=4X4X2=32 S={ S0=(3,3,1), S1=(3,2,1), S2=(3,1,1), S3=(2,2,1) S4=(1,1,1), S5=(0,3,1), S6=(0,2,1), S7=(0,1,1) S8=(3,2,0), S9=(3,1,0), S10=(3,0,0),S11=(2,2,0) S12=(1,1,0),S13=(0,2,0),S14=(0,1,0),S15=(0,0,0) } 状态空间表示示例 操作考虑到限制条件有如下10种： 船由左岸到右岸和船由右岸到左岸两种方式； 船上的人的组合有01,10,02,20,11五种方式； 操作集合为 O={R01,R10,R02,R20,R11,L01,L10,L02,L20,L11} 状态空间表示示例 修道士和野人问题的状态空间表示为： 初始状态集：I={S0} 目标状态集：G={S15 } 状态空间为：SP={S,O} 状态空间表示示例 修道士和野人问题的状态空间图如下： 状态空间的盲目搜索 状态空间搜索的基本思想就是通过搜索引擎寻找一个操作算子的调用序列，使问题从初始状态变迁到目标状态之一，而状态变迁序列及相应的操作