AI(确定性推理2).pdfVIP

  1. 1、本文档共68页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
AI(确定性推理2)

第3章确定性推理 第3章确定性推理 本章内容: 3.1 推理的基本概念 3.2 推理的逻辑基础 3.3 自然演绎推理 3.4 归结演绎推理 3.5 基于规则的演绎推理 3.3 自然演绎推理 3.3 自然演绎推理 自然演绎推理 从一组已知为真的事实出发,直接运用经典 逻辑中的推理规则推出结论的过程称为自然演绎 推理。 自然演绎推理最基本的推理规则是三段论推 理,它包括: 假言推理 P, P→Q ⇒Q 假言三段论 P→Q, Q→R ⇒P→R 3.3 自然演绎推理 3.3 自然演绎推理 自然演绎推理的例子: 设已知如下事实: A, B, A→C, B∧C→D, D→Q 求证:Q为真。 证明:因为 A, A→C⇒C 假言推理 B, C⇒B ∧C 引入合取词 B ∧C,B ∧C→D ⇒D 假言推理 D, D→Q ⇒Q 假言推理 因此,Q为真 3.3 自然演绎推理 3.3 自然演绎推理 例3.6 设已知如下事实: (1) 只要是需要编程序的课,王程都喜欢。 (2) 所有的程序设计语言课都是需要编程序的课。 (3) C是一门程序设计语言课。 求证:王程喜欢C这门课。 证明:首先定义谓词 Prog(x) x是需要编程序的课 Like(x, y) x喜欢y Lang(x) x是一门程序设计语言课 3.3 自然演绎推理 3.3 自然演绎推理 把已知事实及待求解问题用谓词公式表示如下: Prog(x)→Like(Wang , x) ( ∀x)( Lang(x)→Prog(x)) Lang(C) 应用推理规则进行推理: Lang(y)→Prog(y) 全称固化 Lang(C),Lang(y)→Prog(y) ⇒Prog(C) 假言推 理 {C/y} Prog(C), Prog(x)→Like(Wang , x) ⇒ Like(Wang , C) 假言推理 {C/x} 因此,王程喜欢C这门课。 3.3 自然演绎推理 3.3 自然演绎推理 自然演绎推理 优点:定理证明过程自然,易于理解,并且有丰 富的推理规则可用(例如P72 中3.2.3的推理规则) 。 缺点:是容易产生知识爆炸,推理过程中得到的 中间结论一般按指数规律递增,对于复杂问题的推 理不利,甚至难以实现。 第3章确定性推理 第3章确定性推理 本章内容: 3.1 推理的基本概念 3.2 推理的逻辑基础 3.3 自然演绎推理 3.4 归结演绎推理 3.5 基于规则的演绎推理 3.4 归结演绎推理 3.4 归结演绎推理 归结演绎推理(消解原理) 一

文档评论(0)

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

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

1亿VIP精品文档

相关文档