人工智能实验报告 AI1_c_PB10210159.pdfVIP

实 验 报 告 评分： 自动化 系 10 级 学号 P 姓名 王云龙 日期2013-04-29 实验题目：状态空间启发式搜索 （修道士与野人问题） 实验目的：理解启发式搜索的概念，掌握状态空间搜索技术；使用线程解 决M-C （The Missionaries and Cannibals Problem）问题。 知识准备： (一)状态空间表示法：一种基于图的表示方法，即表示该问题的全部可能的状 态及其相互关系构成的图。表示为：Qs,F,Qg ，Qs 为初始状态的集合)； F 为操作的集合；Qg 为目标状态的集合。 (二)状态空间的一般搜索过程：首先把问题的初始状态( 即初始节点)作为当前 状态，选择适用的算符对其进行操作，生成一组子状态，然后检查目标状 态是否在其中出现。若出现，则搜索成功；若不成功，则按某种搜索策略 从已生成的状态中再选一个状态作为当前状态。重复以上过程，知道目标 状态出现货不再有可供操作的状态及算符时为止。搜索策略主要有两种： 启发式搜索和盲目搜索。 (三)启发式搜索：在搜索的过程中，应用问题解的有关的知识，动态地确定操 作规则，优先地扩展最有希望的节点，使搜索更快地朝着目标前进，从而 扩展的节点少，效率高。 问题分析：  人物：3 个修道士和3 个野人  道具：一条最多只能坐2 个人的小船  约束：任何时候在河的两岸上，修道士的人数不能少于野人的个数  目标：成功地从河的左岸到达河的右岸的方案 图示如下，其中 “△”表示修道士，“×”表示野人，“ ” 表示小船。 经过对问题的分析，我们可以用状态空间表示法对问题进行表示与求解：  状态的表示：m，c，b 其中 m 为左岸修道士的个数 c 为左岸野人的个数 b 为右岸船的个数（左：0 ；右1）  初始状态：3，3，0  目标状态：0，0，1  状态空间的特性： 在这个问题中，状态空间可能的状态总数为4 ×4 ×2 = 32 ，但由于要遵守安全约束， 只有20 个状态是合法的，如（1，3，1），（2，3，1）。 下面是几个不合法状态的例子： （1，0，1）， （1，2，1）， （2，3，1） 实 验 报 告 评分： 自动化 系 10 级 学号 P 姓名 王云龙 日期2013-04-29 另外,某些合法状态不可达，例如状态（0，0，1），（0，3，0）。 因此，这个问题总共只有16 个可达的合法状态。全部状态如下： 表 1 M-C 问题的全部可能状态(红色标注为合法且可达状态) 状 态 m, c, b 状 态 m, c, b 状 态 m, c, b 状 态 m, c, b S0 3,3,1 S8 1,3,1 S16 3,3,0 S24 1,3,0 S1 3,2,1 S9 1,2,1 S17 3,2,0 S25 1,2,0 S2 3,1,1 S10 1,1,1 S18 3,1,0 S26 1,1,0 S3 3,0,1 S11 1,0,1 S19 3,0,0 S27 1,0,0 S4 2,3,1 S12 0,3,1 S20 2,3,0 S28 0,3,0 S5 2,2,1 S13 0,2,1 S21 2,2,0 S29 0,2,0 S6