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

搜索资源列表

  1. 归结原理及其在逻辑推理上应用

  2. 这是人工智能方面的一个应用，用归结原理进行逻辑公理的证明！

  3. 所属分类：专业指导

    • 发布日期：2009-05-11
    • 文件大小：174080
    • 提供者：daysy403869196

  1. 人工智能 归结算法

  2. 人工智能 归结算法 cpp 代码

  3. 所属分类：其它

    • 发布日期：2009-06-22
    • 文件大小：5120
    • 提供者：shengqi158

  1. 人工智能 基于归结原理的推理系统.rar

  2. 人工智能 基于归结原理的推理系统.rar 人工智能 基于归结原理的推理系统.rar

  3. 所属分类：专业指导

    • 发布日期：2009-10-19
    • 文件大小：276480
    • 提供者：onezeros

  1. 人工智能 等式归结.rar

  2. 人工智能 等式归结.rar 人工智能 等式归结.rar 人工智能 等式归结.rar

  3. 所属分类：专业指导

    • 发布日期：2009-10-19
    • 文件大小：203776
    • 提供者：onezeros

  1. 人工智能归结反演c++代码

  2. 人工智能归结反演c++代码，是学习人工智能的好资料

  3. 所属分类：C++

    • 发布日期：2009-11-21
    • 文件大小：1048576
    • 提供者：zkk0718

  1. 人工智能 等式归结程序

  2. 等式归结：将含有Equal谓词的子句与其他子句进行的一种特殊归结，Equal谓词表示其两个项具有相等关系。

  3. 所属分类：专业指导

    • 发布日期：2007-12-15
    • 文件大小：204800
    • 提供者：ning2008

  1. 人工智能作业 鲁滨逊归结原理

  2. 人工智能作业 鲁滨逊归结原理 java 语言完成

  3. 所属分类：Java

    • 发布日期：2010-06-01
    • 文件大小：9216
    • 提供者：ocean0328

  1. C++版鲁滨逊归结原理

  2. C++完成的鲁滨逊归结原理 人工智能作业

  3. 所属分类：C++

    • 发布日期：2010-06-01
    • 文件大小：43008
    • 提供者：ocean0328

  1. 鲁滨逊归结原理 大连理工大学 软件学院 曹晓东 人工智能

  2. 鲁滨逊归结原理 大连理工大学 软件学院 曹晓东 人工智能

  3. 所属分类：专业指导

    • 发布日期：2011-03-08
    • 文件大小：625664
    • 提供者：dlutwy

  1. 人工智能 命题逻辑归结反演

  2. 人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树 附源代码与实验报告，仅供参考

  3. 所属分类：专业指导

    • 发布日期：2011-04-06
    • 文件大小：257024
    • 提供者：isavior

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

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

  3. 所属分类：专业指导

  1. 人工智能原理--基于归结原理的推理系统

  2. 人工智能原理--基于归结原理的推理系统，里面有工具和已经写好的代码。希望对你有用。。。

  3. 所属分类：嵌入式

    • 发布日期：2011-11-14
    • 文件大小：276480
    • 提供者：hwp195

  1. 离散数学——归结原理

  2. 归结原理是一种推理规则。从谓词公式转化为子句集的过程中看出，在子句集中子句之间是合取关系，其中只要有一个子句不可满足，则子句集就不可满足。若一个子句集中包含空子句，则这个子句集一定是不可满足的。归结原理就是基于这一认识提出来的。 　　他的原理就是： 　　P->Q, Q->R 则 P->R 　　由于 P->Q 就是 ￢P∨Q 　　而 Q->R 就是 ￢Q∨R 　　所以，他相当于将Q 和 ￢Q合并。也就是说， 　　P∨{∑1} 与 ~P∨{∑2} 　　可以归结为 {∑

  3. 所属分类：专业指导

    • 发布日期：2012-01-02
    • 文件大小：226304
    • 提供者：winjohn123

  1. 基于矩阵运算的基于归结原理的自动推理算法

  2. 基于矩阵运算的基于归结原理的自动推理算法,人工智能程序设计

  3. 所属分类：其它

    • 发布日期：2012-05-20
    • 文件大小：902144
    • 提供者：qingxinzhul

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

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

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

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

  1. 人工智能 归结原理 完整 源码 和文档

  2. 归结原理 完整 源码 和文档

  3. 所属分类：专业指导

    • 发布日期：2016-12-06
    • 文件大小：104448
    • 提供者：fengyufuchen

  1. 谓词逻辑归结推理系统

  2. 人工智能的实验题目。输入一组合适公式，以及一个目标子句，输出归结树。 我奋斗了几乎5天总算弄出来了，放过bin出来show一下^_^。 至于代码，想要的可以联系我。 这里给出一个测试用例吧： ;假设：所有不贫穷且聪明的人都快乐。那些看书的人都是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。 ;求证：李明过着激动人心的生活。 (\x)(~Poor(x)∧Smart(x)→happy(x)) (\x)(Read(x)→Smart(x)) Read(Li)∧~Poor(Li) (\x)(h

  3. 所属分类：C++

    • 发布日期：2008-12-10
    • 文件大小：281600
    • 提供者：qq_33403790

  1. 广工人工智能归结原理实验

  2. 广工人工智能归结原理实验，为了让同学们更好的了解归结性原理，请大家参考

  3. 所属分类：算法与数据结构

    • 发布日期：2018-11-14
    • 文件大小：107520
    • 提供者：weixin_42381232

  1. 人工智能 归结算法

  2. 人工智能 归结算法 cpp 代码 人工智能 归结算法 cpp 代码

  3. 所属分类：其它

    • 发布日期：2020-05-03
    • 文件大小：2048
    • 提供者：JanesShang

  1. 格值命题逻辑LP(X)中的语义归结方法

  2. 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。

  3. 所属分类：其它

    • 发布日期：2020-06-03
    • 文件大小：926720
    • 提供者：weixin_38714162
« 12 3 4 5 6 7 8 9 10 ... 29 »