- 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,梅花)VL(x,菊花)VL(x,梅花)AL(x,菊花))
有人每天下午都去打篮球。
解:定义谓词
P(x): x是人
B(x): x打篮球
A(y): y是下午
将知识用谓词表示为:
(x )() (A(y) t B(x) AP(x))
新型计算机速度又快,存储容量又大。
解:定义谓词
NC(x): x是新型计算机
F(x): x速度快
B(x): x容量大
将知识用谓词表示为:
(一 x) (NC(x) T F(x)AB(x))
不是每个计算机系的学生都喜欢在计算机上编程序 。
解:定义谓词
S(x): x是计算机系学生
L(x, pragramming) : x 喜欢编程序
U(x,computer) : x使用计算机
将知识用谓词表示为:
? ( 一 x) (S(x)tL(x, pragramming) AU(x,computer))
凡是喜欢编程序的人都喜欢计算机 。
解:定义谓词
P(x): x是人
L(x, y): x 喜欢 y
将知识用谓词表示为:
(一 x) (P(x) AL(x,pragramming) tL(x, computer))
2.10用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一 条河的左岸,现在要把他们全部送到河的右岸去 ,农夫有一条船,过河时,除农夫外船上至
多能载狼、山羊、白菜中的一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。似规划出 一个确保全部安全过河的计划 。请写出所用谓词的定义,并给出每个谓词的功能及变量的个
体域。
解:(1)先定义描述状态的谓词
要描述这个问题,需要能够说明农夫、狼、羊、白菜和船在什么位置 ,为简化问题表
示,取消船在河中行驶的状态,只描述左岸和右岸的状态。并且,由于左岸和右岸的状态互 补,因此可仅对左岸或右岸的状态做直接描述 。本题选择对左岸进行直接描述的方法 ,即定
义谓词如下:
AL(x): x在左岸
其中,x的个体域是侬夫,船,狼,羊,白菜}。对应地,? AL(x)表示x在右岸。
问题的初始状态:
AL(农夫)
AL(船)
AL(狼)
AL(羊)
AL(白菜)
问题的目标状态:
?AL(农夫)
?AL(船)
?AL(狼)
?AL(羊)
?AL(白菜)
(2)再定义描述操作的谓词
本题需要以下4个描述操作的谓词:
L-R:农夫自己划船从左岸到右岸
L-R(x):农夫带着x划船从左岸到右岸
R-L:农夫自己划船从右岸到左岸
R-L(x):农夫带着x划船从右岸到左岸
其中,x的个体域是{狼,羊,白菜}。
对上述每个操作,都包括条件和动作两部分。它们对应的条件和动作如下
L-R:农夫划船从左岸到右岸
条件:AL(船),AL(农夫),? AL(狼)V?AL(羊),? AL(羊)V?AL(白菜)
动作:删除表:AL(船),AL(农夫)
添加表:? AL(船),? AL(农夫)
L-R(狼):农夫; 带着 :狼划船从左岸到右岸
条件:AL(船),AL(农夫),AL(狼),? AL(羊)
动作:删除表:AL(船),AL(农夫),AL(狼)
添加表:? AL(船),? AL(农夫),? AL(狼)
L-R(羊):农夫; 带着 :羊划船从左岸到右岸
条件:AL(船),AL(农夫),AL(羊), AL(狼), AL(白菜)
或: AL (船),AL (农夫),AL(羊),?AL( 狼),? AL (白菜)
动作:删除表:AL(船),AL(农夫),AL(羊)
添加表:? AL(船),? AL(农夫),? AL(羊)
L-R(白菜):农夫带着白菜划船从左岸到右岸
条件:AL(船),AL(农夫),AL(白菜),? AL(狼)
动作:删除表:AL(船),AL(农夫),AL(白菜)
添加表:? AL(船),? AL(农夫),? AL(白菜)
R-L:农夫划船从右岸到左岸
条件:? AL(船),? AL(农夫),AL(狼)VAL(羊),AL(羊)VAL(白菜)
或:? AL( 船 ),? AL (农夫),? AL(狼 ),? AL(白菜),AL(羊)
动作:删除表:? AL(船), ? AL(农夫)
添加表:AL(船),AL(农夫)
R-L(羊):农夫带着羊划船从右岸到左岸
条件:?AL(船),? AL(农夫),? AL(羊) , ? AL(狼), ? AL(羊), AL(白菜)
动作:删除表:? AL(船), ? AL(农夫),? AL(
原创力文档


文档评论(0)