人工智能实验报告.docVIP

华北电力大学 实 验 报 告 | | 实验名称 图搜索问题求解 课程名称 人工智能及应用 | | 专业班级： 学生姓名： 学 号： 成 绩： 指导教师： 李继荣 实验日期： 2014.5 一、实验目的及要求 熟悉PROLOG语言的特点和编程环境掌握编写与调试简单的PROLOG程序的利用编程实现图搜索技术的方法掌握图搜索技术的基本原理和常用算法PROLOG编程编程计算机TRINC－PROLOG及高级语言程序设计环境 农夫、狼、羊、菜问题求解，采用宽度优先搜索算法，寻找一条安全的路径，农夫把三物品从河的一岸送到对岸，设计状态state（x，y，z，w）表示当前四物所处在的状态，按照算法寻找出最后的路径。 四皇后问题解决Path（）则是对于在两坐标判断是否存在其中的路径然后对其蕴含式的解析。 当path的x与y参数相同是则退出实现算法 move(squre(Row,Column),squre(New_Row,New_Column)):- Row=6,New_Row is Row+2,Column=7,New_Column is Column+1. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=6,New_Row is Row+2,Column=2,New_Column is Column-1. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=3,New_Row is Row-2,Column=7,New_Column is Column+1. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=3,New_Row is Row-2,Column=2,New_Column is Column-1. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=7,New_Row is Row+1,Column=6,New_Column is Column+2. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=7,New_Row is Row+1,Column=3,New_Column is Column-2. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=2,New_Row is Row-1,Column=6,New_Column is Column+2. move(squre(Row,Column),squre(New_Row,New_Column)):- Row=2,New_Row is Row-1,Column=3,New_Column is Column-2. been(squre(0,0)). path(X,X). path(X,Y):-move(X,Z),not(been(Z)),dynamic(knight_tour,been/1),asserta(knight_tour,been(Z)),path(Z,Y). 农夫狼羊菜过河问题 具体实现的算法为： move(state(X,X,G,C),state(Y,Y,G,C)):-opp(X,Y). move(state(X,W,X,C),state(Y,W,Y,C)):-opp(X,Y). move(state(X,W,G,X),state(Y,W,G,Y)):-opp(X,Y). move(state(X,W,G,C),state(Y,W,G,C)):-opp(X,Y). unsafe(state(X,Y,Y,C)):-opp(X,Y). unsafe(state(X,W,Y,Y)):-opp(X,Y). opp(e,w). opp(w,e). go(Start,Goal):-empty_queue(Empty_open_queue), enqueue([Start,nil],Empty_open_queue,Open_queue), empty_set(Closed_set), path(Open_queue,Closed_set,Goal). path(Open_queue,_,_):-empty_queue(Open_queue)