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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 数值计中Jacobi迭代的Matlab程序
    数值计算中Jacobi迭代法的Matlab程序 -numerical calculation Jacobi iteration of the Matlab program
    2022-10-09 22:10:03下载
    积分:1
  • 近似PI使用蒙特卡罗方
     ;近似PI使用蒙特卡罗方法。的例子是基于一个均匀分布的假设。
    2023-06-12 03:15:03下载
    积分:1
  • R语言层次分析
    R语言层次分析法是将决策总是有关的元素分解成目标、准则、方案等层次,在此基础之上进行定性和定量分析的决策方法。该方法是美国运筹学家匹茨堡大学教授萨蒂于本世纪70年代初,在为美国国防部研究"根据各个工业部门对国家福利的贡献大小而进行电力分配"课题时,应用网络系统理论和多目标综合评价方法,提出的一种层次权重决策
    2022-02-21 00:43:22下载
    积分:1
  • 无网格伽辽金方源程序
    无网格伽辽金方法计算源程序(线弹性2D问题)-EFGM source method (2D linear elastic problems)无网格方法采用基于点的近似,可以彻底或部分地消除网格,不需要网格的初始划分和重构,不仅可以保证计算的精度,而且可以大大减小计算的难度。然而,由于目前的无网格近似一般没有解析表达式,且大都基于伽辽金原理,因此计算量很大,要超出传统的有限元法;另外,无网格近似大都是拟合,因此对于位移边界的处理比较困难,多采用拉格朗日乘子法处理。
    2022-01-26 06:31:16下载
    积分:1
  • 矩阵乘以向量
    定义一个矩阵类CM和向量类 (1)、为它们各自重载*,=,==运算符; (2)、为CM类重载CM*CV,CM*实数 (3)为CV类重载CV*CM,CV*实数 (4)在main函数中使用以上运算符。
    2022-01-25 14:01:49下载
    积分:1
  • 图像变形
    此程序是 qt 离散度与 c + + 实现的。在 qt 离散度,得到了 GUI 和变形算法是在 c + +。实现变形算法的方法是一个一个天真的。您可以在 visual studio 2008 中运行此程序,您应该先安装 QT lib。
    2022-04-25 12:05:02下载
    积分:1
  • json cpp 解析器
    这是一个使用MFC实现的json文程序,json文件c++解析器,非常好用。
    2022-02-02 23:18:58下载
    积分:1
  • plot
    数值积--- 复合求积公式对积分问题的求解功能 用复合梯形求积公式和复合抛物线公式,对给定的积分问题进行计算。-plot--- composite numerical quadrature formula to solve the problem of integration functions for composite trapezoidal plot formula and compound parabolic formula, the right to issue integral calculation.
    2022-03-22 06:07:15下载
    积分:1
  • 用java来编写列主元gauss消去解方程组
    用java来编写列主元gauss消去法解方程组-used to prepare main-element Gauss elimination method of solving equations Group
    2023-06-10 17:30:33下载
    积分:1
  • 图书管理系统
    资源描述C语言下的可读写文件的图书管理系统                                                                                                                                                                                                                                                                                  
    2022-01-25 22:18:51下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载