人工智能习题作业推理I习题答案.pdfVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第四章 推理课后习题及答案 一、选择题: 1. 关于“消解原理”的说法,下列表述正确的是: ( AD ) A 消解原理也称为归结原理,它是一种重要的推理规则 B 消解原理也可以用于析取式进行推理 C 规则演绎的过程实际上就是消解推理的过程 D 消解原理是由 Robinson 于 1965 年发现的,是以逻辑演 2. 根据本章的论述,把任一谓词演算公式化为子句集有九个步骤,请按正确的 顺序把它们排列起来: a 消去蕴涵符号 b 消去存在量词 c 对变量标准化 d 把母式化为合取范式 e 消去连词符号∧ f 更换变量名称 g 消去全称量词 h 化为前束形 i 减少否定符号 的辖域 正确的顺序是: ( B ) A iachbdgfe B aicbhdgef C bachidgfe D cbaihdgef 3. 运用消解推理规则的前提是: ( B ) A 被作用的两个公式都是析取范式 B 被作用的两个子句中存在互补对 C 任意两个公式都可以运用消解推理 D 必须符合假言推理、合并、重言式、空子句 (矛盾)或链式(三段论)之一 4. 产生式系统的表示主要包括哪两部分: ( BC ) A 控制策略的表示 B 事实的表示 C 产生式规则的表示 D 冲突的表示 5. 非单调推理的特点是: ( D ) A 在整个推理过程中,只采用正向推理,而不用反向推理 B 在整个推理过程中,只采用反向推理,而不用正向推理 C 在整个推理过程中,已知为真的命题数目随时间而严格减少 D 在整个推理过程中,已知为真的命题数目并不一定随时间而严格增加 6. 已知规则“如果张三是 25 岁,则李四很可能是 20 岁”,请选出下列表达式 中最能表达该规则的式子。 ( D ) A .IF (AGE ZHANGSHAN 25 0.8) THEN (AGE LISI 25 0.8) B .IF 张三是 25 岁 THEN 李四是 20 岁左右 C .IF (AGE ZHANGSHAN 25 0.8) THEN (AGE LISI 25 0.8) D .IF (AGE ZHANGSHAN 25) THEN (AGE LISI 25), CF = 0.8 7. 已有公式“(AGE ZHANGSHAN 25)”和规则“IF (AGE ZHANGSHAN 25) THEN (AGE HIS-FARTHER 45)” ,则不可能存在事实: ( D ) A .(AGE ZHANGSHAN 25) B .(AGE HIS-FARTHER 45) C .(AGE HIS-FARTHER 45 0.9) D. (AGE HIS-FARTHER 25) 8. 公式(▽x) {[(彐y)(▽z)P(x,y,z)]=(▽u)Q(x,u)},在消去蕴涵符号后,得到: ( C ) A ~(▽x) {[(彐y)(▽z)P(x,y,z)] ∧(▽u)Q(x,u)} B (▽x) {~[(彐y)(▽z)P(x,y,z)] ∧(▽u)Q(x,u)} C (▽x) {~[(彐y)(▽z)P(x,y,z)] ∨(▽u)Q(x,u)} D ~(▽x) {[(彐y)(▽z)P(x,y,z)] ∨(▽u)Q(x,u)} 9. 公式 P和~P∨Q消解后,不可能得到的公式是: ( BCD ) A Q B ~P C P D ~P∨Q 10. 对于谓词公式 (▽x){ ~P(x) ∨ [P(x)∧Q(x, g(x))],经过把母式化为合取范 式后,得到 ( C ) A (▽x){ ~P(x) ∨ [P(x)∧Q(x, g(x))] B { ~P(x) ∨ [P(x)∧Q(x, g(x))] C (▽x) [(~P(x) ∨P(x))∧(~P(x

文档评论(0)

anma + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档