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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 数值处理算法程序
    数值处理算法程序-numerical algorithm
    2022-02-05 16:22:44下载
    积分:1
  • 网络图边介数简单
    利用最短路径求网络图的边介数,得到每个结点的重要程度,首先得到某个结点到每个的最短路径即最小短路径树,而后根据最短路径树求最短路径个数
    2023-08-03 08:15:03下载
    积分:1
  • Discrete Fourier Transform
    离散分数阶傅立叶变换-Discrete Fourier Transform
    2023-04-06 14:05:04下载
    积分:1
  • 计算方法的一个比较重要的高斯约当消去方法
    计算方法的一个比较重要的高斯约当消去方法-calculation of a more important about when Gaussian Elimination Methods
    2022-05-13 18:38:09下载
    积分:1
  • emd 的 dsp
    对于基本的阅读和审查HHT算法,读者可以参考参考文献[1-4,6]。对于HHT算法分析程序,两种资源可能会发现有用的:(1)执行大部分的HHT算法功能的Matlab程序可从[7],由吴昭化撰写; (2)Donghoh Kim和熙锡呵呵(发表于29/10/2012)撰写的了R封装的“EMD”。我们决定不使用“EMD”包直接为我们的分析,因为:(1)无显着性检验的功能可用; (2)无后处理功能可用; (3)在实施过程中EMD不同停止规则; (4)用户手册是不是非常有帮助。
    2022-03-29 13:57:24下载
    积分:1
  • 基于9轴融合输出欧拉角
    资源描述基于9轴传感器融合,串口输出姿态欧拉角。
    2022-07-07 22:55:31下载
    积分:1
  • Started Jacobian symbols used to calculate Legendre symbol for the value judgmen...
    新手上路 用雅可比符号来计算勒让德符号的值 用于判断与素数p互素的正整数n是否是mod p 的二次剩余-Started Jacobian symbols used to calculate Legendre symbol for the value judgment and mutual-p-a positive integer n is whether the mod p Quadratic Residue
    2022-07-24 00:22:37下载
    积分:1
  • Mr. foolish to write him five friends, he wrote five letters, but when his frien...
    糊涂先生给他的五个朋友写信,他写了五封信,但是当他的朋友收到信后,都告诉他:“你的信寄错了”。那么请你计算一下:出现这种情况的概率有多少?(假设糊涂先生是随机地往信封里装信的),你能不能把所有的情况都列出来呢-Mr. foolish to write him five friends, he wrote five letters, but when his friend received a letter, told him:
    2022-01-25 16:38:13下载
    积分:1
  • 任意相互不捕捉皇后生成源程序(类似相互不捕捉八皇后)
    任意相互不捕捉皇后生成源程序(类似相互不捕捉八皇后)-not arbitrary mutual capture Queen"s generation source (similar to each other to capture 8 Queen)
    2022-03-10 05:50:06下载
    积分:1
  • 股票交易系统
    股票交易系统
    2023-04-19 03:25:04下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载