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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 彩色图像的人脸检测
    face detection in color image
    2022-07-25 12:51:42下载
    积分:1
  • xercesc中文解析和UTF-8中文转换
    xercesc中文解析,对包结构中的中文部分进行解析; UTF-8中文转换 分析下代码,希望能够给大伙给以帮助
    2022-12-08 09:05:03下载
    积分:1
  • 单调速率调度
    关于速率单调调度算法的代码。 使用 C开发。 尽管这个是静态 C 程序,用户可以轻松理解这个调度的逻辑
    2022-04-15 13:54:24下载
    积分:1
  • 温度PID控制
    温度控制PID调节,大家可以参考参考,用的是增量式PID调节方法,温控精度可以达到0.1摄氏度,具体我也不多说,Ki=KpT/Ti=0.8,微分系数Kd=KpTd/T=0.8,Td=0.0002,根据实验调得的结果确定这些参数
    2023-03-13 01:00:04下载
    积分:1
  • 用于ofdm的盲信道估计,可以用于系统性能的提高和改进
    用于ofdm的盲信道估计算法,可以用于系统性能的提高和改进-OFDM for the blind channel estimation algorithm can be used to enhance system performance and improve the
    2022-01-29 04:32:04下载
    积分:1
  • 随机数字的学生表
    这段代码打印出随机生成学生成绩 Table.Inputs 是: 大量的学生: 数的考试: 数的 Assgs:Number 的小测验: 考试、 assgs 和测验和评估权重。输出是一个表学生 Id 是独一无二的随机生成。和所有的评估分数也随机生成的。它还打印为每个学生的平均和平均的每一次评估。所有的随机生成的数据是放入一个一维数组,然后用从那里。
    2023-03-25 03:40:03下载
    积分:1
  • mtlab中INV()求逆函数的C++代码
    资源描述在matlab中,inv()函数一一个自带十分快速的求逆的算法,但是在matlab中是不公开的,为了方便,本程序将INV()函数做出C++代码方便用户的使用。
    2023-06-22 13:50:03下载
    积分:1
  • 根据日期星期,调试通过
    根据日期算星期,调试通过-count on the date weeks, through debugging
    2022-10-19 19:30:04下载
    积分:1
  • HybirdSat求解器smt
    开源的的smt求解器,用于求解约束集的可满足性,能够支持位向量的求解,速度还算不错。
    2022-02-20 09:49:11下载
    积分:1
  • sirt
    % Syntax: x=sirt(A,b,tolx,maxiter) % % Inputs: %       A   = Constraint matrix.     A=一个约束矩阵 %       b   = right hand side.       b=右边  %    tolx   = Terminate when the relative diff between   tolx=终止时,两次迭代之间的相对差异小于tolx。 %             two iterations is less than tolx. % maxiter   = Stop after maxiter iterations.         maxiter=停止迭代后 % % Outputs: 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-04-06 13:18:49下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载