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

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

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

代码说明:

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

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

发表评论

0 个回复

  • MFC下实现MD5加密
    MFC下实现加密算法MD5,可以对字符串跟文件进行加密.值得一看  Copyright (C) 1991-2, RSA Data Security, Inc. Created 1991. All rights reserved. License to copy and use this software is granted provided that it is identified as the "RSA Data Security, Inc. MD5 Message-Digest Algorithm" in all material mentioning or referencing this software or this function. License is also granted to make and use derivative works provided that such works are identified as "derived from the RSA Data Security, Inc. MD5 Message-Digest Algorithm" in all material mentioning or referencing the derived work. RSA Data Security, Inc. makes no representations concerning either the merchantability of this software or the suitability of this software for any particular purpose. It is provided "as is" without express or implied warranty of any kind. These notices must be retained in any copies of any
    2022-03-04 02:53:21下载
    积分:1
  • 用matlab求解的一个Lagrange插值多项式问题
    用matlab求解的一个Lagrange插值多项式问题-Using matlab to solve the problem of a Lagrange interpolation polynomial
    2022-06-15 08:48:26下载
    积分:1
  • ural 卷1解题报告(代码)
    按照难度排列,差不多也有80道左右了,代码都很精简,附有注释还有解析神马的,适合初学者参考。
    2022-08-04 04:47:13下载
    积分:1
  • 一般的快速DCT只有8点和16点的,我这里提供任意长度(2的幂次方)的DCT快速原代码...
    一般的快速DCT算法只有8点和16点的,我这里提供任意长度(2的幂次方)的DCT快速算法原代码-general fast DCT algorithm only 8:00 and 16:00, and here I am of arbitrary length (two of the power law) DCT fast algorithm source code
    2023-08-08 07:40:03下载
    积分:1
  • 可以移动的石子合并
    资源描述 11079 可以移动的石子合并(必做) 时间限制:1000MS  内存限制:1000K 提交次数:0 通过次数:0 题型: 编程题   语言: G++;GCC;VC;JAVA Description 有n堆石子形成一行(a1,a2,…,an,ai为第i堆石子个数),现要将石子合并成一堆,规定每次可 选择至少2堆最多k堆移出然后合并,每次合并的分值为新堆的石子数。 若干次合并后,石子最后肯定被合并为一堆,得分为每次合并的分值之和。 现在求解将这n堆石子合并成一堆的最低得分和最高得分。 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报 打分 发表评论 暂无评论
    2022-10-07 16:35:03下载
    积分:1
  • 设计 约瑟夫循环问题
    计算机算法设计代码 约瑟夫循环 用VC编译 可在计算机上执行 代码旁附有我的注释
    2022-06-02 05:22:34下载
    积分:1
  • Huffman
    资源描述Huffman算法是相当简单的(至少在理论上),这个想法是基于这样的事实,在大多数的文件,一些字节(字符如果和你会),可能会出现更多的时间,他们其他人。
    2022-04-27 05:43:08下载
    积分:1
  • This function calculates the peaks in a vector V.
    This function calculates the peaks in a vector V.
    2022-07-19 15:20:49下载
    积分:1
  • 用有限元求解三角形形区域上的Possion方程
    用有限元法求解三角形形区域上的Possion方程-using the finite element method triangle-shaped region of Possion equation
    2022-02-25 07:52:26下载
    积分:1
  • 约瑟夫猴子游戏
    约瑟夫问题是个有名的问题:N个人围成一圈,从第一个开始报数,第M个将被杀掉,最后剩下一个,其余人都将被杀掉。例如N=6,M=5,被杀掉的顺序是:5,4,6,2,3,1。
    2022-07-09 10:25:35下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载