图搜索问题求解-实验报告

1、实验报告实验名称图搜索问题求解课程名称人工智能验证性、综合性实验报告应含的主要内容：一、实验目的及要求二、所用仪器、设备三、实验原理四、实验方法与步骤五、实验结果与数据处理六、讨论与结论（对实验现象、实验故障及处理方法、实验中存在的问题等进行分析和讨论，对实验的进一步想法或改进意见）七、所附实验输出的结果或数据设计性实验报告应含的主要内容：一、设计要求二、选择的方案三、所用仪器、设备四、实验方法与步骤五、实验结果与数据处理六、结论（依据“设计要求”）七、所附实验输出的结果或数据*封面左侧印痕处装订华北电力大学科技学院实验报告第页共页一、实验目的及要求熟悉PROLOG的运行环境，进行prolog

2、的基本编程练习。了解PROLOG语言中常量、变量的表示方法。PROLOG的简单程序结构，掌握分析问题、询问解释技巧；进行事实库、规则库的编写，并在此基础上进行简单的询问。具体实验课上相关内容，练习例1到例6的内容。图搜索问题求解。任选以下实际应用题目：爱因斯坦的超级问题、字谜问题、汉诺塔问题、八数码问题、八皇后问题、过河问题等，选两个。要求实验报告中包括：程序及其注释和说明、console表单中的程序运行结果。二、所用仪器、设备PC机和trineprolog编译软件三、实验原理PROLOG语言是一种以逻辑推理为基础的逻辑型程序设计语言，是一种陈述性语言而不是过程性语言。PROLOG语言能够自动

3、实现模式匹配和回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。四、实验方法与步骤1熟悉trineprolog开发环境，编写简单的prolog程序，学习prolog的语法，进行事实库、规则库的编写，并进行简单的询问。2按照所给题目选择汉诺塔与过河问题，熟悉其算法思想，编程并调试运行。3写实验报告五、求解的问题与程序求解问题：汉诺塔问题代码：hanoi(N)：-move(N,left,middle,right).move(1,A,C)：inform(A,C),!.move(N,A,B,C)：N1isN1,move(Nl,A,C,B),inform(A,C),move(Nl,B,A,C).i

4、nform(Locl,Loc2):nl,write(MoveadiskfromLocito-Loc2).求解问题：传教士与野人代码：get_integer(L,H,X)：-LH,!,fail.get_integer(L,H,L).get_integer(L,H,X)：-LlisL+l,get_integer(Ll,H,X).append(,X,X).append(A|X,Y,A|Z):-append(X,Y,Z).member(A,A|X).member(A,B|X):-member(A,X).del_move：-retract(move(X,Y),fail.del_move.del_stat

5、：-retract(inistatu(X),retract(desstatu(Y),!.del_stat.insert_move(N)：-insert_move0(N),insert_move1(N).insert_move0(0).insert_move0(N)：-asserta(move(N,0),asserta(move(0,N),N1isN-1,insert_move0(Nl).insert_movel(N)：-get_integer(1,N,X),get_integer(X,N,Y),X+Y=0,!.legal1(X,Y)：-Y=:=0,X=0,!.legal1(X,Y)：-X=Y,

6、X=0,Y=0.update(X,Y,0),Move,Statu1)：-(A,B)=X,(C,D)=Y,(E,F)=Move,C1isC+E,D1isD+F,A1isA-E,B1isB-F,Statu1=(A1,B1),(C1,D1),1).update(X,Y,1),Move,Statu1)：-(A,B)=X,(C,D)=Y,(E,F)=Move,C1isC-E,D1isD-F,A1isA+E,B1isB+F,Statu1=(A1,B1),(C1,D1),0).connect(Statu,Statu1)：-move(X,Y),update(Statu,(X,Y),Statu1),legal(

7、Statu1).findroad(X,X,L,L).%递归的边界条件。findroad(X,Y,L,Ll)：-%L为储存的路由表。connect(X,Z),not(member(Z,L),%X所连接的节点Z不在已经储存的路由表中。findroad(Z,Y,Z|L,L1).insert_statu(N)：-asserta(inistatu(N,N),(0,0),0),asserta(desstatu(0,0),(N,N),1).writelist().writelist(X|L)：-write(X),nl,writelist(L).widesolve(N,M)：-del_move,del_sta

8、t,insert_move(M),insert_statu(N),inistatu(X),desstatu(Y),!9findroad(L,X,Y),writelist(L),nl.deepsolve(N,M):-del_move,del_stat,insert_move(M),insert_statu(N),inistatu(X),desstatu(Y),!9findroad(Y,X,Y,L),writelist(L),nl.六、讨论与结论传教士与野人问题中的顺序输出问题。七、所附实验输出的结果或数据汉诺塔数据结果输出2nsqle叵1Edil11liEndofstreaniIKcve日dis

9、kzrcm-left-to-rightMcve三diskfrcm一middle-to-rightMcveqdiskfrcm-left一匸口-middleMcveqdiskfrcm-right-tc-leftMcve=diskfrcm-right-tc-middleMcve=diskErcm-left一匸口-middle|Mcveddiskfrcm一left-tD-rightIMcveddiskfrczn一middle-to-rightMcveddiskfrczn一middle-to-leftMcve三diskfrcm一right-tD-leftMcve三diskfrcm一middle-to-rightMcveqdiskfrcm-left一to-middleMcveqdiskfrcm-left-to-rightKcvebdiskfrcm-middle-to-rightJ|厂Currentinput:yesCurrentoutput:y逐