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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 距阵链乘问题: 找出矩阵链乘A(35*40) A(40*20) A(20*10) A(10*15)的最佳相乘次序。 来自:计导引...
    距阵链乘问题: 找出矩阵链乘A(35*40) A(40*20) A(20*10) A(10*15)的最佳相乘次序。 算法来自:计算机算法导引-matrix chain by : identify matrix chain by A (35* 40) A (40* 20) A (20* 10) A (10* 15) concludes the best order. Algorithm from : computer algorithm Seeker
    2022-03-14 17:46:13下载
    积分:1
  • 三态树:一个树控件的派生控件,完成item的三种状态
    三态树:一个树控件的派生控件,完成item的三种状态-Tri-state tree: A tree control derivative controls, the three states to complete item
    2023-02-04 00:25:04下载
    积分:1
  • 简单计器(带密码“111111”) 进行简单的数字计 包括“+” “...
    简单计算器(带密码“111111”) 进行简单的数字计算 包括“+” “-” “*” “/” “乘方” -simple calculator (with the password "111 ") Simple arithmetic including "" "-" "*", "/", "involution"
    2023-02-20 16:40:03下载
    积分:1
  • ACM contest the results calculation method they used C series, containing test d...
    ACM比赛的成绩计算方法,自己用C编的,内附测试数据-ACM contest the results calculation method they used C series, containing test data
    2022-02-15 04:25:16下载
    积分:1
  • 拓扑优化源代码
    这是一个拓扑优化的源程序~程序简单实用~但是该程序只是简单程序,各位如果想做复杂结构或别的优化法则的的话,可以从该程序中进行拓展。
    2022-05-12 11:50:11下载
    积分:1
  • bfgs求全域最小数值点,c++源程序,文件读入套用方便
    bfgs算法求全域最小数值点,c++源程序,文件读入套用方便-bfgs domain algorithm ambitious minimum values, c source, the document read into the convenient use
    2022-07-18 00:09:59下载
    积分:1
  • LFSR-algoritm
    我自己在C++上实现线性反馈移位登记,以便生成一个伪随机数序列。所有号码都应保存在OUTLFSR.txt文件. 此代码可用于生成具有不同寄存器大小和不同参数的LFSR。
    2022-03-21 21:00:55下载
    积分:1
  • openGI (几何图像)
    OpenGI 是一个独立于平台的 C 库的三角网格模型参数化和创建从这种参数化的几何图像。 功能简单易学 OpenGL 类似语法和编程 2-流形上的任意亏格与可变数量 boundariesvarious 参数化算法,如平均值 paradigmsworks 拉伸最小化,为多图表 patchi ficationshardware 的原始 GIM algorithmsupport 加速几何图像 creationsampling 各种通用 attributestight 集成使用 OpenGL 的轻松和高效的数据共享
    2022-04-17 10:49:59下载
    积分:1
  • 内窥镜视频实时拼接程序
    内窥镜视频图像的视角往往很小,  本文通过sift算法  对内窥镜视频图像进行逐帧拼接  得到全景图像  以实现获取一个较大的视角  提高医生的手眼协调, 帮助医生更方便的观察病灶。  硬件方面采用 naneye 图像传感器    通过传感器获取图像  sift算法实时拼接~~ SIFT,即尺度不变特征转换(Scale-invariant feature transform,SIFT),是用于图像处理领域的一种描述子。这种描述具有尺度不变性,可在图像中检测出关键点,是一种局部特征描述子。 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-06-02 13:16:16下载
    积分:1
  • 这是一个功能极其强大的软件包,其中包括很多数值,速度极快。...
    这是一个功能极其强大的软件包,其中包括很多数值算法,速度极快。-This is a function of extremely powerful package, which include numerical algorithm, fast.
    2022-02-15 15:47:20下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载