- 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 设有如下语句,请用相应的谓词公式分别把他们表示出来:
(1) 有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花 。
解:定义谓词
P(x):x是人
L(x,y):x喜欢y
其中,y的个体域是{梅花,菊花}。
将知识用谓词表示为:
(x )(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(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.18 请对下列命题分别写出它们的语义网络:
(1) 每个学生都有一台计算机。
解:
(2) 高老师从3月到7月给计算机系学生讲《计算机网络》课。
解:
(5) 红队与蓝队进行足球比赛,最后以3:2的比分结束。
解:
2.19 请把下列命题用一个语义网络表示出来:
(1) 树和草都是植物;
解:
(2) 树和草都有叶和根;
解:
(3) 水草是草,且生长在水中;
解:
(4) 果树是树,且会结果;
解:
(5) 梨树是果树中的一种,它会结梨。
解:
2.25 假设有以下一段天气预报:“北京地区今天白天晴,偏北风3级,最高气温12o,最低气温-2o,降水概率15%。”请用框架表示这一知识。
解:
Frame天气预报
地域:北京
时段:今天白天
天气:晴
风向:偏北
风力:3级
气温:最高:12度
最低:-2度
降水概率:15%
2.26 按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。
解:师生框架
Frame Teachers-Students
Name:Unit(Last-name,First-name)
Sex:Area(male,female)
Default:male
Age:Unit(Years)
Telephone:Home Unit(Number)
Mobile Unit(Number)
教师框架
Frame Teachers
AKOTeachers-Students
Major:Unit(Major-Name)
Lectures:Unit(Course-Name)
Field:Unit(Field-Name)
Project :Area(National,Provincial,Other)
Default:Provincial
Paper:Area(SCI,EI,Core,General)
Default:Core
学生框架
Frame Students
AKO Teachers-Students
Major:Unit(Major-Name)
Classes:Unit(Classes-Name)
Degree:Area(doctor,mastor, bachelor)
Default:bachelor
确定性推理部分参考答案
3.11 把下列谓词公式化成子句集:
(x)(y)(P(x, y)∧Q(x, y))
(x)(y)(P(x, y)→Q(x, y))
(x)(y)(P(x, y)∨(Q(x, y)→R(x, y)))
(x) (y) (z)(P(x, y)→Q(x, y)∨R(x, z))
解:(1) 由于(x)(y)(P(x, y)∧Q(x, y))已经是Skolem标准型,且P(x, y)∧Q(x, y)已经是合取范式,所以可直接消去全称量词、合取词,得
{ P(x, y), Q(x, y)}
再进行变元换名得子句集:
S={ P(x, y), Q(u, v)}
(2) 对谓词公式(x)(y)(P(x, y)→Q(x, y)),先消去连接词“→”得:
(x)(y)(?P(x, y)∨Q(x, y))
此公式已为Skolem标准型。
再消去全称量词得子句集:
S={?P(x, y)∨Q
您可能关注的文档
最近下载
- 3.3《人间词话六则》课件-中职高二语文(高教版2024拓展模块上册).pptx
- 《人工智能应用导论》PPT全套完整教学课件.pptx VIP
- 体育课堂中团队合作游戏对团队意识培养的实践研究教学研究课题报告.docx
- 人工智能导论PPT全套课件.pptx VIP
- 3.2《文学作为语言艺术的独特地位》课件-中职高二语文(高教版2024拓展模块上册).pptx
- 医务科管理制度-标准版.doc VIP
- 初中英语阅读——篇章结构强化练习(附答案).pdf VIP
- 初中英语过去时强化练习(附答案).docx VIP
- 形容词和副词的比较级和最高级及专项练习(精品).doc VIP
- 2025年新版人教版四年级上册英语 四上Unit 5 The weather and us 单元整体教学设计.pdf VIP
文档评论(0)