欢迎来到淘文阁 - 分享文档赚钱的网站! | 帮助中心 好文档才是您的得力助手!
淘文阁 - 分享文档赚钱的网站
全部分类
  • 研究报告>
  • 管理文献>
  • 标准材料>
  • 技术资料>
  • 教育专区>
  • 应用文书>
  • 生活休闲>
  • 考试试题>
  • pptx模板>
  • 工商注册>
  • 期刊短文>
  • 图片设计>
  • ImageVerifierCode 换一换

    人工智能的诞生 (31).pdf

    • 资源ID:52832152       资源大小:334.49KB        全文页数:4页
    • 资源格式: PDF        下载积分:10金币
    快捷下载 游客一键下载
    会员登录下载
    微信登录下载
    三方登录下载: 微信开放平台登录   QQ登录  
    二维码
    微信扫一扫登录
    下载资源需要10金币
    邮箱/手机:
    温馨提示:
    快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
    如填写123,账号就是123,密码也是123。
    支付方式: 支付宝    微信支付   
    验证码:   换一换

     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    人工智能的诞生 (31).pdf

    1.消解演绎和反演的定义:消解演绎和反演的定义:设S是子句集,c是子句。若存在一个子句序列c1,cn满足 cn=c 任意一个 ci 或者属于 S 或者它前面的子句 ck,cl (ik,il)的消解式则称 c1,cn 是从子句集 S 到子句 c 的一个消解演绎当 c=时的消解演绎称为(消解)反演。2.反演的基本算法:反演的基本算法:把谓词公式转化为子句集S(所有子句的变量名不同)如空子句成为子句集的子句,则算法结束在子句集中选取两个不同的可以消解的子句ci,cj计算 ci ,cj 的消解式 rij把 rij 加到子句集中,形成新的子句集S转到3.反演的流程图反演的流程图例:例:设子句集为S=,求S的一个反演。S的一个反演为:S的另一个反演为:14.消解反演求解过程消解反演求解过程 消解反演消解反演(数学定理的证明,论断是否成立,即反演)消解反演证明定理的思路非常类似于数学中的反证法。给定一个公式集 S(前提条件)和目标公式 L(结论),通过反演来求证目标公式 L,其证明过程为:否定 L,得到 L 把 L 加到 S 中 把新形成的集合 S,L 化为子句集(简化化法)应用消解原理,试图导出一个表示矛盾的空子句 反演证明过程的正确性:反演证明过程的正确性:设SF1,Fn 是前提条件,L是欲求证的结论,则从前提条件推出结论的问题,可以表示成:并证明其永真(永远成立)。先将公式取“非”:(F1Fn)L)(F1Fn)L F1Fn L利用消解原理来证明它是永假的(即,构造一个反演)。实际中,我们可以将 F1Fn L中的每一个部分化成子句集,合并后得到完整的子句集,然后利用消解原理导出空子句(反演)。例例:用消解反演证明前提:每一个储蓄钱的人都获得利息结论:如果没有利息,那么就没有人去储蓄钱证明:设:S(x,y):某人 x 储蓄 y(数量)M(x):x(数量)是钱I(x):x(数量)是利息E(x,y):某人 x 获得 y(数量)前提:每一个储蓄钱的人都获得利息:2结论:如果没有利息,那么就没有人去储蓄钱将前提条件化成子句集:前提条件的子句集:结论取非:化成子句集:“结论非”的子句集:完整的子句集:34

    注意事项

    本文(人工智能的诞生 (31).pdf)为本站会员(刘静)主动上传,淘文阁 - 分享文档赚钱的网站仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知淘文阁 - 分享文档赚钱的网站(点击联系客服),我们立即给予删除!

    温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。




    关于淘文阁 - 版权申诉 - 用户使用规则 - 积分规则 - 联系我们

    本站为文档C TO C交易模式,本站只提供存储空间、用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。本站仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知淘文阁网,我们立即给予删除!客服QQ:136780468 微信:18945177775 电话:18904686070

    工信部备案号:黑ICP备15003705号 © 2020-2023 www.taowenge.com 淘文阁 

    收起
    展开