- 1、本文档共21页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
.专业整理.
.学习帮手.
研究生( 人工智能 )报告
题目:人工智能实验报告
学 号
姓 名
专 业
电磁场与微波技术
指 导 教 师
院(系、所)
华中科技大学研究生院制
问题二
利用一阶谓词逻辑求解猴子摘香蕉问题:房内有一个猴子,一个箱子,天花板上挂了一串香蕉,其位置如图所示,猴子为了拿到香蕉,它必须把箱子搬到香蕉下面,然后再爬到箱子上。请定义必要的谓词,列出问题的初始化状态(即下图所示状态),目标状态(猴子拿到了香蕉,站在箱子上,箱子位于位置b)。
图 SEQ 图 \* ARABIC 1 猴子香蕉问题
解:
定义描述环境状态的谓词。
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,b)→CLIMB(box,b)→
CARRY(banana,ceiling)
当猴
您可能关注的文档
- 合伙人的权利和义务.doc
- 赫山区2018年上学期部编七年级语文期末考试卷.doc
- 红茶品牌定位范文06108.doc
- 互联网+市场分析报告.doc
- 华夏会计网唐山市2019年继续教育考试(答案).doc
- 化工原理_吸收习题与答案.doc
- 环境保护事件管理制度汇编.doc
- 机械创新设计任务书.doc
- 基于MATLAB的伪随机序列发生器的设计说明.doc
- 绩效考核手册(实用附件_全套工具表格).doc
- 注册建造师一级(机电工程管理与实务)模拟试卷4.pdf
- 注册建造师一级(建设工程经济)模拟试卷494.pdf
- 卫生招聘考试之卫生招聘(文员)综合提升练习题库附答案.docx
- 卫生招聘考试之卫生招聘(文员)练习题库附答案.docx
- 壶关县融晟物资贸易有限公司招聘笔试题库2024.pdf
- 长治市荣信节能科技服务有限公司招聘笔试题库2024.pdf
- 2023年卫生招聘考试之卫生招聘(文员)练习题.docx
- 2023年卫生招聘考试之卫生招聘(文员)练习题库和答案.docx
- 2023年卫生招聘考试之卫生招聘(文员)练习题库包括详细解答.docx
- 2023年卫生招聘考试之卫生招聘(文员)模拟题库包括详细解答.docx
文档评论(0)