猴子摘香蕉_猴子香蕉游戏下载

猴子摘香蕉_猴子香蕉游戏下载注意:不是严格按照一阶谓词逻辑写法,仅供参考题目:房内有一个猴子,一个箱子,天花板挂了一串香蕉,其位置如图所示。猴子为了拿到香蕉,它必须把箱子搬到香蕉下面,然后再爬到箱子上。请定义必要的谓词,列出问题的初始化状态(即下图所示状态),目标状态(猴子拿到了香蕉,站在箱子上,箱子位于位置b)步骤:1、定义描述环境状态的谓词AT(x,y)x在y处x={monke…

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE稳定放心使用

注意:不是严格按照一阶谓词逻辑写法,仅供参考

题目:

房内有一个猴子,一个箱子,天花板挂了一串香蕉,其位置如图所示。猴子为了拿到香蕉,它必须把箱子搬到香蕉下面,然后再爬到箱子上。请定义必要的谓词,列出问题的初始化状态(即下图所示状态),目标状态(猴子拿到了香蕉,站在箱子上,箱子位于位置b)
在这里插入图片描述

步骤:

1、定义描述环境状态的谓词

AT(x,y)         x在y处       x={monkey,box,banana}  y={a,b,c}
HOLD(s)         猴子拿着s     s={banana,empty}
ON(z)           z在箱子上     z={monkey,empty}

2、使用谓词、连接词、量词来表示环境状态

初始状态S:
AT(monkey,a)∧AT(banana,b)∧AT(box,c)∧HOLD(empty)∧ON(empty)
目标状态T:
AT(monkey,b)∧AT(banana.b)∧AT(box,b)∧HOLD(banana)∧ON(monkey)

3、从初始状态到目标状态的转化,猴子需要完成一系列的操作,定义操作谓词表示其动作

GO(m,n)    猴子从m处移动到n处        m,n={a,b,c}
MOVE(m,n)  猴子把箱子从m处移到n处    m,n={a,b,c}
CLIME(m)   猴子在m处爬上箱子          m={a,b,c}
PICK(m)    猴子在m处摘到香蕉          m={a,b,c}

这四个操作也可以用条件和动作来表示。条件直接用谓词公式表示,是为完成相应操作所必须具备的条件:当条件中的事实均成立时,则可执行该操作。动作通过前后状态的变化表示,即通过删除或增加谓词公式来描述动作前后的状态。

GO(m,n)    猴子从m处移动到n处        m,n={a,b,c}
条件:AT(monkey,m)
动作_删除:AT(monkey,m)
动作_增加:AT(monkey,n)

MOVE(m,n)  猴子把箱子从m处移到n处    m,n={a,b,c}
条件:AT(monkey,m)∧AT(box,m)
动作_删除:AT(monkey,m)∧AT(box,m)
动作_增加:AT(monkey,n)∧AT(box,n)

CLIME(m)   猴子在m处爬上箱子          m={a,b,c}
条件:AT(monkey,m)∧AT(box,m)∧AT(banana,m)∧ON(empty)
动作_删除:ON(empty)
动作_增加:ON(monkey)

PICK(m)    猴子在m处摘到香蕉          m={a,b,c}
条件:AT(monkey,m)∧AT(box,m)∧AT(banana,m)∧ON(monkey)∧HOLD(empty)
动作_删除:HOLD(empty)
动作_增加:HOLD(banana)

4、按照行动计划,一步步使用操作进行状态变化,直至达到目标状态

AT(monkey,a)∧AT(banana,b)∧AT(box,c)∧HOLD(empty)∧ON(empty)
GO(a,c)
AT(monkey,c)∧AT(banana,b)∧AT(box,c)∧HOLD(empty)∧ON(empty)
MOVE(c,b)
AT(monkey,b)∧AT(banana,b)∧AT(box,b)∧HOLD(empty)∧ON(empty)
CLIME(b)
AT(monkey,b)∧AT(banana,b)∧AT(box,b)∧HOLD(empty)∧ON(monkey)
PICK(b)
AT(monkey,b)∧AT(banana.b)∧AT(box,b)∧HOLD(banana)∧ON(monkey)

5、最终行动操作序列为:

GO(a,c)  MOVE(c,b)  CLIME(b)  PICK(b)

运行结果:

在这里插入图片描述

代码:

#include <iostream>
#include <string>
#include <vector>

using namespace std;

int step = 1;

struct state
{
	string AT_monkey;
	string AT_banana;
	string AT_box;
	string HOLD;
	string ON;
};

void print(struct state s)
{
	cout << "AT(monkey," << s.AT_monkey << "),  ";
	cout << "AT(banana," << s.AT_banana << "),  ";
	cout << "AT(box," << s.AT_box << "),  ";
	cout << "HOLD(" << s.HOLD << "),  ";
	cout << "ON(" << s.ON << ")" << endl;
}

bool go(struct state& s, string pos1, string pos2)
{
	if (s.AT_monkey == pos1)
	{
		s.AT_monkey = pos2;
		cout << "      ==>step" << step++ << ": " << "go(" << pos1 << "," << pos2 << ")" << endl;
		print(s);
		return true;
	}
	else
		return false;
	return true;
}

bool move(struct state& s, string pos1, string pos2)
{
	if (s.AT_monkey == pos1 && s.AT_box == pos1)
	{
		s.AT_monkey = pos2;
		s.AT_box = pos2;
		cout << "      ==>step" << step++ << ": " << "move(" << pos1 << "," << pos2 << ")" << endl;
		print(s);
		return true;
	}
	else
		return false;
	return true;
}

bool clime(struct state& s, string pos)
{
	if (s.AT_monkey == pos && s.AT_box == pos && s.AT_banana == pos && s.ON == "empty")
	{
		s.ON = "monkey";
		cout << "      ==>step" << step++ << ": " << "clime(" << pos << ")" << endl;
		print(s);
		return true;
	}
	else
		return false;
	return true;
}

bool pick(struct state& s, string pos)
{
	if (s.AT_monkey == pos && s.AT_box == pos && s.AT_banana == pos && s.HOLD == "empty" && s.ON == "monkey")
	{
		s.HOLD = "banana";
		cout << "      ==>step" << step++ << ": " << "pick(" << pos << ")" << endl;
		print(s);
		return true;
	}
	else
		return false;
	return true;
}



int main()
{
	string monkey, banana, box;
	struct state s;

	cout << "Please input the position of monkey,banana,box using a,b,c" << endl;
	cin >> monkey >> banana >> box;
	cout << endl << "The position of monkey,banana,box is showed as follow:" << endl;
	cout << "monkey:  " << monkey << endl;
	cout << "banana:  " << banana << endl;
	cout << "box:     " << box << endl;

	s.AT_monkey = monkey;
	s.AT_banana = banana;
	s.AT_box = box;
	s.HOLD = "empty";
	s.ON = "empty";

	cout << endl << "The operation steps is showed as follow:" << endl;
	print(s);
	go(s, s.AT_monkey, s.AT_box);
	move(s, s.AT_monkey, s.AT_banana);
	clime(s, s.AT_banana);
	pick(s, s.AT_banana);

	cout << endl << endl;

	system("pause");
}
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/189198.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • linux 驱动移植_免驱动led灯好吗

    linux 驱动移植_免驱动led灯好吗通过前两篇文章的介绍,我们已经把linux内核移植到了tiny210上,但是看到的现象都是通过超级终端来观察的,下面了,我们介绍一下led灯的移植,给大家一个更直观的感受。这篇文章主要的内容如下:1.对平台总线的简介;2.led驱动的移植。一.平台总线   首先介绍一下,我们为什么要简单介绍一下平台总线呢?因为我们是做led驱动的移植,而不是自己编写led的驱动代码。我们要移植

  • 光耦的參数的理解

    光耦的參数的理解

  • python专业版激活成功教程_Python社区版和专业版的差距

    python专业版激活成功教程_Python社区版和专业版的差距PyCharm是一种PythonIDE,带有一整套可以帮助用户在使用Python语言开发时提高其效率的工具。PyCharm最常用的两个版本就是社区版和专业版,这两个版本区别如下:专业版和社区版的区别除了这两版本之外,还有一个版本就是教育版,这三个有什么区别呢?1.收费不同首先就是三者的收费不同:专业版是收费的,另外两个是免费的。2.功能不同pyCharm专业版是功能最丰富的,与社区版相比,PYc…

  • 八皇后问题详解(四种解法)

    八皇后问题详解(四种解法)如果你去百度百科八皇后这个问题,你会发现人家也是历史上有头有脸的一个问题,最后一句“计算机发明后就有一万种方式解决这个问题”读起来也让程序猿们很快活。闲话少说,开始阐述我的思路:最无脑的解法一定是八个for遍历,浪费了太多的计算资源在各种无用功上面,我们稍微构思一下:首先如何决定下一个皇后能不能放这里可以有两种思路,第一种是尝试维护一个8*8的二维矩阵,每次找到一个空位放下一个皇后就把对应行列对

  • EnableEventValidation 是什麽東東?

    EnableEventValidation 是什麽東東?
    回发或回调参数无效。在配置中使用或在页面中使用<%@PageEnableEventValidation="true"%>启用了事件验证。出于安全目的,此功能验证回发或回调事件的参数是否来源于最初呈现这些事件的服务器控件。如果数据有效并且是预期的,则使用ClientScriptManager.RegisterForEventValidation方法来注册回发或回调数据以进行验证。
    说明:执行

  • 如何在Mac中打开pdm文件「建议收藏」

    在windows系统我们打开pdm文件同样都是使用powerdesigner,功能齐全强大,但是powerdesigner没有Mac版本。网上有个parsePDM下下来了也根本不能使用。下面我给上一个我目前在使用的工具,简单易用。使用起来十分方便点击这里下载文件

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号