人工智能实验三-词逻辑表示法

第三次实验报告

人工智能及其应用学号：20177710541姓名：王帅兵2020年10月5日TOC\o"1-5"\h\z实验内容 3\o"CurrentDocument"实验目的 3\o"CurrentDocument"实验步骤 4\o"CurrentDocument"实验结果 4\o"CurrentDocument"5存在问题 711实验内容房子里有一只猴子（即机器人），位于a处。在c处上方的天花板上有一串香蕉，猴子想吃，但摘不到。房间的b处还有一个箱子，如果猴子站到箱子上，就可以摸着天花板。如图1所示，对于上述问题，可以通过谓词逻辑表示法来描述知识。要求通过VC语言编程实现猴子摘香蕉问题的求解过程。2实验目的熟悉谓词逻辑表示法，通过程序实现详细了解谓词逻辑的实现过程3实验步骤用一个四元表列（W,x,Y,z）来表示这个问题状态w——猴子的水平位置x——当猴子在箱子顶上时取x=1；否则取x=0Y——箱子的水平位置z——当猴子摘到香蕉时取z=1；否则取z=0操作（算符）：goto（U）——表示猴子走到水平位置U（W，0，Y，z）goto（U）（U，0，Y，z）pushbox（V）——猴子把箱子推到水平位置V（W，0，W，z）pushbox（V） （V，0，V，z）条件：猴子与箱子必须在同一位置上，并且，猴子不是在箱子顶上应当注意的是，要应用算符pushbox（V），就要求产生式规则的左边，猴子与箱子必须在同一位置上，并且，猴子不是箱子顶上。这种强加于操作的适用性条件，叫做产生式规则的先决条件climbbox——猴子爬上箱顶（W，0，W，z）climbbox （W，1，W，z）条件：猴子和箱子应当在同一位置上，而且猴子不在箱顶上。grasp 猴子摘到香蕉（c，1，c，0） grasp （c，1，c，1条件：猴子和箱子都在位置c上，并且猴子已在箱子顶上。2・2・3 问题状态空间表示举例卜利用状态空间求解问题的过程■解题过程用T四元表列(W, Y,z)来表示这个问题状态/W-一推子的水平位置/x——当殿子在箱子顶上时取x=1；否则取工=Q/Y-一箱子的水平位置/z——当猴子摘到香蕉时取工=1；否则取片。A1＞利用状态空间求解问题的过程■解题过程这个问题的操作(算符)如下：“goto(U)——表示猴子走到水平位置U(W,0,Y,z)gcto(U)[U,0,Y,z)/pushbox(V)-—猴子把箱子雇到7K平位置V(W,0,W,z]pusbto(V).(V,0,V,z)条件：猴子与箱子必须在同一位置上，并且「猴子不是在箱子顶上应当注意的是，要应用算符RUshb®M1就要求产生式规则的左边，猴子与箱子必须在同小]一位置上r并且，猴子不是箱子顶上.这种强加于操作的适用性条件I口M故产生苴规则的III先决条件卜利用状态空间求解问题的过程dClimbbox——猴子爬上箱顶[W,6W,z] X(W,11W,z]紧件：猴子和箱子应当在同T立置上।而且猴子不在箱顶上./grasp 推子摘到香蕉©LJ0)graspr(cr1rcr1)赛件：猴子和箱子都在位置亡上，并且猴子已在箱子顶上.

目标状态令初始状态为(20,蚌0).这时,9包9(5是唯一适用的操作，并导致下一状态(U,0.bf0)n现在有3个适用的操作，即93。(切,pushbox(V)^[]climbb0人若U=b).而有厨酶侬融用于每个状态，我们就能够得到状志空间图目标状态从图不渐看空,把读初始状态变换为H标状态的操作序列为.做圾业),总域由越㈤阕岫gjtjj盅腐⑪Ai4实验结果!C:\Useri\wsb\Desktop\+tiR\c1.exeMonkeyBoxBananaCABStep1:mo成然从A走到BStep2：morikE¥把轴i从B运到CStep3:monkey爬上箱fStep4:monkey摘到香蕉Processreturned0(0x0)executiontine:0.047sPressanykeytocontinue.代码：#include<bits/stdc++.h>usingnamespacestd;inti;voidMonkey_Go_Box(charx,chary){printf("Step%d:monkey从%c走至"%。\/,++1,*,丫)；}voidMonkey_Move_Box(charx,chary){printf("Step%d:monkey把箱子从％。运到％c\n”,++i,x,y);}voidMonkey_On_Box(){printf("Step%d:monkey爬上箱子\n”,++i);}voidMonkey_Get_Banana(){printf("Step%d:monkey摘到香蕉\n”,++i);}intmain(){charMonkey='A',Box='B',Banana='C';printf("Monkey\tBox\tBanana\n");printf("\t\tC\n");printf(