猴子拿香蕉逻辑谓词猴子拿香蕉逻辑谓词
房内有一只猴子、一个箱子,天花板上挂了一串香蕉,其位置系如所关关关关关
示,猴子了拿到香蕉,它必把箱子推到香蕉下关关关关关关关关关关关关关关关关关关面,然后再爬到箱子上。定必要的,写出的初始关关关关关关关关关关关关关关关关
状,即示的状,、目状,猴子拿到了香蕉,关关关关关关关关关关关关关关关关关关关关关关站在箱子上,箱子位于位置b,。
关关关关定
关AT(x,y): x在y位置上
关BOX(y):箱子在 y的位置。
OVER,x,: x被挂在天花板上关EMPTY(x): x手中是空的
关HO...
猴子拿香蕉逻辑谓词
房内有一只猴子、一个箱子,天花板上挂了一串香蕉,其位置系如所关关关关关
示,猴子了拿到香蕉,它必把箱子推到香蕉下关关关关关关关关关关关关关关关关关关面,然后再爬到箱子上。定必要的,写出的初始关关关关关关关关关关关关关关关关
状,即示的状,、目状,猴子拿到了香蕉,关关关关关关关关关关关关关关关关关关关关关关站在箱子上,箱子位于位置b,。
关关关关定
关AT(x,y): x在y位置上
关BOX(y):箱子在 y的位置。
OVER,x,: x被挂在天花板上关EMPTY(x): x手中是空的
关HOLD(x, z): x拿着z
关ON (x,w): x在w的上面
关NOT_on (x,w) : x在w的上面关BAN(y):香蕉在 y的位置
猴子的位置: a关
香蕉位置:关关b
关关箱子的位置:c
关关关关 的初始状:
AT(monkey, a)?BOX(c) ?BAN(b) ?OVER,b,?EMPTY(monkey)?NOT_on
(monkey, box)
关关关关关关关的目状是:
AT(monkey, b)?BOX(b)?BAN(b)?HOLD(monkey, banana)?ONmonkey, box)
操作:
GOTO(x, y):从 x关走到y关。
PUSH(x, y):把箱子从 x关推倒y关。
CLIMB(x):在 x关爬上箱子。
GET(x):在 x关得到香蕉。
关关关关关关关关关关关关操作的条件与作如下:
GOTO(x, y)
条件:AT(monkey, x)NOT_on (monkey, box)?
关关关关作:除:AT(monkey, x)
添加:AT(monkey, y)PUSH(x, y)
条件:AT(monkey, x)BOX(x)NOT_on (monkey, box) ??
关关关关作:除:AT(monkey, x)BOX(x) ?
添加:AT(monkey, y)BOX(y)?
关CLIMB(x)
条件:AT(monkey, x)BOX(x) NOT_on (monkey, box)??
关关关关作:除:NOT_on (monkey, box)
添加:ON (monkey, box)
GET(x)
条件:AT(monkey, x)BOX(x)ON (monkey, box) ??
关关关关作:除:EMPTY(monkey)
添加:HOLD(monkey, banana)
本文档为【猴子拿香蕉逻辑谓词】,请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑,
图片更改请在作品中右键图片并更换,文字修改请直接点击文字进行修改,也可以新增和删除文档中的内容。
该文档来自用户分享,如有侵权行为请发邮件ishare@vip.sina.com联系网站客服,我们会及时删除。
[版权声明] 本站所有资料为用户分享产生,若发现您的权利被侵害,请联系客服邮件isharekefu@iask.cn,我们尽快处理。
本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用。
网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。