农夫过河问题状态空间表示
数据结构课程设计报告（农夫过河）
数据结构课程设计报告（农夫过河）第一篇：数据结构课程设计报告(农夫过河)目录引言...................................................2 问题描述..............................................3 基本要求 (3)2.1为农夫过河问题抽象数据模型体会数据模型在问题求解中的重要性；........3 2.2设计一个算法求解农夫过河问题，并输出过河方案；......................3 3 概要设计 (3)3.1 数据结构的设计。
....................................................3 3.1.1农夫过河问题的模型化.............................................3 3.1.2 算法的设计 (4)4、运行与测试 (6)5、总结与心得..........................................7 附录...................................................7 参考文献. (13)引言所谓农夫过河问题是指农夫带一只狼、一只羊和一棵白菜在河南岸, 需要安全运到北岸。
一条小船只能容下他和一件物品, 只有农夫能撑船。
问农夫怎么能安全过河, 当然狼吃羊, 羊吃白菜, 农夫不能将这两种或三种物品单独放在河的一侧, 因为没有农夫的照看, 狼就要吃羊, 而羊可能要吃白菜? 这类问题的实质是系统的状态问题, 要寻求的是从初始状态经一系列的安全状态到达系统的终止状态的一条路径。
1 问题描述一个农夫带一只狼、一棵白菜和一只羊要从一条河的南岸过到北岸，农夫每次只能带一样东西过河，但是任意时刻如果农夫不在场时，狼要吃羊、羊要吃白菜，请为农夫设计过河方案。
基本要求2.1为农夫过河问题抽象数据模型体会数据模型在问题求解中的重要性；2.2设计一个算法求解农夫过河问题，并输出过河方案；概要设计3.1 数据结构的设计。
实习六-农夫过河问题
农夫过河问题一、需求分析1.问题描述：一个农夫带着一只狼、一只羊和一棵白菜，身处河的南岸。
他要把这些东西全部运到北岸。
他面前只有一条小船，船只能容下他和一件物品，另外只有农夫才能撑船。
如果农夫在场，则狼不能吃羊，羊不能吃白菜，否则狼会吃羊，羊会吃白菜，所以农夫不能留下羊和白菜自己离开，也不能留下狼和羊自己离开，而狼不吃白菜。
2.基本要求:（1）利用图的存储结构（2）图的搜索算法（3）求出农夫将所有的东西运过河的所有方案二、设计1. 设计思想（1）存储结构以邻接矩阵存储合理状态，用一个一维数组保存所有的方案；（2）主要算法基本思想人，狼，羊和白菜共有2的四次方16种状态（河岸的状态可由人的状态确定），去掉不允许出现的6种状态，10个状态对应矩阵的10个结点值，然后根据状态的连续改变初始化矩阵，接着就用递归的深度优先法搜索所有的路径，即求出过河的方案。
main2. 设计表示（1）函数调用关系图main→Judge→Initiate→DFS→Push→StackPop→Top→GetTop→printfpath→Ch（2）函数接口规格说明int Judge(int a,int b) //将16种状态通过a，b输入，去掉不允许的6种int GetTop(Path *path,int *m) //出栈int Push(Path *path,int m) //入栈int Top(Path *path ,int *m) //读出栈顶值void Initiate(AdjMGraph *G,int n)//邻接矩阵顶点数为n的邻接矩阵G的建立int DFS(AdjMGraph *G,Path *path,int x,int t) 图G中搜索的起始点为X，从t点开始搜索与x关联的顶点，搜索过的点入栈path。
int printfpath(Path *path) //复制出出栈path中所有值，用FA【】保存void Printf(AdjMGraph *G)//辅助：邻接矩阵输出，用于观察搜索的过程。
数据结构实验-农夫过河问题
农夫过河问题一、实验目的掌握广度优先搜索策略，并用队列求解农夫过河问题二、实验内容问题描述：一农夫带着一只狼，一只羊和一颗白菜，身处河的南岸，他要把这些东西全部运到北岸，遗憾的是他只有一只小船，小船只能容下他和一件物品。
这里只能是农夫来撑船，同时因为狼吃羊、羊吃白菜、所以农夫不能留下羊和狼或羊和白菜在河的一边，而自己离开；好在狼属肉食动物，不吃白菜。
农夫怎么才能把所有的东西安全运过河呢？实验要求如下：（1）设计物品位置的表示方法和安全判断算法；（2）设计队列的存储结构并实现队列的基本操作（建立空队列、判空、入队、出队、取对头元素），也可以使用STL中的队列进行代码的编写；（3）采用广度优先策略设计可行的过河算法；（4）输出要求：按照顺序输出一种可行的过河方案；提示：可以使用STL中的队列进行代码编写。
程序运行结果：二进制表示：1111011011100010101100011001，0000三、农夫过河算法流程⏹Step1：初始状态0000入队⏹Step2：当队列不空且没有到达结束状态1111时，循环以下操作：⏹队头状态出队⏹按照农夫一个人走、农夫分别带上三个物品走，循环以下操作：⏹农夫和物品如果在同一岸，则计算新的状态⏹如果新状态是安全的并且是没有处理过的，则更新path[ ]，并将新状态入队⏹当状态为1111时，逆向输出path[ ]数组附录一：STL中队列的使用注：队列，可直接用标准模板库（STL）中的队列。
需要#include<queue>STL中的queue，里面的一些成员函数如下（具体可以查找msdn，搜索queue class）：front：Returns a reference to the first element at the front of the queue.pop：Removes an element from the front of the queuepush：Adds an element to the back of the queueempty：Tests if the queue is empty三、实验代码FarmerRiver.H#ifndef FARMERRIVER_H#define FARMERRIVER_Hint FarmerOnRight(int status); //农夫，在北岸返回1，否则返回0int WorfOnRight(int status); //狼int CabbageOnRight(int status); //白菜int GoatOnRight(int status); //羊int IsSafe(int status); //判断状态是否安全，安全返回1，否则返回0void FarmerRiver();#endifSeqQueue.h#ifndef SEQQUEUE_H#define SEQQUEUE_Htypedef int DataType;struct Queue{int Max;int f;int r;DataType *elem;};typedef struct Queue *SeqQueue;SeqQueue SetNullQueue_seq(int m);int IsNullQueue_seq(SeqQueue squeue);void EnQueue_seq(SeqQueue squeue, DataType x);void DeQueue_seq(SeqQueue);DataType FrontQueue_seq(SeqQueue);#endifFarmerRiver.c#include <stdio.h>#include <stdlib.h>#include "SeqQueue.h"#include "FarmerRiver.h"int FarmerOnRight(int status) //判断当前状态下农夫是否在北岸{return (0!=(status & 0x08));}int WorfOnRight(int status){return (0!=(status & 0x04));}int CabbageOnRight(int status){return (0!=(status & 0x02));}int GoatOnRight(int status){return (0!=(status & 0x01));}int IsSafe(int status) //判断当前状态是否安全{if ((GoatOnRight(status)==CabbageOnRight(status)) &&(GoatOnRight(status)!=FarmerOnRight(status)))return (0); //羊吃白菜if ((GoatOnRight(status)==WorfOnRight(status)) && (GoatOnRight(status)!=FarmerOnRight(status))) return 0; //狼吃羊return 1; //其他状态是安全的}void FarmerRiver(){int i, movers, nowstatus, newstatus;int status[16]; //用于记录已考虑的状态路径SeqQueue moveTo;moveTo = SetNullQueue_seq(20); //创建空列队EnQueue_seq(moveTo, 0x00); //初始状态时所有物品在北岸，初始状态入队for (i=0; i<16; i++) //数组status初始化为-1{status[i] = -1;}status[0] = 0;//队列非空且没有到达结束状态while (!IsNullQueue_seq(moveTo) && (status[15]==-1)){nowstatus = FrontQueue_seq(moveTo); //取队头DeQueue_seq(moveTo);for (movers=1; movers<=8; movers<<=1)//考虑各种物品在同一侧if ((0!=(nowstatus & 0x08)) == (0!=(nowstatus & movers)))//农夫与移动的物品在同一侧{newstatus = nowstatus ^ (0x08 | movers); //计算新状态//如果新状态是安全的且之前没有出现过if (IsSafe(newstatus)&&(status[newstatus] == -1)){status[newstatus] = nowstatus; //记录新状态EnQueue_seq(moveTo, newstatus); //新状态入队}}}//输出经过的状态路径if (status[15]!=-1){printf("The reverse path is: \n");for (nowstatus=15; nowstatus>=0; nowstatus=status[nowstatus]){printf("The nowstatus is: %d\n", nowstatus);if (nowstatus == 0)return;}}elseprintf("No solution.\n");}Sequeue.c#include <stdio.h>#include <stdlib.h>#include "SeqQueue.h"SeqQueue SetNullQueue_seq(int m){SeqQueue squeue;squeue = (SeqQueue)malloc(sizeof(struct Queue));if (squeue==NULL){printf("Alloc failure\n");return NULL;}squeue->elem = (int *)malloc(sizeof(DataType) * m);if (squeue->elem!=NULL){squeue->Max = m;squeue->f = 0;squeue->r = 0;return squeue;}else free(squeue);}int IsNullQueue_seq(SeqQueue squeue){return (squeue->f==squeue->r);}void EnQueue_seq(SeqQueue squeue, DataType x) //入队{if ((squeue->r+1) % squeue->Max==squeue->f) //是否满printf("It is FULL Queue!");else{squeue->elem[squeue->r] = x;squeue->r = (squeue->r+1) % (squeue->Max);}}void DeQueue_seq(SeqQueue squeue) //出队{if (IsNullQueue_seq(squeue))printf("It is empty queue!\n");elsesqueue->f = (squeue->f+1) % (squeue->Max); }DataType FrontQueue_seq(SeqQueue squeue) //求队列元素{if (squeue->f==squeue->r)printf("It is empty queue!\n");elsereturn (squeue->elem[squeue->f]);}main.c#include <stdio.h>#include <stdlib.h>#include "FarmerRiver.h"int main(void){FarmerRiver();return 0;}实验结果：四、实验总结。
农夫过河
农夫过河问题:一个农夫带着一只狼、一只羊和一棵白菜，身处河的南岸。
他要把这些东西全部运到北岸。
问题是他只有一条船，船小到只能容下他和一件物品，当然，船只有农夫能撑。
另外，因为狼能吃羊，而羊爱吃白菜，所以农夫不能留下羊和狼或者羊和白菜单独在河的一边，自己离开。
好在狼属于食肉动物，它不吃白菜。
请问农夫该采取什么方案，才能将所有的东西安全运过河呢？一、算法与数据结构的设计：要模拟农夫过河的问题，用四位二进制数顺序分别表示农夫、狼、白菜和羊的位置。
用0表示农夫和或者某种东西在河的南岸，1表示在河的北岸。
则问题的初始状态是整数（其二进制表示为0000）；而问题的终结状态是整数15（其二进制表示为1111）。
用整数location表示用上述方法描述的状态，函数返回值为真（1）表示所考察的人或物在河的北岸，否则在南岸。
二、算法的精化：用一个整数队列moveTo，把搜索过程中每一步所有可能达到的状态都保存起来。
队列中每一个元素表示一个可以安全到达的中间状态。
另外，用一个整数数组route，用于记录已被访问过的各个状态，以及已被发现的能够到达这些状态的前驱状态。
route数组只需要使用16个元素。
Route的每一个元素初始化值均设置为-1，每当在队列加入一个新状态时，就把route中以该状态坐下标的元素的值改为达到这个状态的前一状态的下标值。
所以，数组的第i个元素，不仅记录状态i是否已被访问过，同时对已被访问过的状态，还保存了这个状态的前驱状态下标。
算法结束后，可以利用route数组元素的值生成一个正确的状态路径。
三、程序的实现：程序代码如下:#include<stdio.h>#include<malloc.h>#define MAXNUM 20typedef int DataType;struct SeqQueue /* 顺序队列类型定义*/{int f, r;DataType q[MAXNUM];};typedef struct SeqQueue *PSeqQueue; /* 顺序队列类型的指针类型*/PSeqQueue createEmptyQueue_seq(void){PSeqQueue paqu = (PSeqQueue)malloc(sizeof(struct SeqQueue));if (paqu == NULL)printf("Out of space!\n");elsepaqu->f = paqu->r = 0;return (paqu);}int isEmptyQueue_seq( PSeqQueue paqu ) /*判断paqu所指是否是空队列*/ {return paqu->f == paqu->r;}void enQueue_seq(PSeqQueue paqu, DataType x) /* 在队列中插入一元素x */ {if ((paqu->r + 1) % MAXNUM == paqu->f)printf("Full queue.\n");else{paqu->q[paqu->r] = x;paqu->r = (paqu->r + 1) % MAXNUM;}}void deQueue_seq(PSeqQueue paqu) /* 删除队列头部元素*/{if( paqu->f == paqu->r )printf( "Empty Queue.\n" );elsepaqu->f = (paqu->f + 1) % MAXNUM;}DataType frontQueue_seq( PSeqQueue paqu ) /* 对非空队列,求队列头部元素*/ {return (paqu->q[paqu->f]);}int farmer(int location) /*判断农夫位置*/{return 0 != (location & 0x08);}int wolf(int location) /*判断狼位置*/{return 0 != (location & 0x04);}int cabbage(int location) /*判断白菜位置*/{return 0 != (location & 0x02);}int goat(int location) /*判断羊的位置*/{return 0 !=(location & 0x01);}int safe(int location) /* 若状态安全则返回true */{if ((goat(location) == cabbage(location)) && (goat(location) != farmer(location)) ) return 0;if ((goat(location) == wolf(location)) && (goat(location) != farmer(location))) return 0;return 1; /* 其他状态是安全的*/}void farmerProblem( ){int movers, i, location, newlocation;int route[16]; /*记录已考虑的状态路径*/PSeqQueue moveTo;moveTo = createEmptyQueue_seq( );enQueue_seq(moveTo, 0x00);for (i = 0; i < 16; i++) route[i] = -1;route[0]=0;while (!isEmptyQueue_seq(moveTo)&&(route[15] == -1)){location = frontQueue_seq(moveTo);deQueue_seq(moveTo);for (movers = 1; movers <= 8; movers <<= 1){if ((0 != (location & 0x08)) == (0 != (location & movers))){newlocation = location^(0x08|movers);if (safe(newlocation) && (route[newlocation] == -1)){route[newlocation] = location;enQueue_seq(moveTo, newlocation);}}}}/* 打印出路径*/if(route[15] != -1){printf("The reverse path is : \n");for(location = 15; location >= 0; location = route[location]){printf("The location is : %d\n",location);if (location == 0) return;}}elseprintf("No solution.\n");}int main() /*主函数*/{farmerProblem();return 0;}四、程序运行结果如下：The reverse path is ：The location is ：15The location is ：6The location is ：14The location is ：2The location is ：11The location is ：1The location is ：9The location is ：0结果分析：从初始状态0到最后状态15的动作序列为：1.初始全部在南岸（0000），2农夫把羊带到北岸（1001），3.农夫独自回到南岸（0001），4.农夫把白菜带到北岸（1011），5.农夫带着羊回到南岸（0010）,6.农夫把狼带到北岸（1110），7.农夫独自回到南岸（0110），8.农夫把羊带到北岸（1111）程序运行最后location结果为15（二进制为1111），即农夫和其他东西都安全运过了北岸。
数据结构实验-农夫过河问题
农夫过河问题一、实验目的掌握广度优先搜索策略，并用队列求解农夫过河问题二、实验内容问题描述：一农夫带着一只狼，一只羊和一颗白菜，身处河的南岸，他要把这些东西全部运到北岸，遗憾的是他只有一只小船，小船只能容下他和一件物品。
这里只能是农夫来撑船，同时因为狼吃羊、羊吃白菜、所以农夫不能留下羊和狼或羊和白菜在河的一边，而自己离开；好在狼属肉食动物，不吃白菜。
农夫怎么才能把所有的东西安全运过河呢？实验要求如下：（1）设计物品位置的表示方法和安全判断算法；（2）设计队列的存储结构并实现队列的基本操作（建立空队列、判空、入队、出队、取对头元素），也可以使用STL中的队列进行代码的编写；（3）采用广度优先策略设计可行的过河算法；（4）输出要求：按照顺序输出一种可行的过河方案；提示：可以使用STL中的队列进行代码编写。
程序运行结果：二进制表示：1111011011100010101100011001，0000三、农夫过河算法流程⏹Step1：初始状态0000入队⏹Step2：当队列不空且没有到达结束状态1111时，循环以下操作：⏹队头状态出队⏹按照农夫一个人走、农夫分别带上三个物品走，循环以下操作：⏹农夫和物品如果在同一岸，则计算新的状态⏹如果新状态是安全的并且是没有处理过的，则更新path[ ]，并将新状态入队⏹当状态为1111时，逆向输出path[ ]数组附录一：STL中队列的使用注：队列，可直接用标准模板库（STL）中的队列。
需要#include<queue>STL中的queue，里面的一些成员函数如下（具体可以查找msdn，搜索queue class）：front：Returns a reference to the first element at the front of the queue.pop：Removes an element from the front of the queuepush：Adds an element to the back of the queueempty：Tests if the queue is empty三、实验代码FarmerRiver.H#ifndef FARMERRIVER_H#define FARMERRIVER_Hint FarmerOnRight(int status); //农夫，在北岸返回1，否则返回0int WorfOnRight(int status); //狼int CabbageOnRight(int status); //白菜int GoatOnRight(int status); //羊int IsSafe(int status); //判断状态是否安全，安全返回1，否则返回0void FarmerRiver();#endifSeqQueue.h#ifndef SEQQUEUE_H#define SEQQUEUE_Htypedef int DataType;struct Queue{int Max;int f;int r;DataType *elem;};typedef struct Queue *SeqQueue;SeqQueue SetNullQueue_seq(int m);int IsNullQueue_seq(SeqQueue squeue);void EnQueue_seq(SeqQueue squeue, DataType x);void DeQueue_seq(SeqQueue);DataType FrontQueue_seq(SeqQueue);#endifFarmerRiver.c#include <stdio.h>#include <stdlib.h>#include "SeqQueue.h"#include "FarmerRiver.h"int FarmerOnRight(int status) //判断当前状态下农夫是否在北岸{return (0!=(status & 0x08));}int WorfOnRight(int status){return (0!=(status & 0x04));}int CabbageOnRight(int status){return (0!=(status & 0x02));}int GoatOnRight(int status){return (0!=(status & 0x01));}int IsSafe(int status) //判断当前状态是否安全{if ((GoatOnRight(status)==CabbageOnRight(status)) && (GoatOnRight(status)!=FarmerOnRight(status)))return (0); //羊吃白菜if ((GoatOnRight(status)==WorfOnRight(status)) && (GoatOnRight(status)!=FarmerOnRight(status))) return 0; //狼吃羊return 1; //其他状态是安全的}void FarmerRiver(){int i, movers, nowstatus, newstatus;int status[16]; //用于记录已考虑的状态路径SeqQueue moveTo;moveTo = SetNullQueue_seq(20); //创建空列队EnQueue_seq(moveTo, 0x00); //初始状态时所有物品在北岸，初始状态入队for (i=0; i<16; i++) //数组status初始化为-1{status[i] = -1;}status[0] = 0;//队列非空且没有到达结束状态while (!IsNullQueue_seq(moveTo) && (status[15]==-1)){nowstatus = FrontQueue_seq(moveTo); //取队头DeQueue_seq(moveTo);for (movers=1; movers<=8; movers<<=1)//考虑各种物品在同一侧if ((0!=(nowstatus & 0x08)) == (0!=(nowstatus & movers)))//农夫与移动的物品在同一侧{newstatus = nowstatus ^ (0x08 | movers); //计算新状态//如果新状态是安全的且之前没有出现过if (IsSafe(newstatus)&&(status[newstatus] == -1)){status[newstatus] = nowstatus; //记录新状态EnQueue_seq(moveTo, newstatus); //新状态入队}}}//输出经过的状态路径if (status[15]!=-1){printf("The reverse path is: \n");for (nowstatus=15; nowstatus>=0; nowstatus=status[nowstatus]){printf("The nowstatus is: %d\n", nowstatus);if (nowstatus == 0)return;}}elseprintf("No solution.\n");}Sequeue.c#include <stdio.h>#include <stdlib.h>#include "SeqQueue.h"SeqQueue SetNullQueue_seq(int m){SeqQueue squeue;squeue = (SeqQueue)malloc(sizeof(struct Queue));if (squeue==NULL){printf("Alloc failure\n");return NULL;}squeue->elem = (int *)malloc(sizeof(DataType) * m);if (squeue->elem!=NULL){squeue->Max = m;squeue->f = 0;squeue->r = 0;return squeue;}else free(squeue);}int IsNullQueue_seq(SeqQueue squeue){return (squeue->f==squeue->r);}void EnQueue_seq(SeqQueue squeue, DataType x) //入队{if ((squeue->r+1) % squeue->Max==squeue->f) //是否满printf("It is FULL Queue!");else{squeue->elem[squeue->r] = x;squeue->r = (squeue->r+1) % (squeue->Max);}}void DeQueue_seq(SeqQueue squeue) //出队{if (IsNullQueue_seq(squeue))printf("It is empty queue!\n");elsesqueue->f = (squeue->f+1) % (squeue->Max); }DataType FrontQueue_seq(SeqQueue squeue) //求队列元素{if (squeue->f==squeue->r)printf("It is empty queue!\n");elsereturn (squeue->elem[squeue->f]);}main.c#include <stdio.h>#include <stdlib.h>#include "FarmerRiver.h"int main(void){FarmerRiver();return 0;}实验结果：四、实验总结。
人工智能课后习题第4章 参考答案
第4章搜索策略参考答案4.5 有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到下列条件的限制：(1) 船太小，农夫每次只能带一样东西过河；(2)如果没有农夫看管，则狼要吃羊，羊要吃菜。
请设计一个过河方案，使得农夫、浪、羊都能不受损失的过河，画出相应的状态空间图。
题示：(1) 用四元组（农夫，狼，羊，菜）表示状态，其中每个元素都为0或1，用0表示在左岸，用1表示在右岸。
(2) 把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。
解：第一步，定义问题的描述形式用四元组S=（f，w，s，v）表示问题状态，其中，f，w，s和v分别表示农夫，狼，羊和青菜是否在左岸，它们都可以取1或0，取1表示在左岸，取0表示在右岸。
第二步，用所定义的问题状态表示方式，把所有可能的问题状态表示出来，包括问题的初始状态和目标状态。
由于状态变量有4个，每个状态变量都有2种取值，因此有以下16种可能的状态：S0=(1,1,1,1)，S1=(1,1,1,0)，S2=(1,1,0,1)，S3=(1,1,0,0)S4=(1,0,1,1)，S5=(1,0,1,0)，S6=(1,0,0,1)，S7=(1,0,0,0)S8=(0,1,1,1)，S9=(0,1,1,0)，S10=(0,1,0,1)，S11=(0,1,0,0)S12=(0,0,1,1)，S13=(0,0,1,0)，S14=(0,0,0,1)，S15=(0,0,0,0)其中，状态S3，S6，S7，S8，S9，S12是不合法状态，S0和S15分别是初始状态和目标状态。
第三步，定义操作，即用于状态变换的算符组F由于每次过河船上都必须有农夫，且除农夫外船上只能载狼，羊和菜中的一种，故算符定义如下：L(i)表示农夫从左岸将第i样东西送到右岸（i=1表示狼，i=2表示羊，i=3表示菜，i=0表示船上除农夫外不载任何东西）。
由于农夫必须在船上，故对农夫的表示省略。
农夫过河问题
df=d[i].f-d[j].f;
dw=abs(d[i].w-d[j].w);
ds=abs(d[i].s-d[j].s);
dc=abs(d[i].c-d[j].c);
if(df!=0&&(dw+ds+dc)<=1)
{
edge[num].col=i;
edge[num++].row=j;
}
}
return num;
int right_edge(DataType *vertex,RowCol *edge,int n) //选出满足题意的边
void DepthFSearch(AdjLGraph G,int v,int visited[],DataType vert[],int *a)
//图的深度优先遍历
3.3抽象数据类型的设计
{
if(!visited[w])
DepthFSearch(G,w,visited,d1,s);
w=GetNextVex(G,v,w);
}
}
4.3函数的调用关系图
5.测试结果
农夫过河问题
1．问题描述
一个农夫带着一只狼、一只羊和一棵白菜，身处河的南岸。他要把这些东西全部运到北岸。他面前只有一条小船，船只能容下他和一件物品，另外只有农夫才能撑船。如果农夫在场，则狼不能吃羊，羊不能吃白菜，否则狼会吃羊，羊会吃白菜，所以农夫不能留下羊和白菜自己离开，也不能留下狼和羊自己离开，而狼不吃白菜。
typedef struct
{
AdjLHeight a[100];//邻接表数组
int numOfVerts;//结点个数
int numOfEdges;//边个数
农夫携物过河程序
题目内容：有一农夫要将自己的羊、蔬菜和狼等3件物品运过河。
但农夫过河时所用的船每次最多只能装英中的一件物品，而这3件物品之间又存在一左的制约关系：羊不能单独和狼以及不能和蔬菜在一起，因为狼要吃羊，羊也能吃蔬菜。
试构造出问题模式以编程实现这一问题的求解。
1、问题分析和任务定义：根据对象的状态分为过河（1）和不过河（0）,此对象集合就构成了一个状态空间。
问题就是在这个状态空间内搜索一条从开始状态到结束状态的安全路径。
显然，其初始状态为四对象都不过河，结束状态为四对象全部过河。
这里用无向图来处理，并采用邻接矩阵存储。
对于农夫，狼，羊，蔬菜组成一个4位向量，即图的顶点（F,叭S, V）,状态空间为16, 初始状态为（0000）,目标为（1111）。
解决问题的方法是，找到所有的安全状态，并在其中搜索岀一条（0000）到（1111）的路径。
对当前对象是否安全的判断，若当农夫与羊不在一起时，狼与羊或羊与蔬菜在一起是不安全的，英他情况是安全的。
搜索一条可行路径时，采用深度优先搜索DFS_path,每个时刻探索一条路径，并记录访问过的合法状态，一直向前探视，直到疋不通时回溯。
显然，应该用数组来保存访问过的状态，以便回溯。
显然农夫每次状态都在改变，最多也就能带一件东西过河，故搜索条件是，在顶点（F, W, S, V）的转换中，狼，羊，蔬菜三者的状态不能大于一个，即只有一个发生改变或者都不变。
①数拯的输入形式和输入值的范用：本程序不需要输入数据，故不存在输入形式和输入值的范用。
②结果的输出形式：在屏幕上显示安全状态的转换，即一条安全路径。
2、数据结构的选择概要设计⑴数据结构的选择：本程序采用无向图处理。
#define MaxNumVertices 10 //最大顶点数typedef struct //图的顶点类型int Farmer, Wolf, Sheep, Veget; //存储农夫，狼，羊，蔬菜的状态}VexType;typedef struct//图的各项信息VexType VerticesList LMaxNumVertices]; //顶点向量(代表顶点)int Edge [MaxNumVertices] [MaxNumVertices];//邻接矩阵//用于存储图中的边，苴矩阵元素个数取决于顶点个数，与边数无关}AdjGraph;⑵为了实现上述程序的功能，需要：①生成所有安全的图的顶点：②査找顶点的位置：③判断目前(F, W. S, V)是否安全，安全返回1,否则返回0：④判断顶点i和顶点j之间是否可转换，可转换返回真，否则假：⑤深度优先搜索从u到v的简单路径; ⑥输出从u 到v的简单路径，即顶点序列中不重复出现的路径。
状态空间表示法例题
1.自然语言描述
1）老农携带羊羔过河，把狐狸和白菜留在南岸； 2）老农到达北岸，把羊羔留在北岸，并独自回到南岸； 3）老农携带狐狸过河，把白菜留在南岸； 4）老农到达北岸，把狐狸留下，并带上羊羔回到南岸； 5）老农把羊羔留在南岸，携带白菜过河； 6）老农到达北岸，把白菜和狐狸留在北岸，独自回到南岸； 7）老农最后携带羊羔过河，到达北岸。问题就此解决。
[例1] 重排九宫问题
2 83 1 64 2 7 ■5
初始状态
1 23 ■8 4 765
目标状态
要求：用尽可能少棋步能由初始状态到达目标 状态。
283 164 75
初始状态
283 164
75
283 14 765
283 164 75
283 64
175
283 14
765
23 184 765
283 14 765
(S,N,N,N)：老农在南岸，其他三个对象在北岸 (N,S,S,S)：老农在北岸，其他三个对象在南岸
羊羔和白菜在同一岸 （羊羔要吃白菜）
(S,S,N,N)：老农和狐狸在南岸，羊羔和白菜在北岸 (N,N,S,S)：老农和狐狸在北岸，羊羔和白菜在南岸
狐狸和羊羔在同一岸 （狐狸要吃羊羔）
(S,N,N,S)：老农和白菜在南岸，狐狸和羊羔在北岸 (N,S,S,N)：老农和白菜在北岸，狐狸和羊羔在南岸
234 18 765
28 14 3 765
28 163 754
2 3 283 283 684 64 674 175 175 1 5
目标状态
283 2 3 283 14 184 164
765 765 7 5
283 2 3 283 16 186 156
农夫过河问题状态图及程序
农夫过河问题状态图及程序一、问题需求分析一个农夫带着一只狼、一只羊和一棵白菜，身处河的南岸。
他要把这些东西全部运到北岸。
问题是他面前只有一条小船，船小到只能容下他和一件物品，另外只有农夫能撑船。
另外，因为狼能吃羊，而羊爱吃白菜，所以农夫不能留下羊和白菜或者狼和羊单独在河的一边，自己离开。
请问农夫该采取什么方案才能将所有的东西运过河呢？二、算法选择求解这个问题的最简单的方法是一步一步进行试探，每一步都搜索所有可能的选择，对前一步合适的选择再考虑下一步的各种方案。
用计算机实现上述求解的搜索过程可以采用两种不同的策略：一种是广度优先(breadth_first) 搜索，另一种是深度优先(depth_first) 。
广度优先：u 广度优先的含义就是在搜索过程中总是首先搜索下面一步的所有可能状态，然后再进一步考虑更后面的各种情况。
u 要实现广度优先搜索，一般都采用队列作为辅助结构。
把下一步所有可能达到的状态都列举出来，放在这个队列中，然后顺序取出来分别进行处理，处理过程中把再下一步的状态放在队列里……。
u 由于队列的操作遵循先进先出的原则，在这个处理过程中，只有在前一步的所有情况都处理完后，才能开始后面一步各情况的处理。
三、算法的精化要模拟农夫过河问题，首先需要选择一个对问题中每个角色的位置进行描述的方法。
一个很方便的办法是用四位二进制数顺序分别表示农夫、狼、白菜和羊的位置。
例如用0表示农夫或者某东西在河的南岸，1表示在河的北岸。
因此整数5(其二进制表示为0101) 表示农夫和白菜在河的南岸，而狼和羊在北岸。
四、算法的实现完成了上面的准备工作，现在的问题变成：从初始状态二进制0000(全部在河的南岸) 出发，寻找一种全部由安全状态构成的状态序列，它以二进制1111(全部到达河的北岸) 为最终目标，并且在序列中的每一个状态都可以从前一状态通过农夫（可以带一样东西）划船过河的动作到达。
为避免不必要的瞎费功夫，要求在序列中不应该出现重复的状态。
农夫过河问题算法设计与实现
农夫过河问题算法设计与实现咱来唠唠农夫过河这个有趣的问题。
一、问题描述农夫要带着一只狼、一只羊和一棵白菜过河。
但是呢，船很小，每次农夫只能带一样东西过河。
而且啊，如果农夫不在，狼会吃羊，羊会吃白菜，这可就麻烦大了。
二、算法设计思路1. 初始状态- 河这边有农夫、狼、羊和白菜，河对岸啥都没有。
2. 第一步很关键- 农夫肯定不能先带狼或者白菜，为啥呢？因为如果先带狼过去，把羊和白菜留在这边，羊就会吃白菜；要是先带白菜过去，狼就会吃羊。
所以农夫得先带羊过河。
- 然后农夫自己返回。
这时候河这边有狼和白菜，河对岸有羊。
3. 第二步- 农夫再带狼或者白菜过河。
假设农夫带狼过河吧。
- 但是农夫不能把羊单独留在对岸啊，所以农夫得把羊再带回来。
这时候河这边有羊和白菜，河对岸有狼。
4. 第三步- 农夫把羊放下，带白菜过河。
- 然后农夫自己返回。
这时候河这边有羊，河对岸有狼和白菜。
5. 最后一步- 农夫再带羊过河，这样就都安全地到对岸啦。
三、算法实现（用简单的文字描述过程）1. 开始：- 农夫在起始岸，物品（狼、羊、白菜）也在起始岸，对岸为空。
2. 第一次过河：- 农夫带羊过河，此时起始岸有狼和白菜，对岸有羊和农夫。
- 农夫独自返回起始岸，此时起始岸有农夫、狼、白菜，对岸有羊。
3. 第二次过河：- 农夫带狼过河，此时起始岸有白菜，对岸有狼、羊和农夫。
- 农夫带羊返回起始岸，此时起始岸有农夫、羊、白菜，对岸有狼。
4. 第三次过河：- 农夫带白菜过河，此时起始岸有羊，对岸有狼、白菜和农夫。
- 农夫独自返回起始岸，此时起始岸有农夫、羊，对岸有狼、白菜。
5. 第四次过河：- 农夫带羊过河，此时起始岸为空，对岸有农夫、狼、羊、白菜，大功告成！你看，这样一步一步的，就像走迷宫一样，按照规则走，就能让农夫带着他的东西安全过河啦。
(完整版)人工智能(部分习题答案及解析)
1.什么是人类智能？它有哪些特征或特点？定义：人类所具有的智力和行为能力。
特点：主要体现为感知能力、记忆与思维能力、归纳与演绎能力、学习能力以及行为能力。
2.人工智能是何时、何地、怎样诞生的？解：人工智能于1956年夏季在美国Dartmouth大学诞生。
此时此地举办的关于用机器模拟人类智能问题的研讨会，第一次使用“人工智能”这一术语，标志着人工智能学科的诞生。
3.什么是人工智能？它的研究目标是？定义：用机器模拟人类智能。
研究目标：用计算机模仿人脑思维活动，解决复杂问题；从实用的观点来看，以知识为对象，研究知识的获取、知识的表示方法和知识的使用。
4.人工智能的发展经历了哪几个阶段？解：第一阶段：孕育期（1956年以前）；第二阶段：人工智能基础技术的研究和形成（1956~1970年）；第三阶段：发展和实用化阶段（1971~1980年）；第四阶段：知识工程和专家系统（1980年至今）。
5.人工智能研究的基本内容有哪些？解：知识的获取、表示和使用。
6.人工智能有哪些主要研究领域？解：问题求解、专家系统、机器学习、模式识别、自动定论证明、自动程序设计、自然语言理解、机器人学、人工神经网络和智能检索等。
7.人工智能有哪几个主要学派？各自的特点是什么？主要学派：符号主义和联结主义。
特点：符号主义认为人类智能的基本单元是符号，认识过程就是符号表示下的符号计算，从而思维就是符号计算；联结主义认为人类智能的基本单元是神经元，认识过程是由神经元构成的网络的信息传递，这种传递是并行分布进行的。
8.人工智能的近期发展趋势有哪些？解：专家系统、机器人学、人工神经网络和智能检索。
9.什么是以符号处理为核心的方法？它有什么特征？解：通过符号处理来模拟人类求解问题的心理过程。
特征：基于数学逻辑对知识进行表示和推理。
11.什么是以网络连接为主的连接机制方法？它有什么特征？解：用硬件模拟人类神经网络，实现人类智能在机器上的模拟。
特征：研究神经网络。
农夫过河 实验报告
农夫过河实验报告
实验报告：农夫过河
实验目的：
1. 了解农夫过河问题的规则和约束条件；
2. 分析农夫过河问题的求解思路；
3. 实现农夫过河问题的求解算法。
实验原理：
农夫过河问题是一种经典的逻辑推理问题，涉及农夫、狼、羊和菜四个角色过河的情景。
根据约束条件，农夫每次只能带一种物品过河，而且农夫不能将狼和羊、羊和菜同时留在岸边，否则会发生危险。
实验步骤：
1. 设计数据结构表示问题的状态，如使用二进制位表示农夫、狼、羊和菜的位置；
2. 使用递归算法实现问题的解法，通过深度优先搜索遍历所有可能的状态，并根据约束条件进行剪枝；
3. 运行程序，输出农夫过河的解答序列。
实验结果：
根据实验步骤中的算法和程序设计，成功地求解了农夫过河问题，并输出了正确的解答序列。
实验结果表明，农夫可以经过
一系列合法的操作，将狼、羊和菜都安全地带过河。
实验结论：
通过本次实验，我们深入理解了农夫过河问题的规则和约束条件，并成功地实现了问题的求解算法。
实验结果表明，农夫过河问题有多种可能的解法，但只有符合约束条件的解才是正确的解答。
这个经典的逻辑推理问题在计算机科学中具有重要的意义，可以用于教学和娱乐等领域。
农夫过河问题状态空间表示
农夫过河问题状态空间表示逻辑学教授的3个得意门生ABC，前一晚在酒吧喝多了，结果第二天3人集体迟到。
教授说：“作为对你们迟到的惩罚，你们3人必须比其他同学多做一道作业，完成了这道作业才可以离开教室。
”这道附加的作业是一道帽子题，教授给每人戴了顶帽子，帽子不是红色就是白色，不是白色就是红色。
每人都能看见其他2人帽子的颜色，却不能看见自己帽子的颜色。
每人都看到其他2人帽子的颜色后，每思考5分钟为一轮，谁猜出自己帽子的颜色了就可以说出来并离开。
教授还说：“你们3人中至少有1人戴了红色帽子。
”第一轮下来，A说：“我没猜出来。
”B说“我也没猜出来”C说：“我也猜不出。
”第二轮下来，还是没人能猜出自己帽子的颜色。
第三轮，3人都猜出了自己帽子的颜色。
问：ABC三人头顶都是什么颜色的帽子？然后用谓词逻辑写出推理过程。
最一般合一及归结反演相关已知w={P(f(x,g(A,y)),z), P(f(x,z),z)，求MGU令δ0=ε，w0=w，因w中含有两个表达式，因此δ0不是最一般合一差异集D0={g(A,y)/z}δ1=δ0oD0={g(A,y)/z}w1={P(f(x,g(A,y)),g(A,y)), P(f(x,g(A,y)),g(A,y))w1中仅含有一个表达式，所以δ1就是最一般合一。
证明G是否是F1、F2的逻辑结论。
F1:(?x)(P(x)→(Q(x)∧R(x)))F2:(?x)(P(x)∧S(x))G: (?x)(S(x)∧R(x))F1: ?P(x)∨(Q(x)∧R(x)) ? (?P(x)∨Q(x)) ∧ (?P(x)∨R(x))F2: P(x)∧S(x)G: ?(?x)(S(x)∧R(x)) ? (?x)(?(S(x)∧R(x))) ? ?S(x)∨?R(x)子句集：1 ?P(x)∨Q(x)2 ?P(x)∨R(x)3 P(x)4 S(x)5 ?S(x)∨?R(x)其中2与3规约，4与5归结，其结果再归结得到空子句，证明G是F1与F2的结论。
农夫过河报告(最终版)
农夫过河算法实验报告组长：崔俊组员：李琦、郑鸿飞、王琅辉、张育博15.12.29摘要农夫过河问题是应用广度优先搜索和深度优先搜索的典型问题，但这里我们应用了简单的数组，通过层层筛选的手段也解决了同样的问题，其中用到了部分广度优先搜索的思想。
前言农夫过河问题描述：一个农夫带着—只狼、一只羊和—棵白菜，身处河的南岸。
他要把这些东西全部运到北岸。
他面前只有一条小船，船只能容下他和—件物品，另外只有农夫才能撑船。
如果农夫在场，则狼不能吃羊，羊不能吃白菜，否则狼会吃羊，羊会吃白菜，所以农夫不能留下羊和白菜自己离开，也不能留下狼和羊自己离开，而狼不吃白菜。
请求出农夫将所有的东西运过河的方案。
正文1.问题抽象和数据组织农夫过河问题应该应用图的广度优先遍历或者深度优先遍历，但这里我们仅使用简单的线性表——数组，通过多重的条件限制，达成目的。
这里我们同样用0和1代表农夫、狼、羊、白菜在左岸还是在右岸，并规定0在左，1在右，我们的目的便是从0000通过一系列变换到1111。
2.农夫过河算法源代码#include <stdio.h>#define MAX 16typedef struct FWSV{int farmer;int wolf;int sheep;int vegetable;}Item;//函数原型//操作：筛选符合条件的安全的数组成员//操作前：无//操作后：返回安全数组的指针void screen(void);//操作：判断下一个数应该取安全数组中那个数//操作前: 传递一个结构体数组成员//操作后：返回另一个结构体数组指针Item * judge(Item Fwsv);Item safe[MAX];int k = 0; //用于计数safe[]中的总数int main (void){screen();Item * next;Item first,second,end;first = safe[0];end = safe[k];printf("first:0000\n");next = judge(first);for (int count = 0;count <= 6;count++){if (next->farmer + next->wolf + next->sheep + next->vegetable != 0){second = *next;next = judge(second);}elsenext++;}printf("end:1111\n");return 0;}void screen(void){int f = 0,w = 0,s = 0,v = 0;for(f = 0;f < 2;f++){for(w = 0;w < 2;w++){for(s = 0;s < 2;s++){for(v = 0;v < 2;v++){if (!(f != s && (s == w || s == v))){safe[k].farmer = f;safe[k].wolf = w;safe[k].sheep = s;safe[k].vegetable = v;k++;}}}}}}Item * judge(Item Fwsv){Item * next;Item compare[4];next = compare;int x1 = 0;int sum = 0;if (Fwsv.farmer == 0){for (int x = 0;x < k;x++){//把出现过的置零操作if(safe[x].farmer == Fwsv.farmer && safe[x].wolf == Fwsv.wolf && safe[x].sheep == Fwsv.sheep && safe[x].vegetable == Fwsv.vegetable ){safe[x].farmer = 0;safe[x].wolf = 0;safe[x].sheep = 0;safe[x].vegetable = 0;}//筛选出农夫状态值与之前相反的 1变0 0变1if(safe[x].farmer == 1 && (safe[x].farmer + safe[x].wolf + safe[x].sheep + safe[x].vegetable != 4 )){compare[x1] = safe[x];x1++;}}for (int x2 = 0;x2 < 4;x2++){//删除状态值与农夫不同但是改变了的sum = Fwsv.farmer + Fwsv.wolf + Fwsv.sheep + Fwsv.vegetable;if ((Fwsv.farmer != Fwsv.wolf && compare[x2].wolf != Fwsv.wolf) ||(Fwsv.farmer != Fwsv.sheep && compare[x2].sheep != Fwsv.sheep)|| (Fwsv.farmer != Fwsv.vegetable && compare[x2].vegetable != Fwsv.vegetable)|| (Fwsv.farmer != Fwsv.vegetable && compare[x2].vegetable != Fwsv.vegetable)){compare[x2].farmer = 0;compare[x2].wolf = 0;compare[x2].sheep = 0;compare[x2].vegetable = 0;}sum+=2;//对和的限制if(compare[x2].farmer + compare[x2].wolf + compare[x2].sheep + compare[x2].vegetable != sum){compare[x2].farmer = 0;compare[x2].wolf = 0;compare[x2].sheep = 0;compare[x2].vegetable = 0;}}printf("-----------------------------------------\n");for(int x3 = 0;x3 < 4;x3++){if (compare[x3].farmer + compare[x3].wolf + compare[x3].sheep + compare[x3].vegetable != 0){printf("上数与：%d%d%d%d相连\n",compare[x3].farmer,compare[x3].wolf,compare[x3].sheep,compare[x3].veget abl ）;}}}if (Fwsv.farmer == 1){for (int y = 0;y < k;y++){if(safe[y].farmer == Fwsv.farmer && safe[y].wolf == Fwsv.wolf && safe[y].sheep == Fwsv.sheep && safe[y].vegetable == Fwsv.vegetable ){safe[y].farmer = 0;safe[y].wolf = 0;safe[y].sheep = 0;safe[y].vegetable = 0;}if(safe[y].farmer == 0 && (safe[y].farmer + safe[y].wolf + safe[y].sheep + safe[y].vegetable != 0 )){compare[x1] = safe[y];x1++;}}for (int x2 = 0;x2 < 4;x2++){sum = Fwsv.farmer + Fwsv.wolf + Fwsv.sheep + Fwsv.vegetable;if ((Fwsv.farmer != Fwsv.wolf && compare[x2].wolf != Fwsv.wolf) ||(Fwsv.farmer != Fwsv.sheep && compare[x2].sheep != Fwsv.sheep)|| (Fwsv.farmer != Fwsv.vegetable && compare[x2].vegetable != Fwsv.vegetable)|| (Fwsv.farmer != Fwsv.vegetable && compare[x2].vegetable != Fwsv.vegetable)){compare[x2].farmer = 0;compare[x2].wolf = 0;compare[x2].sheep = 0;compare[x2].vegetable = 0;}}printf("-----------------------------------------\n");for(int x3 = 0;x3 < 4;x3++){if (compare[x3].farmer + compare[x3].wolf + compare[x3].sheep + compare[x3].vegetable != 0){printf("上数与：%d%d%d%d相连\n",compare[x3].farmer,compare[x3].wolf,compare[x3].sheep,compare[x3].vegetable );}}}return next;}3.算法功能说明和流程描述首先我们定义了一个结构体Itemtypedef struct FWSV{int farmer;int wolf;int sheep;int vegetable;}Item;Item中包含了农夫（farmer），狼（wolf），羊（sheep），白菜（vegetable）,用来表示农夫、狼、羊、白菜的状态，并作出规定当为0的时候表示在左岸，当为1的时候表示在右岸，我们的目标便是从0000的状态到1111的状态。
人工智能课后习题总结
解：问题状态表示为（a, b, c, d），其中a, b, c, d分别表示
农夫、狼，羊和菜的位置，1表示在左岸，0表示在右岸。 则起始状态为 (1,1,1,1)，终止状态为 (0, 0, 0, 0)。改变状 态的操作共八种，分别为：农夫带着{狼、羊、菜}从{左岸 到右岸、右岸到左岸}。搜索路径为：
0
h=∞ (0,0,1,1) f=∞
h=2 (0,1,0,1) f=3 1
h=∞ (0,1,1,0) f=∞
h=2 (1,1,0,1) f=4 2
(0,0,0,1)
h=1 3 f=4
h=1 (0,1,0,0) f=4 4
h=∞
(1,0,0,1) f=∞
2021/8/11
h=2
(1,0,1,1)
5 f=6 AI:Summary (1,1,0,0)
Symbolic AI
Chapter 2-3
2.3 请用状态空间法求解农夫过河问题，该问题是：一农夫 带着一只狼、一只羊和一筐菜来到河边，欲乘船到河对岸。 但船太小，农夫每次只能带一样东西过河。而在没有农夫 看管的情况下，狼会吃羊，羊会吃菜。农夫应该怎样做， 才能在没有任何损失的情况下把所有东西带到河对岸？
（4） xyzPx, y Qx, y Rx, z
Px, y Qx, y Rx, f x, y
（5） xyzuvwPx, y, z,u,v, w Qx, y, z,u,v, w Rx, z, w
Px, y, z, f z,v, gz,v, Qx, y, z, f z,v, gz,v Rx', z', gz',v'
（4）鱼我所欲也，熊掌亦我所欲也。
参考答案
第4章搜索策略部分参考答案有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到下列条件的限制：(1) 船太小，农夫每次只能带一样东西过河；(2)如果没有农夫看管，则狼要吃羊，羊要吃菜。
请设计一个过河方案，使得农夫、浪、羊都能不受损失的过河，画出相应的状态空间图。
题示：(1) 用四元组（农夫，狼，羊，菜）表示状态，其中每个元素都为0或1，用0表示在左岸，用1表示在右岸。
(2) 把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。
解：第一步，定义问题的描述形式用四元组S=（f，w，s，v）表示问题状态，其中，f，w，s和v分别表示农夫，狼，羊和青菜是否在左岸，它们都可以取1或0，取1表示在左岸，取0表示在右岸。
第二步，用所定义的问题状态表示方式，把所有可能的问题状态表示出来，包括问题的初始状态和目标状态。
由于状态变量有4个，每个状态变量都有2种取值，因此有以下16种可能的状态：S0=(1,1,1,1)，S1=(1,1,1,0)，S2=(1,1,0,1)，S3=(1,1,0,0)S4=(1,0,1,1)，S5=(1,0,1,0)，S6=(1,0,0,1)，S7=(1,0,0,0)S8=(0,1,1,1)，S9=(0,1,1,0)，S10=(0,1,0,1)，S11=(0,1,0,0)S12=(0,0,1,1)，S13=(0,0,1,0)，S14=(0,0,0,1)，S15=(0,0,0,0)其中，状态S3，S6，S7，S8，S9，S12是不合法状态，S0和S15分别是初始状态和目标状态。
第三步，定义操作，即用于状态变换的算符组F由于每次过河船上都必须有农夫，且除农夫外船上只能载狼，羊和菜中的一种，故算符定义如下：L(i)表示农夫从左岸将第i样东西送到右岸（i=1表示狼，i=2表示羊，i=3表示菜，i=0表示船上除农夫外不载任何东西）。
由于农夫必须在船上，故对农夫的表示省略。
知识表示
第4章搜索策略部分参考答案4.5 有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到下列条件的限制：(1) 船太小，农夫每次只能带一样东西过河；(2)如果没有农夫看管，则狼要吃羊，羊要吃菜。
请设计一个过河方案，使得农夫、浪、羊都能不受损失的过河，画出相应的状态空间图。
题示：(1) 用四元组（农夫，狼，羊，菜）表示状态，其中每个元素都为0或1，用0表示在左岸，用1表示在右岸。
(2) 把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。
解：第一步，定义问题的描述形式用四元组S=（f，w，s，v）表示问题状态，其中，f，w，s和v分别表示农夫，狼，羊和青菜是否在左岸，它们都可以取1或0，取1表示在左岸，取0表示在右岸。
第二步，用所定义的问题状态表示方式，把所有可能的问题状态表示出来，包括问题的初始状态和目标状态。
由于状态变量有4个，每个状态变量都有2种取值，因此有以下16种可能的状态：S0=(1,1,1,1)，S1=(1,1,1,0)，S2=(1,1,0,1)，S3=(1,1,0,0)S4=(1,0,1,1)，S5=(1,0,1,0)，S6=(1,0,0,1)，S7=(1,0,0,0)S8=(0,1,1,1)，S9=(0,1,1,0)，S10=(0,1,0,1)，S11=(0,1,0,0)S12=(0,0,1,1)，S13=(0,0,1,0)，S14=(0,0,0,1)，S15=(0,0,0,0)其中，状态S3，S6，S7，S8，S9，S12是不合法状态，S0和S15分别是初始状态和目标状态。
第三步，定义操作，即用于状态变换的算符组F由于每次过河船上都必须有农夫，且除农夫外船上只能载狼，羊和菜中的一种，故算符定义如下：L(i)表示农夫从左岸将第i样东西送到右岸（i=1表示狼，i=2表示羊，i=3表示菜，i=0表示船上除农夫外不载任何东西）。
由于农夫必须在船上，故对农夫的表示省略。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
逻辑学教授的3个得意门生ABC，前一晚在酒吧喝多了，结果第二天3人集体迟到。
教授说：“作为对你们迟到的惩罚，你们3人必须比其他同学多做一道作业，完成了这道作业才可以离开教室。
”这道附加的作业是一道帽子题，教授给每人戴了顶帽子，帽子不是红色就是白色，不是白色就是红色。
每人都能看见其他2人帽子的颜色，却不能看见自己帽子的颜色。
每人都看到其他2人帽子的颜色后，每思考5分钟为一轮，谁猜出自己帽子的颜色了就可以说出来并离开。
教授还说：“你们3人中至少有1人戴了红色帽子。
”
第一轮下来，A说：“我没猜出来。
”B说“我也没猜出来”C说：“我也猜不出。
”
第二轮下来，还是没人能猜出自己帽子的颜色。
第三轮，3人都猜出了自己帽子的颜色。
问：ABC三人头顶都是什么颜色的帽子？然后用谓词逻辑写出推理过程。
最一般合一及归结反演相关
已知w={P(f(x,g(A,y)),z), P(f(x,z),z)，求MGU
令δ0=ε，w0=w，因w中含有两个表达式，因此δ0不是最一般合一
差异集D0={g(A,y)/z}
δ1=δ0ºD0={g(A,y)/z}
w1={P(f(x,g(A,y)),g(A,y)), P(f(x,g(A,y)),g(A,y))
w1中仅含有一个表达式，所以δ1就是最一般合一。
证明G是否是F1、F2的逻辑结论。
F1:(∀x)(P(x)→(Q(x)∧R(x)))
F2:(∃x)(P(x)∧S(x))
G: (∃x)(S(x)∧R(x))
F1: ¬P(x)∨(Q(x)∧R(x)) ⇒ (¬P(x)∨Q(x)) ∧ (¬P(x)∨R(x))
F2: P(x)∧S(x)
¬G: ¬(∃x)(S(x)∧R(x)) ⇒ (∀x)(¬(S(x)∧R(x))) ⇒ ¬S(x)∨¬R(x)
子句集：
1 ¬P(x)∨Q(x)
2 ¬P(x)∨R(x)
3 P(x)
4 S(x)
5 ¬S(x)∨¬R(x)
其中2与3规约，4与5归结，其结果再归结得到空子句，证明G是F1与F2的结论。
农夫过河问题
(1)农夫每次只能带一样东西过河
(2)如果没有农夫看管，狼吃羊，羊吃菜
要求：
设计一个过河方案，使得农夫、狼、羊、菜都能过河，画出相应的状态空间图。
四元组S表示状态，即S＝(农夫，狼，羊，菜)
用0表示在左岸，1表示在右岸
初始S=(0，0，0，0)
目标G=(1，1，1，1)
定义操作符L(i)表示农夫带东西到右岸：i=0 农夫自己到右岸；
i=1 农夫带狼到右岸；
i=2 农夫带羊到右岸；
i=3 农夫带菜到右岸；
定义操作符R(i)表示农夫带东西到左岸：i=0 农夫自己到左岸；
i=1 农夫带狼到左岸；
i=2 农夫带羊到左岸；
i=3 农夫带菜到左岸；
约束状态如下：
(1，0，0，X)狼、羊在左岸；
(1，X，0，0)羊、菜在左岸；
(0，1，1，X)狼、羊在右岸；
(0，X，1，1)羊、菜在右岸；
(0，0，0，0)
/ L(2)
(1，0，1，0)
/ R(0)
(0，0，1，0)
/ L(1) \ R(3)
(1，1，1，0) (1，0，1，1)
/ R(2) \ R(2) (0，1，0，0) (0，0，0，1)
\ L(3) / L(1)
(1，1，0，1)
\ R(0)
(0，1，0，1)
\ L(2)
(1，1，1，1)
解一：
1.带羊过河 (1，0，1，0)
2.农夫回来 (0，0，1，0)
3.带狼过河 (1，1，1，0)
4.带羊回来 (0，1，0，0)
5.带菜过河 (1，1，0，1)
6.农夫回来 (0，1，0，1)
7.带羊过河 (1，1，1，1)
解二：
1.带羊过河 (1，0，1，0)
2.农夫回来 (0，0，1，0)
3.带菜过河 (1，0，1，1)
4.带羊回来 (0，0，0，1)
5.带狼过河 (1，1，0，1)
6.农夫回来 (0，1，0，1)
7.带羊过河 (1，1，1，1)。