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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 最新DBSCAN代码
    Science上发表的最新DBSCAN聚类算法的代码,有助于理解
    2022-03-10 21:41:14下载
    积分:1
  • 用FFT实现相关函数快速估计,相比一般的直接按定义计结构要简单得多,而且效率较高...
    用FFT实现相关函数快速估计,相比一般的直接按定义计算其算法结构要简单得多,而且效率较高-using FFT function rapid estimates, compared to the direct general terms by its algorithm much more simple, but efficient
    2022-03-17 01:03:39下载
    积分:1
  • 钢筋混凝土截面分析
    RCSA是一个互动的微机程序开发是为了提供一个实用,可靠的部分分析工具来预测深或法兰RC的回应部分。现有程序的某些组件,UNCOLA,这是在美国加州大学开发,伯克利,被纳入RCSA。与RCSA一个人能够的预应力进行分析,钢筋混凝土,或根据任何任何极限状态下的复合节指定加载历史。该方案利用了层,或长丝,方法,离散的一部分。假设在分析如下:(1)部分必须通过对称由单向轴向轴装力,弯曲和剪切; (2)任何类型的用户定义应变分布,以及伯努利-Nairer假说,可以被实现。即使是“粘结滑移”或“剪切滞后”可能通过对钢铁正确界定应变系数模拟或混凝土的纤维和/或长丝; (3)剪切力和/或剪切变形关系不明确包括;然而,剪切对轴向弯曲的效果响应可以通过一个等效双轴考虑响应混凝土;钢之间(4)完善债券具体的存在,除非确定采用防滑防滑因素,个别酒吧; (5)精细裂纹和可能存在作为初始条件可以是显微裂纹通过修改混凝土材料占性能; (六)其他初始应力和/或粘结滑移其可存在的建筑或固化的结果影响忽略不计。中钢最初的预应力效应如果指定的预应力和一个可并入使用双线性模型钢。
    2022-03-18 16:42:36下载
    积分:1
  • 经典8皇后问题
    可以实现8皇后问题,可运行,能实现所有情况。内有源程序和运行后的应用文件,虽不是完全自己写的,但是也是参考其他后,自行修改过的,近乎原创。
    2022-07-20 08:26:05下载
    积分:1
  • 关于GR用C语言编写的代码
    关于GR用C语言编写的代码-on GR C language code
    2022-03-05 00:56:37下载
    积分:1
  • tsp matlab
    旅行推销员问题(TSP) 或旅行推销员问题询问以下问题: 鉴于城市和每一对城市之间的距离的列表,什么是最短的可能路线的一次访问每个城市,并返回到原籍城市?它是一个NP 难问题在组合优化中,重要的业务研究和理论计算机科学。
    2023-04-23 03:05:04下载
    积分:1
  • Using NLJ random search method to identify a method that the state of the nonlin...
    采用NLJ随机搜索的方法辨识一个以状态方法表示的非线性系统。选其初值 a1(0) =50 , a2(0) =100 , a3(0) =100 , a4(0) =50 , a5(0) =10 , 选范围为 r(1)(i)=0.5 a(0)(i) , 取数据长度 L =40, t =0.005 , 性能指标 J= 。迭代计算结果得 a 的估计值 1=17.6043243, 1=17.5977, 2=72.9573, 3=51.3014, 4=22.9889, 5=5.99965, J = 0.000000916 。-Using NLJ random search method to identify a method that the state of the nonlinear system. Election of its initial value a1 (0) = 50, a2 (0) = 100, a3 (0) = 100, a4 (0) = 50, a5 (0) = 10, choose the range of r (1) (i) = 0.5 a (0) (i), check data length L = 40, t = 0.005, performance index J =. Iterative calculation results have a estimated value of 1 = 17.6043243, 1 = 17.5977, 2 = 72.9573, 3 = 51.3014, 4 = 22.9889, 5 = 5.99965, J = 0.000000916.
    2022-02-01 23:07:23下载
    积分:1
  • 编译原理 语分析
    编译原理对语法分析设计的代码 能进行语义的分析,通过设计调试LR语法分析程序,实现根据词法分析的输入TOKEN字,进行文法的语法分析;加深对课堂教学的理解;提高语法分析方法的实践能力。
    2022-08-17 11:21:50下载
    积分:1
  • 调度
    它包含不同调度算法 job.1。fifo2。lru3.opt
    2022-07-12 20:52:32下载
    积分:1
  • 有限元光纤模式
    有限元法算光纤模式-FEM mode fiber count
    2022-04-25 08:19:36下载
    积分:1
  • 696518资源总数
  • 106161会员总数
  • 5今日下载