中科院研究生——人工智能原理课件ppt12-经营管理(编辑修改稿)内容摘要：
utive laws. The Principles of AIWang Wenjie Resolution: 6 169。 Graduate School , Chinese academy of Sciences. Spring 2020 Resolution • 对任意三个子句 p、 q 和 r p r, q ~r p q 或者： for C1= P C1’, C2=~P C2’ P C1’, ~P C2’ C1’ C2’ • 归结式： R(C1, C2)=C1’ C2’ • 证明： The Principles of AIWang Wenjie Resolution: 7 169。 Graduate School , Chinese academy of Sciences. Spring 2020 Resolution Refutations（ 1） • 定理证明的任务 : 由前提 A1 A2 ... An 推出结论 B 即证明 :A1 A2 ... AnB 永真 • 转化为证明 : A1 A2 ... An ~B为永假式 • 归结推理就是 :从 A1 A2 ... An ~B出发 ,使用 归结推理规则 来找出 矛盾 ,最后证明定理 A1 A2 ... AnB的成立 The Principles of AIWang Wenjie Resolution: 8 169。 Graduate Schoo。阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体)，仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权，请联系我们反馈本站将在三个工作日内改正。