猴子摘香蕉实验报告记录.docVIP

猴子摘香蕉实验报告记录 PAGE PAGE 1 ———————————————————————————————— 作者： ———————————————————————————————— 日期： 实验1：猴子摘香蕉问题的VC编程实现 一、实验目的 　　利用一阶谓词逻辑求解猴子摘香蕉问题并通过编程来实现 二、编程环境 本文主要编译环境是Windows 10 Visual Studio 2015 在Ubuntu 12.0 用gcc编译来演示问题的另外几种状态的解法 三、问题描述　　房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。 四、解决方案 定义描述环境状态的谓词。 AT(x,y)：x在y处，个体域：x?{monkey, box,banana }，y?{a,b,c}； HAND(s)：猴子手中拿着s，个体域：s?{box,banana}； ONBOX(monkey)：猴子在箱子上； 使用谓词、连结词、量词来表示环