- 1、本文档共68页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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 归结演绎推理
归结演绎推理(消解原理)
一
您可能关注的文档
- 8进8出高清混合矩阵.doc
- 8阶与10阶幻方的制作方法.doc
- 8~格子磨配料自动检测和控制系统.pdf
- 7.3.2-多边形的内角和第2课时.ppt
- 9-7斯托克斯公式环流量与旋度.ppt
- 9.1在函数上添加包装器.pdf
- 80t钢包静置过程温降分析.pdf
- 9.2谓词逻辑的等价式和蕴涵式.ppt
- 90后个性婚纱照风格.doc
- 9532儿童文学期末复习题.doc
- 《剖宫产术后子宫瘢痕憩室治疗中的药物治疗新进展与应用》教学研究课题报告.docx
- 《基于区块链技术的互联网消费金融风险识别与防控体系中的风险控制机制创新研究》教学研究课题报告.docx
- 2025年冰雪旅游项目投资政策与法律法规解读报告.docx
- 8 《互联网金融风险监管体系中的金融风险防控与互联网金融监管政策创新研究》教学研究课题报告.docx
- 1 《区块链技术在电子政务中的实践与优化:以我国某省为例》教学研究课题报告.docx
- 小学劳动课程教学评价标准与方法研究教学研究课题报告.docx
- 《新冠疫情下康复患者心理康复干预中的心理辅导策略与实践研究》教学研究课题报告.docx
- 基于项目式学习的趣味科学实验在初中生创新能力培养中的应用研究教学研究课题报告.docx
- 2025-2026学年初中地理七年级上册湘教版(2024)教学设计合集.docx
- 2025-2026学年初中科学七年级下册华师大版(2024)教学设计合集.docx
文档评论(0)