- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
郑州大学工学院和乐图文(南三食堂旁)QQ :459782113 更多资料、店内咨询
(1) 有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊
花 。
解: 定义谓词
P(x) : x 是人
L(x,y) : x 喜欢 y
中, y 的个体域是 { 梅花,菊花 } 。
将知识用谓词表示为:
( x ) (P(x) → L(x, 梅花 ) ∨ L(x, 菊花 ) ∨ L(x, 梅花 ) ∧ L(x,
菊花 ))
(2) 有人每天下午都去打篮球。
解: 定义谓词
P(x) : x 是人
B(x) : x 打篮球
A(y) : y 是下午
将知识用谓词表示为:
将知识用谓词表示为:
( x )( y ) (A(y) → B(x) ∧ P(x))
(3) 新型计算机速度又快,存储容量又大。
解: 定义谓词
NC(x) : x 是新型计算机
F(x) : x 速度快
B(x) : x 容量大
第 1 页 共 15 页
郑州大学工学院和乐图文(南三食堂旁)QQ :459782113 更多资料、店内咨询
将知识用谓词表示为:
( x ) (NC(x) → F(x) ∧ B(x))
(4) 不是每个计算机系的学生都喜欢在计算机上编程序
解: 定义谓词
S(x) : x 是计算机系学生
L(x, pragramming) : x 喜欢编程序
U(x,computer) : x 使用计算机
将知识用谓词表示为:
¬ ( x ) (S(x) → L(x, pragramming) ∧ U(x,computer))
(5) ( 凡是喜欢编程序的人都喜欢计算机。
解: 定义谓词
P(x) : x 是人
L(x, y) : x 喜欢 y
将知识用谓词表示为:
( x ) (P(x) ∧ L(x,pragramming) → L(x, computer))
2.10 用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山
羊、白菜全部放在一条河的左岸,现在要把他们全部送到河的右岸去,
农夫有一条船,过河时,除农夫外船上至多能载狼、山羊、白菜中的
一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。似规划出一个
确保全部安全过河的计划。请写出所用谓词的定义,并给出每个谓词
的功能及变量的个体域。
解:(1) 先定义描述状态的谓词
第 2 页 共 15 页
郑州大学工学院和乐图文(南三食堂旁)QQ :459782113 更多资料、店内咨询
要描述这个问题,需要能够说明农夫、狼、羊、白菜和船在什么
位置,为简化问题表示,取消船在河中行驶的状态,只描述左岸和右
岸的状态。并且,由于左岸和右岸的状态互补,因此可仅对左岸或右
岸的状态做直接描述。本题选择对左岸进行直接描述的方法,即定义
谓词如下:
AL(x) :x 在左岸
其中,x 的个体域是{农夫,船,狼,羊,白菜}。对应地,¬AL(x)表
示 x 在右岸。
问题的初始状态:
AL(农夫)
AL(船)
AL(狼)
AL(羊)
AL( 白菜)
问题的目标状态:
¬AL(农夫)
¬AL(船)
¬AL(狼)
¬AL(羊)
¬AL( 白菜)
(2) 再定义描述操作的谓词
本题需要以下 4 个描述操作的谓词:
第 3 页 共 15 页
郑州大学工学院和乐图文(南三食堂旁)QQ :459782113 更多资料、店内咨询
L-R :农夫自己划船从左岸到右岸
L-R(x) :农夫带着x 划船从左岸到右岸
R-L :农夫自己划船从右岸到左岸
R-L(x) :农夫带着x 划船从右岸到左岸
其中,x 的个体域是
文档评论(0)