猴子摘香蕉实验报告

1、实验1:猴子摘香蕉问题的VC编程实现一、实验目的利用一阶谓词逻辑求解猴子摘香蕉问题并通过编程来实现二、编程环境本文主要编译环境是Windows10VisualStudio2015在Ubuntu12.0用gcc编译来演示问题的另外几种状态的解法三、问题描述房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。四、解决方案1 .定义描述环境状态的谓词。AT(x,y)：x在y处,个体域：x?monkey,box,ba

2、nana,y?a,b,c;HAND(s)：猴子手中拿着s,个体域：s?box,banana;ONBOX(monkey):猴子在箱子上；2 .使用谓词、连结词、量词来表示环境状态。问题的初始状态可表示为：So：AT(monkey,a)?HAND(s)?AT(box,c)?ONBOX(monkey)?AT(banana,b)要达到的目标状态为：Sg：AT(box,b)?ONBOX(monkey)?HAND(banana)?AT(monkey,b)?AT(banana,b)3 .从初始状态到目标状态的转化，猴子需要完成一系列操作，定义操作类谓词表示其动作。go(m,n):猴子从m走到n处，个体域：m

3、,n?a,b,c;movebox(m,n)：猴子把箱子从m处移动到n处，个体域：m,n?a,b,c；onbox(m)：猴子在m处爬上箱子，个体域：m?a,b,c；catch(banana)猴子摘到香蕉；这3个操作也可分别用条件和动作来表示。条件直接用谓词公式表示，是为完成相应操作所必须具备的条件；当条件中的事实使其均为真时，则可激活操作规则，于是可执行该规则中的动作部分。动作通过前后状态的变化表示，即通过从动作前删除或增加谓词公式来描述动作后的状态。go(m,n)：猴子从m走到n处条件：AT(monkey,m)删除：AT(monkey,m)动作：增加：AT(monkey,n)movebox(m

4、,n)：猴子把箱子从m处移动到n处条件：AT(monkey,m)?HAND(s)?AT(box,m)删除：HAND(s)AT(box,m)动作：增加：HAND(s)AT(box,n)AT(monkey,n)onbox(m)：猴子在m处爬上箱子条件：AT(monkey,m)?HAND(s)?AT(box,m)?AT(banana,m)?ONBOX(monkey)删除：ONBOX(moneky)动作：增加：ONBOX(moneky)catch(m):猴子摘到香蕉条件：AT(monkey,m)?HAND(s)?AT(box,m)?AT(banana,m)?ONBOX(monkey)删除：HAND(s

5、)动作：增加：HAND(banana)4 .按照行动计划,一步步进行状态替换,直至目标状态。5 .AT(monkey,a)?HAND(s)?AT(box,c)?ONBOX(monkey)?AT(banana,b)go(a,c)猴子从a走至1JcAT(monkey,c)?HAND(box)?AT(box,c)?ONBOX(monkey)?AT(banana,b)movebox(c,b)：猴子把箱子从c处移动到b处AT(monkey,b)?HAND(s)?AT(box,b)?ONBOX(monkey)?AT(banana,b)onbox(b)：猴子在b处爬上箱子AT(monkey,b)?HAND(

6、s)?AT(box,b)?ONBOX(monkey)?AT(banana,b)catch(banana)：猴子手中拿着bananaAT(box,b)?ONBOX(monkey)?HAND(banana)?AT(monkey,b)?AT(banana,b)(目标得解)猴子行动的规则序列是：go(a,c户movebox(c,b)fonbox(b)-catch(bananan)四、源代码#define_CRT_SECURE_NO_WARNINGS#include<stdio.h>inti;voidgo(charx,chary)printf("step%d:monkey从%ct至

7、U%cn",+i,x,y);/x表示猴子的位置，y为箱子的位置voidmovebox(charx,chary)printf("step%d:monkey把箱子从运至U%cn'；+i,x,y);/x表示箱子的位置，y为香蕉的位置)voidonbox()0printf("step%d:monkey爬上箱子n",+i);)voidcatch()printf("step%d:monkey摘到香蕉n",+i);voidmain()charmonkey,box,banana;printf("请用abc来表示猴子箱子香蕉的位置n&

8、quot;);printf("monkeytboxtbananan");scanf("%c,&monkey);getchar();printf("t");scanf("%c,&box);getchar();printf("tt");scanf("%c,&banana);getchar();printf("n操作步骤如下n");if(monkey!=box)go(monkey,box);if(box!=banana)movebox(box,banana);Ionb

9、ox();catch();printf("n");getchar();五、实验结果相关截图VisualStudio2015截图(图一)图一Ubuntu截图（图二）X口guest-Krzvxpubuntu；guest-Krzvxp#Jbuntui-/JS®$qcc猴子将香蕉大guest-KrzvMpubuntu:/桌面5"H./ut瞽用abc来表示猴子雨子香藕的位置monkeyaboxbbananac瓒作步辑如下stepl:nonkeyMa£$Jbstep2monk”杷箱手从b子副cqtfpm：nQnk.爬上箱子5gp4:nonMy播到香蕉quw

10、sJKr工vxpubur»tu：=/桌面$gee猴子播青黄gurt-K工vxpqubimu:一/克面$,/d.out请用abu来表示猴子箱子香蕉的位者nonkffnboxabananac操作步爨媚下stepi:nonk”把箱子从m运到cstepSfnonkeyK七箱子step31nonkeyflSJffStgue零七-Kr工npuburvtiK-/臬而$gee猴子推香戏.七gue与t>Kmpubur*tu:-/臬面$./d.out再用dbL来表示戒子帽子香瓶的位置nonkeyaboxabananaa操作步膘的下sLtpLriank七产爬上箱；fstepNtNonkE由到春福guQ£t-KrEvxp|0Liburitu$r/桌面$|图二六、心得体会通过这次实验，我学会了如