- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二章知识表示
2.8设有如下语句,请用相应的谓词公式分别把他们表示出来:
有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花 。
解:定义谓词
P(x): x是人
L(x,y) : x 喜欢 y
其中,y的个体域是{梅花,菊花}。
将知识用谓词表示为:
(x )(P(x) t L(x,梅花)V L(x,菊花)V L(x,梅花)A L(x,菊花))
有人每天下午都去打篮球。
解:定义谓词
P(x): x是人
B(x) : x打篮球
A(y) : y是下午
将知识用谓词表示为:
(x )(-y) (A(y) t B(x) A P(x))
新型计算机速度又快,存储容量又大。
解:定义谓词
NC(x) : x是新型计算机
F(x): x速度快
B(x) : x容量大
将知识用谓词表示为:
(一 x) (NC(x) t F(x) A B(x))
不是每个计算机系的学生都喜欢在计算机上编程序。
解:定义谓词
S(x): x是计算机系学生
L(x, pragramming) : x 喜欢编程序
U(x,computer) : x使用计算机
将知识用谓词表示为:
? ( 一 x) (S(x) tL(x, pragramming) A U(x,computer))
凡是喜欢编程序的人都喜欢计算机。
解:定义谓词
P(x): x是人
L(x, y) : x 喜欢 y
将知识用谓词表示为:
(—x) (P(x) A L(x,pragramming) t L(x, computer))
2.9用谓词表示法求解机器人摞积木问题。设机器人有一只机械手,要处理的世界有一
张桌子,桌上可堆放若干相同的方积木块。 机械手有4个操作积木的典型动作:从桌上拣起
一块积木;将手中的积木放到桌之上; 在积木上再摞上一块积木; 从积木上面拣起一块积木。
积木世界的布局如下图所示。
图机器人摞积木问题
解:(1)先定义描述状态的谓词
CLEAR(x):积木x上面是空的。
ON(x, y):积木x在积木y的上面。
ONTABLE(x):积木x在桌子上。
HOLDING(x):机械手抓住X。
HANDEMPTY :机械手是空的。
其中,x和y的个体域都是{A, B, C}。
问题的初始状态是:
ONTABLE(A)
ONTABLE(B)
ON(C, A)
CLEAR(B)
CLEAR(C)
HANDEMPTY
问题的目标状态是:
ONTABLE(C)
ON(B, C)
ON(A, B)
CLEAR(A)
HANDEMPTY
(2)再定义描述操作的谓词
在本问题中,机械手的操作需要定义以下 4个谓词:
Pickup(x):从桌面上拣起一块积木 x。
Putdown(x):将手中的积木放到桌面上。
Stack(x, y):在积木x上面再摞上一块积木 y。
Upstack(x, y):从积木x上面拣起一块积木 y。
其中,每一个操作都可分为条件和动作两部分,具体描述如下:
Pickup(x)
条件:ONTABLE(x),HANDEMPTY ,CLEAR(x)
动作:删除表: ONTABLE(x),HANDEMPTY
添加表:HANDEMPTY(x)
Putdown(x)
条件:HANDEMPTY(x)
动作:删除表: HANDEMPTY(x)
添加表:ONTABLE(x),CLEAR(x) ,HANDEMPTY
Stack(x, y)
条件:
条件:HANDEMPTY(x) , CLEAR(y)
条件:HANDEMPTY,CLEAR(y) ,ON(y,x)动作:删除表: HANDEMPTY,ON(y, x)添加表:
条件:HANDEMPTY,CLEAR(y) ,ON(y,x)
动作:删除表: HANDEMPTY,ON(y, x)
添加表:HOLDING(y),CLEAR(x)
(3)问题求解过程
利用上述谓词和操作,其求解过程为:
ONTABLE(A)
ONTABLE(B)(
ON(C, A)
CLEAR(B)
CLEAR(C)
HANDEMPTY
Jpstack(A,C)
ONTABLE(A) ONTABLE(B) HOLDING(C) CLEAR(A) CLEAR(B) CLEAR(C)
Upstack(x, y)
ONTABLE(A)
ONTABLE(B)
Putdown(C) ONTABLE(C)
Pickup(B)
CLEAR(A)
CLEAR(B)
CLEAR(C)
HANDEMPTY
ONTABLE(A) ONTABLE(C) HOLDING(B)— CLEAR(A) CLEAR(B) CLEAR(C)
ONTABLE(A)
ONTABLE(C) Stack(C,B) )
ON(B,C)
CLEAR(A)
CLEAR(B)
HANDEMPT
Pickup(A
原创力文档


文档评论(0)