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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 两个矩阵的乘,利用c语言实现
    计算两个矩阵的乘法,利用c语言实现-calculation of the two Matrix multiplication, using language c
    2022-03-19 18:04:06下载
    积分:1
  • 高斯消去的类
    C++编写高斯消去法求解线性方程组,将程序include到主程序,然后建立Guss对象,求解可得到最终解,奇异矩阵将会出错!
    2022-03-07 20:42:44下载
    积分:1
  • data mining algorithms decision tree classification algorithm presentations and...
    数据挖掘分类算法决策树学习算法介绍以及SEE5的使用说明-data mining algorithms decision tree classification algorithm presentations and the use SEE5
    2023-04-10 22:10:04下载
    积分:1
  • 运筹学中的马尔可夫链,很有用,检查可以运行
    运筹学中的马尔可夫链算法,很有用,检查可以运行-Operations Research in the Markov chain algorithm, very useful, can run a check
    2022-04-12 01:20:03下载
    积分:1
  • This is a long integers. Reprinted.
    这是一个超长整数加法.转载.-This is a long integers. Reprinted.
    2022-04-27 22:56:38下载
    积分:1
  • several independent firms for each and every line and every small units of one t...
    数独求解 每行和每列和每小格为1到9的数字,用程序求解的算发.-several independent firms for each and every line and every small units of one to nine the number of procedures for the count fat.
    2022-08-09 01:01:35下载
    积分:1
  • 牛顿差商与差分计函数,用C语言实现,设计了多个子函数,代码略长,可供参考...
    牛顿差商与差分计算函数,用C语言实现,设计了多个子函数,代码略长,可供参考-Newton" s difference quotient and the difference calculation functions, using C language implementation, design a number of subroutine, the code slightly longer available for reference
    2022-02-13 05:14:27下载
    积分:1
  • 查看网格渲染
    在此包中的所有文件可以自由分发和使用根据对各项条款的 GNU 较通用公共许可证 (LGPL)。请参见有关更多详细信息此存档的根目录中复制文件。
    2023-09-01 20:40:06下载
    积分:1
  • 函数名称:CRC
    函数名称:CRC-16 Process 函数原型:INT16U make_crc16(INT8U *msgaddr,INT8U datalen) 函数功能:进行CRC校验和产生CRC代码.这个函数只影响全局变量crc16. 校验字放在字符串最后,低8位在前高8位在后. msgaddr : 进行CRC16校验的据块的首地址 datalen : 进行CRC16校验的据块的个数 CRC-ITU的计算算法如下: a.寄存器组初始化为全"1"(0xFFFF)。 b.寄存器组向右移动一个字节。 c.刚移出的那个字节与数据字节进行异或运算,得出一个指向值表的索引。 d.索引所指的表值与寄存器组做异或运算。 f.数据指针加1,如果数据没有全部处理完,则重复步骤b。 g.寄存器组取反,得到CRC,附加在数据之后(这一步可省略)。
    2023-05-27 07:15:03下载
    积分:1
  • 常有的滤波,有需要的可以去
    常有的滤波算法,有需要的可以去-Common filtering algorithm, there is need to go take a look!
    2022-03-18 01:02:23下载
    积分:1
  • 696516资源总数
  • 106562会员总数
  • 4今日下载