资源描述：
《人工智能实验二图搜索.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、人工智能技术基础图搜索问题求解实验报告..一、实验目的加强对图搜索技术的理解，初步掌握图搜索基本编程方法,并能运用图搜索技术解决一些应用问题。二、实验要求（1）可使用第3章中的状态图搜索通用程序，这时只需编写规则集程序；也可以用PROLOG语言或其他语言另行编写。（2）程序运行时，应能在屏幕上显示程序运行结果。三、实验内容或题目实验题目：迷宫求解实验内容：利用状态图搜索方法求解下列迷宫图四、实验步骤与源程序实验步骤：(1)理解题目；(2)对状态进行编码；..(1)转换规则集；(2)编写程序；(3)调试运行；源程序：/*状态图搜索通
2、用程序*/DOMAINSstate=symbol%例如:state=symbolDATABASE-mydatabaseopen(state,integer)%用动态数据库实现OPEN表closed(integer,state,integer)%和CLOSED表res(state)open1(state,integer)min(state,integer)mark(state)fail_PREDICATESsolveroad(state,state)search(state,state)resultsearchingstep4(in
3、teger,state)step56(integer,state)equal(state,state)repeatresulting(integer)rule(state,state)GOALsolve.CLAUSESsolve:-search(s,e),result./*例如solve:-search(st(0,1,2,3,4,5,6,7,8),st(0,2,8,3,4,5,6,7,1)),result.*/search(Begin,End):-%搜索..retractall(_,mydatabase),assert(close
4、d(0,Begin,0)),assert(open(Begin,0)),%步1将初始节点放入OPEN表assert(mark(End)),repeat,searching,!.result:-%输出解not(fail_),retract(closed(0,_,0)),closed(M,_,_),resulting(M),!.result:-%输出解not(fail_),retract(closed(0,_,0)),closed(M,_,_),resulting(M),!.result:-beep,write("sorrydon't
5、findaroad!").searching:-open(State,Pointer),%步2若OPEN表为空,则失败,退出retract(open(State,Pointer)),%步3取出OPEN表中第一个节点,给其closed(No,_,_),No2=No+1,%编号asserta(closed(No2,State,Pointer)),%放入CLOSED表!,step4(No2,State).searching:-assert(fail_).%步4若当前节点为目标节点,则成功step4(_,State):-mark(End)
6、,equal(State,End).%转步2step4(No,State):-step56(No,State),!,fail.step56(No,StateX):-%步5若当前节点不可扩展,转步2rule(StateX,StateY),%步6扩展当前节点X得Ynot(open(StateY,_)),%考查Y是否已在OPEN表中not(closed(_,StateY,_)),%考查Y是否已在CLOSED表中assertz(open(StateY,No)),%可改变搜索策略fail.step56(_,_):-!.equal(X,X).
7、repeat.repeat:-repeat.resulting(N):-closed(N,X,M),asserta(res(X)),resulting(M).resulting(_):-res(X),write(X),write("t"),fail.resulting(_):-!.rule(X,Y):-road(X,Y)...road(s,s11).road(s11,s12).road(s12,s11).road(s12,s13).road(s13,s12).road(s13,s14).road(s14,s13).road(s1
8、1,s21).road(s21,s11).road(s12,s22).road(s15,s25).road(s25,s15).road(s23,s24).road(s24,s23).road(s24,s25).road(s25,s24).road(
