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

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

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

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

4、e(N1,A,C,B),inform(A,C),move(N1,B,A,C).inform(Loc1, Loc2):-nl,write(Move a disk from -Loc1- to -Loc2).求解问题：传教士与野人代码：get_integer(L,H,X):-LH,!,fail.get_integer(L,H,L). get_integer(L,H,X):-L1 is L+1,get_integer(L1,H,X).append(, X, X).append(A|X, Y, A|Z) :- append(X,Y,Z).member(A,A|X). member(A,B|X) :-

5、member(A,X).del_move:-retract(move(X,Y),fail.del_move.del_stat:-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),N1 is N-1,insert_move0(N1).insert_move1(N):-get_integer(1,N,X),get_i

6、nteger(X,N,Y),X+Y=0,!.legal1(X,Y):-Y=:=0,X=0,!.legal1(X,Y):-X=Y,X=0,Y=0.update(X,Y,0),Move,Statu1):-(A,B)=X,(C,D)=Y,(E,F)=Move,C1 is C+E,D1 is D+F,A1 is A-E,B1 is B-F,Statu1=(A1,B1),(C1,D1),1).update(X,Y,1),Move,Statu1):-(A,B)=X,(C,D)=Y,(E,F)=Move,C1 is C-E,D1 is D-F,A1 is A+E,B1 is B+F,Statu1=(A1,B

7、1),(C1,D1),0).connect(Statu,Statu1):-move(X,Y),update(Statu,(X,Y),Statu1),legal(Statu1).findroad(X,X,L,L).% 递归的边界条件。findroad(X,Y,L,L1):- % 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_stat,insert_move(M),insert_statu(N),inistatu(X),desstatu(Y),!,findroad(L,X,Y),writelist(L),nl.deepsolve(N,M):-del_move,del_stat,insert_move(M),insert_statu(N),ini