注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 详细关于谓词逻辑的介绍

  2. 关于谓词逻辑的介绍的一个很详细的ＰＰＴ，希望对大家有用，好东西要分享

  3. 所属分类：专业指导

    • 发布日期：2009-06-08
    • 文件大小：1048576
    • 提供者：neduwj08

  1. 人工智能的原理和方法

  2. 谓词逻辑,专家系统机器学习,自然语言理解,智能决策系统

  3. 所属分类：专业指导

    • 发布日期：2009-09-08
    • 文件大小：5242880
    • 提供者：ve2009

  1. 马尔科夫逻辑网工具包

  2. 马尔科夫逻辑网工具包 一种将概率模型和一阶谓词逻辑结合起来的机器学习算法

  3. 所属分类：其它

    • 发布日期：2009-09-08
    • 文件大小：2097152
    • 提供者：zongliang

  1. 高级数理逻辑 教案 北京邮电

  2. 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。

  3. 所属分类：专业指导

    • 发布日期：2009-11-23
    • 文件大小：783360
    • 提供者：haha0832

  1. 逻辑谓词与Prolog

  2. 一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机 上可实现机械化,从而使自动化求解问题和定理证明具备可行性。

  3. 所属分类：专业指导

    • 发布日期：2010-04-13
    • 文件大小：618496
    • 提供者：jnprolog

  1. 人工智能--描述逻辑PPT

  2. 描述逻辑是一阶谓词逻辑的一个可判定的子集，它能够提供可判定的推理服务，并返回正确的结果。

  3. 所属分类：专业指导

    • 发布日期：2010-05-10
    • 文件大小：169984
    • 提供者：cquyuyan

  1. 第二章 谓词逻辑与归结原理

  2. 人工智能课件，关于谓词逻辑与归结原理，在学习了离散数学的基础上，进一步深入的学习谓词逻辑，掌握人工智能的初步知识

  3. 所属分类：专业指导

  1. 一阶谓词逻辑

  2. 在Ls中，把命题分解到原子命题为止，认为原子命题是不能再分解的，仅仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。这样，有些推理用命题逻辑就难以确切地表示出来。

  3. 所属分类：专业指导

    • 发布日期：2011-09-19
    • 文件大小：196608
    • 提供者：shujuanhan

  1. 人工智能 谓词逻辑

  2. 用于人工智能的学习，内容全面，人工智能 谓词逻辑

  3. 所属分类：C/C++

    • 发布日期：2011-09-20
    • 文件大小：232448
    • 提供者：wufukunwilliam

  1. 谓词逻辑讲解

  2. 人工智能方面的谓词逻辑详细讲解，包教包会。

  3. 所属分类：专业指导

    • 发布日期：2011-10-25
    • 文件大小：409600
    • 提供者：albb318

  1. 谓词逻辑离散数学

  2. 谓词逻辑离散数学

  3. 所属分类：C/C++

    • 发布日期：2012-09-03
    • 文件大小：671744
    • 提供者：lenovozaqxsw

  1. 离散数学第二章谓词逻辑

  2. 离散数学第二章谓词逻辑，非常好的资源，欢迎下载

  3. 所属分类：专业指导

    • 发布日期：2013-04-13
    • 文件大小：221184
    • 提供者：george921

  1. 离散数学--谓词逻辑

  2. 东北大学 离散数学课件 谓词逻辑 保证很详细哦

  3. 所属分类：专业指导

    • 发布日期：2013-04-30
    • 文件大小：1048576
    • 提供者：who1234500

  1. 数理逻辑(俞瑞钊)

  2. 数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.

  3. 所属分类：专业指导

    • 发布日期：2013-09-16
    • 文件大小：8388608
    • 提供者：u012150552

  1. 人工智能谓词逻辑归结问题的推理系统

  2. 人工智能谓词逻辑归结问题的推理系统是很好的学习资料 ，可以帮助广大学子进一步学习人工智能的相关知识。

  3. 所属分类：C/C++

    • 发布日期：2014-11-26
    • 文件大小：1048576
    • 提供者：gaoshuangyin

  1. 离散I讲稿\3-谓词逻辑.ppt

  2. 离散I讲稿\3-谓词逻辑.ppt离散I讲稿\3-谓词逻辑.ppt

  3. 所属分类：专业指导

    • 发布日期：2009-03-30
    • 文件大小：501760
    • 提供者：chucheng0615

  1. 第1章数理逻辑（谓词逻辑）-2019.pdf

  2. 离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生的抽象思维能力，逻辑推理能力，缜密概括能力以及分析和解决实际问题的能力。 离散数学 教学课件（配方世昌《离散数学（第三版）》） 第1章 数理逻辑（谓词逻辑部分）文档作者：中南大学计算机学院 郑瑾副教授

  3. 所属分类：讲义

    • 发布日期：2020-01-28
    • 文件大小：329728
    • 提供者：jialChen

  1. 命题逻辑和谓词逻辑

  2. 对命题逻辑和谓词逻辑的核心归纳可以做到一目了然

  3. 所属分类：其它

    • 发布日期：2012-10-28
    • 文件大小：406528
    • 提供者：obuxiangdong

  1. 基于谓词逻辑的原型系统生成方法研究

  2. 本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换过程建立在牢固的数学基础之上,更能够保证原型系统的正确性和完整性,更易于处理需求变化对系统造成的影响,有效的降低了软件开发风险,提高了软件开发效率.

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：579584
    • 提供者：weixin_38725086

  1. dry-logic：具有规则组合的谓词逻辑-源码

  2. 干逻辑 链接 支持的Ruby版本 该库正式支持以下Ruby版本： MRI> = 2.5 jruby> = 9.2 执照 请参阅LICENSE文件。

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：77824
    • 提供者：weixin_42151729
« 12 3 4 5 6 7 8 9 10 »