猴子摘香蕉实验报告含代码.doc

  1. 1、本文档共11页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
猴子摘香蕉实验报告含代码

华 中 科 技 大 学 《人工智能与模式识别》 实验报告 院 系: 电子与信息工程系 班 级: 姓 名: 同 组 人: 指导老师: 电 话: 邮 箱: 日 期: 2013年12月24日 实验内容 利用一阶谓词逻辑求解猴子摘香蕉问题:房内有一个猴子,一个箱子,天花板上挂了一串香蕉,其位置如图所示,猴子为了拿到香蕉,它必须把箱子搬到香蕉下面,然后再爬到箱子上。请定义必要的谓词,列出问题的初始化状态(即下图所示状态),目标状态(猴子拿到了香蕉,站在箱子上,箱子位于位置b)。(附加:从初始状态到目标状态的谓词演算过程。) 实验平台 VC6.0 实验分析 定义描述环境状态的谓词。 AT(x,w):x在t处,个体域:x?{monkey},w?{a,b,c,box}; HOLD(x,t):x手中拿着t,个体域:t?{box,banana}; EMPTY(x):x手中是空的; ON(t,y):t在y处,个体域:y?{b,c,ceiling}; CLEAR(y):y上是空的; BOX(u):u是箱子,个体域:u?{box}; BANANA(v):v是香蕉,个体域:v?{banana}; 使用谓词、连结词、量词来表示环境状态。 问题的初始状态可表示为: So:AT(monkey,a)?EMPTY(monkey)?ON(box,c)?ON(banana,ceiling)?CLEAR(b)?BOX(box)? BANANA(banana) 要达到的目标状态为: Sg:AT(monkey,box)?HOLD(monkey,banana)?ON(box,b)?CLEAR(ceiling)?CLEAR(c)? BOX(box)?BANANA(banana) 从初始状态到目标状态的转化, 猴子需要完成一系列操作, 定义操作类谓词表示其动作。 WALK(m,n):猴子从m走到n处,个体域:m,n?{a,b,c}; CARRY(s,r):猴子在r处拿到s,个体域:r?{c,ceiling},s?{box,banana}; CLIMB(u,b):猴子在b处爬上u; 这3个操作也可分别用条件和动作来表示。条件直接用谓词公式表示,是为完成相应操作所必须具备的条件;当条件中的事实使其均为真时,则可激活操作规则,于是可执行该规则中的动作部分。动作通过前后状态的变化表示,即通过从动作前删除或增加谓词公式来描述动作后的状态。 WALK(m,n):猴子从m走到n处 条件:AT(monkey,m) 动作: CARRY(s,r):猴子在r处拿到s 条件:AT(monkey,r)?EMPTY(monkey)?ON(s,r)?BOX(box)?BANANA(banana) 动作: CLIMB(u,b):猴子在b处爬上u 条件:AT(monkey,b)?HOLD(monkey,u)?CLEAR(b)?BOX(box)?BANANA(banana) 动作: 按照行动计划, 一步步进行状态替换, 直至目标状态。 AT(monkey,a)?EMPTY(monkey)?ON(box,c)?ON(banana,ceiling)?CLEAR(b)?BOX(box)? BANANA(banana) AT(monkey,c)?EMPTY(monkey)?ON(box,c)?ON(banana,ceiling)?CLEAR(b)?BOX(box)? BANANA(banana) AT(monkey,c)?HOLD(monkey,box)?ON(banana,ceiling)?CLEAR(b)?CLEAR(c)?BOX(box)? BANANA(banana) AT(monkey,b)?HOLD(monkey,box)?ON(banana,ceiling)?CLEAR(b)?CLEAR(c)?BOX(box)? BANANA(banana) AT(monkey,box)?EMPTY(monkey)?ON(box,b)?ON(banana,ceiling)?CLEAR(c)?BOX(box)? BANANA(banana) AT(monkey,box)?HOLD(monkey,banana)?ON(box,b)?CLEAR(ceiling)?CLEAR(c)?BOX(box)? BANANA(banana)(目标得解) 猴子行动的规则序列是:WALK(a,c)→CARRY(c,box)→WALK(c

文档评论(0)

haihang2017 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档