登录
首页 » 算法 » 采用支持集策略进行子句消解

采用支持集策略进行子句消解

于 2022-01-26 发布 文件大小:2.75 kB
0 117
下载积分: 2 下载次数: 1

代码说明:

人工智能课程中鲁滨逊消解原理的课程实验,采用支持集策略进行子句消解的演示代码,代码假设输入为化简后的子句,包含了输入的样例 其主要解决的问题为:任何拿到学位并找到工作的人都是幸福的,任何认真学习或者家庭背景良好的人 都可以拿到学位,李一天不认真学习但是家庭背景良好,任何家庭背景良好的人都能找到工 作。 求证:李一天是幸福的

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • java统计单词
    资源描述 本java程序实现:统计文章中单词出现的次数,并显示出现过的行号。 程序功能实现方式如下: 1.输入一行,对行号计数(也可一次输入全部文本,对行号计数) 2.为一行里的单词建立一个临时的数组,遍历每一个单词:若在单词表中没有,添加进入单词表(word + count +line); 若存在,个数加一(对应word的count++,line加上当前行号)。 3.输出单词表。 属性列名,word:单词;  count:出现次数;   line:出现行数
    2022-05-10 19:24:32下载
    积分:1
  • SM2源码 包含测试程序和使用说明
    SM2算法源码 里面包含测试程序和使用说明 加密解密 签名验签 生成密钥对  相当的方便 可直接安放进程序使用 也可以编译成动态库后在调用  符合国家密码局标准   我现在的项目用的就是它 无私奉献给大家了
    2022-02-21 08:39:50下载
    积分:1
  • 函数最小的遗传
    经典算法应用: 遗传算法求函数最小的例子-Genetic algorithm for the smallest example of function
    2023-06-28 14:50:03下载
    积分:1
  • BP的c++实现
    c++编程实现BP算法,代码中有详细的文字用以描述解释程序,适用于初学者,对BP算法拥有一个实践程序上的理解
    2022-01-28 06:46:03下载
    积分:1
  • OLED 64X48点阵驱动程序
    OLED 64X48点阵驱动程序,包括各种借口SPI,I2C,等等,是经过实测可以用的代码,不明的地方可以问我。 是开发OLED的屏的实用工具。最少50字,应该够了吧。各种驱动都有的。
    2022-05-18 12:46:32下载
    积分:1
  • alpriori algoritmic
    分割算法在数据挖掘中使用。用此算法对数据挖掘课程我开发的 java 代码上。我注意到这种算法是可用的
    2023-02-13 23:20:03下载
    积分:1
  • gjrand.4.2.0 随机数生成
    c写的随机数生成程序,很实用,跨平台,可以在Linux下编译,也可以改成在windows下下编译
    2022-03-15 00:42:44下载
    积分:1
  • c language version of the CVM, mysvm
    cvm的c语言版,mysvm-manual工具箱介绍-c language version of the CVM, mysvm-manual introduction Toolbox
    2023-09-07 02:50:04下载
    积分:1
  • 修正单纯型方程序
    修正单纯型方法程序-modified simplex methods and procedures-
    2023-05-21 07:45:03下载
    积分:1
  • 对公司的主要宗旨的实现计组件和功能…
    运算器部件的实现和功能 主要为学习计算机组成原理的同学 提供-computing components and functions of the realization of the main tenets of computer components provide students
    2022-07-08 04:45:12下载
    积分:1
  • 696518资源总数
  • 105540会员总数
  • 37今日下载