猴子摘香蕉实验报告

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

2、 处，个体域：x?monkey, box,banana ， y?a,b,c；HAND(s):猴子手中拿着 s，个体域：s?box,ba nan a；ONBOX(monkey):猴子在箱子上；2. 使用谓词、连结词、量词来表示环境状态。问题的初始状态可表示为：So： AT(monkey,a) ? HAND(s) ?AT(box,c) ? ONBOX(monkey)?AT(banana,b)要达到的目标状态为：Sg： AT(box,b) ? ONBOX(mo nkey) ? HAND(ba nan a) ? AT(mo nkey,b) ? AT(ba nan a,b)3. 从初始状态到目标状态的转

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

4、n处条件：AT(monkey,m).删除：AT (monkey,m)动作：J增加:AT (monkey, n)movebox(m,n):猴子把箱子从m处移动到n处条件：AT(monkey,m) ) ? HAND(s) ? AT(box,m)一w删除：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(moey).增加：ONBOX(mo

5、ey)catch(m):猴子摘到香蕉条件：AT(monkey,m) ? HAND(s) ? AT(box,m) ? AT(banana,m)ONBOX(mo nkey)冷处；删除：HAND(s)动作：丿I增加:HAND(banaa)4. 按照行动计划，一步步进行状态替换,直至目标状态。5. AT(monkey,a) ? HAND(s) ?AT(box,c) ? ONBOX(monkey) ? AT(banana,b)- go(a, c)猴子从a走至UcAT(monkey,c) ? HAND(box) ? AT(box,c) ?ONBOX(monkey)AT(ba nan a,b)- moveb

6、ox(c, b):猴子把箱子从c处移动到b处AT(monkey,b) ? HAND(s) ?AT(box,b) ? ONBOX(monkey)AT(ba nan a,b)- onbox(b):猴子在b处爬上箱子AT(monkey,b) ? HAND(s) ?AT(box,b) ? ONBOX(monkey)AT(ba nan a,b)catch(bana na)：猴子手中拿着 bananaAT(box,b) ? ONBOX(mo nkey)? HAND(ba nan a) ?AT(mo nkey,b) ?AT(ba nan a,b)(目标得解) 猴子行动的规则序列是 ：go(a,c) t mo

7、vebox(c,b) 宀 onbox(b)宀catch(bananan)四、源代码#defi ne _CRT_SECURE_NO_WARNINGS#include int i;void go( char x, char y)printf( step %d:monkey 从。走到 %cn , +i, x, y);/x 表示猴子的位置，y 为箱子的位置void movebox( char x, char y)printf( step %d:monkey 把箱子从 c运到 %cn , +i, x, y);/x 表示箱子的位 置，y为香蕉的位置void on box()printf( step %d:

8、monkey 爬上箱子 n , +i);void catch() printf( step %d:monkey 摘到香蕉 n , +i);void mai n()char mon key, box, banana;printf(请用a b c来表示猴子箱子香蕉的位置n);printf( monkeytboxtbananan);sca nf(%c, & mo nkey);getchar();printf( t );sca nf(%c, &box);getchar();printf( tt);sea nf(%c, & ba nan a); getchar();printf( n操作步骤如下n);

9、if(m on key!=box)go( mon key,box);if( box!=ba nana)movebox(box,ba nan a); Ion box();catch ();printf( n);getchar();五、实验结果相关截图Visual Studio 2015 截图(图一)“ C:Users1I Studies 201cts燃子搁香執R怙“Donkey boxbanana1234monkey monkey monk monkev：操作步骤如下 step step step step图一Ubuntu截图（图二）X guest-Krzvxpubuntu: 桌面guest K

10、rzvxpubuntj桌面5 gcc 猴子摘香蕉+ u gu 亡 st-Krzvxpoubuntkj+/a + out请用m b亡来表示猴子箱子香蕉的位直 monkey a box b banana c操作步嚥如下step 1 :(*ionk巳y 从 a走至Ubstep 2:monlkey把箱字从b运到(：step 3:nonkey爬上箱孑step 4:rionkeyjS到香霍guest Krzvxpubuntu:/桌面S gcc 猴子摘香蕉乂 guest - Kr zvxpubun t * /a + out请用a b u来表示Jg子箱子香蕉的位直 monkey a box a banana c 操作步骤如下step ltPionkey把箱子从a运到tstep 2:monkey爬上铝子step 3: nonkeyfS到香蕉guest-Krzvxpubuntugcc 猴子摘杳蕉.c guest-KrzvxpubuntuT/acut 请用自b u来表示猴子箱子香蕉的位置 monkey a box abanana a 掾作步嚥如下 step l:nonkeySI子 step 2：Fionkeyffi到香蕉 guest-Krzvxpubuntur/桌面$ |图二六、心得体会通过这次实验，我学会了