『无忧PPT』PPT免费下载，PPT素材，PPT背景PPT图片PPT模板PPT制作免费下载的门户网站Rss 2.0无忧PPT－PPT门户网站

PPT模板下载排行榜(New) 锐普原创PPT模板 网友原创PPT模板 精品PPT模板

中科院研究生院-人工智能原理课件|Powerpoint模板

::推荐PPT模板::
  • ::中科院研究生院-人工智能原理课件下载地址::
  • 下载地址1  
  • 当日下载：次
  • 下载总计：次
  • 上传作者：nico
  • 来源：本站原创
  • 中科院研究生院-人工智能原理课件简介
  • 3.1  Introduction
    证明的基本思想是：
          设F1、…、Fn、G为公式，G为F1、…、Fn的逻辑推论，当且仅当公式（（F1…Fn）G）是有效的
    也可以采用反证法的思想：
          设F1、…、Fn、G为公式，G为F1、…、Fn的逻辑推论，当且仅当公式（F1…Fn  G）是不可满足的
    归结法的本质上就是一种反证法，它是在归结推理规则的基础上实现的：
           为了证明一个命题P恒真，它证明其反命题～P恒假，即不存在使得P为真的解释
    3.2 命题逻辑中的归结原理
    3.2.1 子句和子句形
    3.2.2 归结
    3.2.3 归结反演
    3.2.4 合理性和完备性
    3.2.5 归结反演的搜索策略
    3.2.1 子句和子句形（1）
    文字是原子或其否定
    子句是文字的析取
    完备连接符集合：
    合取范式（CNF）
           （L11 …  L1n1) …  (Lm1 …  Lmnm)
    析取范式（DNF）
          （L11  …  L1n1)  …  (Lm1  …  Lmnm)
    定理： 对任意公式，都有与之等值的合取范式和析取范式
    转换方法：一般方法
                            真值表方法
    • 最热计算机类下载

    没有任何图片PPT下载资源
     
    网友评论：（只显示最新10条。评论内容只代表网友观点，与本站立场无关！） 【发表评论】
    PPT搜索