人工智能实验知识表格示法.docxVIP

实验二 知识表示方法 1．实验目的 （1）了解知识表示相关技术； （2）掌握问题规约法或者状态空间法的分析方法。 2．实验内容（2个实验内容可以选择1个实现） （1）梵塔问题实验。熟悉和掌握问题规约法的原理、实质和规约过程；理解规约图的表示方法； （2）状态空间法实验。从前有一条河，河的左岸有m个传教士、m个野人和一艘最多可乘n人的小船。约定左岸，右岸和船上或者没有传教士，或者野人数量少于传教士，否则野人会把传教士吃掉。搜索一条可使所有的野人和传教士安全渡到右岸的方案。 3．实验报告要求 （1）简述实验原理及方法，并请给出程序设计流程图。 本次试验选择传教士过河问题，以状态空间法实现。 解答步骤如下： 设置状态变量并确定值域 M为传教士人数，C 为野人人数，B为船数，要求M=C且M+C = 3，L表示左岸，R表示右岸。 初始状态 目标状态 L R L R M 3 0 M 0 3 C 3 0 C 0 3 B 1 0 B 0 1 确定状态组，分别列出初始状态集和目标状态集 用三元组来表示：（ML , CL , BL）（均为左岸状态） 其中,BL ∈{ 0 , 1} ：(3 , 3 , 1) ： (0 , 0 , 0) 初始状态表示全部成员在河的的左岸； 目标状态表示全部成员从河的左岸全部渡河完毕。 定义并确定规则集合 仍然以河的左岸为基点来考虑，把船从左岸划向右岸定义为Pij操作。其中，第一下标i表示船载的传教士数，第二下标j表示船载的食人者数；同理，从右岸将船划回左岸称之为Qij操作，下标的定义同前。则共有10种操作，操作集为 F={P01，P10，P11，P02，P20，Q01，Q10，Q11，Q02，Q20} P10 if ( ML ,CL , BL=1 ) then ( ML–1 , CL , BL –1 ) P01 if ( ML ,CL , BL=1 ) then ( ML , CL–1 , BL –1 ) P11 if ( ML ,CL , BL=1 ) then ( ML–1 , CL–1 , BL –1 ) P20 if ( ML ,CL , BL=1 ) then ( ML–2 , CL , BL –1 ) P02 if ( ML ,CL , BL=1 ) then ( ML , CL–2 , BL –1 ) Q10 if ( ML ,CL , BL=0 ) then ( ML+1 , CL , BL+1 ) Q01 if ( ML ,CL , BL=0 ) then ( ML , CL+1 , BL +1 ) Q11 if ( ML ,CL , BL=0 ) then ( ML+1 , CL +1, BL +1 ) Q20 if ( ML ,CL , BL=0 ) then ( ML+2 , CL +2, BL +1 ) Q02 if ( ML ,CL , BL=0 ) then ( ML , CL +2, BL +1 ) 当状态数量不是很大时，画出合理???状态空间图 图1 状态空间图 箭头旁边所标的数字表示了Ｐ或Ｑ操作的下标，即分别表示船载的传教士数和食人者数。 接下来进行树的遍历，根据规则由根（初始状态）扩展出整颗树，检测每个结点的“可扩展标记”，为“-1”的即目标结点。由目标结点上溯出路径。 （2）源程序清单： //关键代码 #include iostream #include vector #include list using namespace std; typedef struct { int m;//表示传教士 int c;// 表示野人 int b;//船状态 }MCNode; listMCNode fringe;//相当于队列 vectorMCNode closed;//closed表 //判断是否是目标结点 bool IsGoal(MCNode tNode) { if(tNode.m==0tNode.c==0tNode.b==0) return true; else return false; } //判断是否是合法状态 bool IsLegal(MCNode tNode) { if(tNode.m=0tNode.m=3tNode.c=0tNode.c=3) { if((tNode.m==tNode.c)||(tNode.m==3)||(tNode.m==0)) return true; else return false; } else return false;