资源描述：
《人工智能的迷宫问题》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、1.题目：给出下面的迷宫图，找出走出迷宫的路径。2．算符与状态空间迷宫算符：左右上下状态空间：3．求解的状态空间图4．给出各类表5．程序代码traceDOMAINSstate=symbolDATABASE-mydatabaseopen(state,integer)closed(integer,state,integer)res(state)mark(state)fail_PREDICATESsolvesearch(state,state)resultsearchingstep4(integer,state)step56(in
2、teger,state)equal(state,state)repeatresulting(integer)rule(state,state)road(state,state)GOALsolve.CLAUSESsolve:-search(s0,sg),result.search(Begin,End):-retractall(_,mydatabase),assert(closed(0,Begin,0)),assert(open(Begin,0)),assert(mark(End)),repeat,searching,!.res
3、ult:-not(fail_),retract(closed(0,_,0)),closed(M,_,_),resulting(M),!.result:-beep,write("sorrydon'tfindaroad!").searching:-open(State,Pointer),retract(open(State,Pointer)),closed(No,_,_),No2=No+1,asserta(closed(No2,State,Pointer)),!,step4(No2,State).searching:-asser
4、t(fail_).step4(_,State):-mark(End),equal(State,End).step4(No3,State):-step56(No3,State),!,fail.step56(No4,StateX):-rule(StateX,StateY),not(open(StateY,_)),not(closed(_,StateY,_)),assertz(open(StateY,No4)),fail.step56(_,_):-!.equal(X,X).repeat.repeat:-repeat.resulti
5、ng(N):-closed(N,X,M),asserta(res(X)),resulting(M).resulting(_):-res(X),write(X),nl,fail.resulting(_):-!.rule(X,Y):-road(X,Y).road(s0,s7).road(s7,s8).road(s7,s4).road(s8,s7).road(s8,s9).road(s8,s5).road(s4,s5).road(s4,s1).road(s4,s7).road(s9,s8).road(s9,s6).road(s5,
6、s4).road(s5,s6).road(s5,s2).road(s5,s8).road(s1,s2).road(s1,s4).road(s6,s5).road(s6,sg).road(s6,s3).road(s6,s9).road(s2,s1).road(s2,s3).road(s2,s5).road(sg,s6).road(s3,s2).road(s3,s6).6．运行结果
