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

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

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

代码说明:

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

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

发表评论

0 个回复

  • acm pku的经典题目的代码和思路,包括了DP问题,贪心,回溯,等等都是很经典的题目...
    acm pku的经典题目的代码和思路,包括了DP问题,贪心,回溯,等等都是很经典的题目-acm pku classic subject code and ideas, including the DP problem, greedy, backtracking, and so on are all very classic topic
    2022-05-16 06:58:09下载
    积分:1
  • 空间5阶WENO格式 时间3阶RK格式
    空间5阶WENO格式 时间3阶RK格式 
    2022-09-18 01:00:03下载
    积分:1
  • 中间的中间
    应用背景数据加密标准,(辅),是一次主要的,对称密钥算法和加密的,加密和电子数据。它在现代科技的进步中具有很强的影响力,在学术界也有很强的影响力;关键技术C++  ;(发音为 ; ; ;CEE加+,/ˈ四ː ;PLʌ的 ;PLʌ/)是一个通用的 ;编程语言。它有 ; ;势在必行,面向对象的通用 ; ;编程功能,同时还提供低级别的内存操作设施。它的设计与偏置向上,系统编程和嵌入式,资源受限和大型系统,性能,效率和灵活性,其设计亮点。
    2022-08-10 23:22:37下载
    积分:1
  • 多种计算方法
    本源码包括各种计算方法中的各种基本计算,包括行列式,矩阵,lu分解等。
    2022-01-25 19:01:08下载
    积分:1
  • 蚁群算法c++代码
    为什么这么简单的程序会让蚂蚁干这样复杂的事情?答案是:简单规则的涌现。事实上,每只蚂蚁并不是像我们想象的需要知道整个世界的信息,他们其实只关心很小范围内的眼前信息,而且根据这些局部信息利用几条简单的规则进行决策,这样,在蚁群这个集体里,复杂性的行为就会凸现出来。这就是人工生命、复杂性科学解释的规律!  
    2022-03-19 05:34:14下载
    积分:1
  • 本代码是《计算机常用数值计算算法与程序 C++版》一书的配套矩阵运算代码,这些C++程序已经在Virsual C++ 6.0环境下通过。注意,在VC++ 6.0...
    本代码是《计算机常用数值计算算法与程序 C++版》一书的配套矩阵运算代码,这些C++程序已经在Virsual C++ 6.0环境下通过。注意,在VC++ 6.0中设置好路径,特别include目录(文件夹)的路径,否则在编译时会出现找不到头文件的错误,使编译无法正常进行。-the code is "commonly used computer numerical algorithms and procedures C version," a book supporting matrix calculation code, these procedures have been in C C 6.0 Virsual environment through. The attention of the VC 6.0 installed path, in particular include directory (folder) path, otherwise there will be compiled header files could not find the mistakes and the compiler not normal.
    2022-06-02 22:29:53下载
    积分:1
  • 最优二分检索
    一个速度相当快的最优二分数据检索的源代码,采用C言编写,对于海量数据的检索,查找相当有用
    2022-07-08 10:49:04下载
    积分:1
  • 多层神经网络DEMO(C#)
    一个多层神经网络的DEMO 。这个多层神经网络通过学习训练后可以 准确地计算AND和OR运算(注意这里的准确只是最接近正确解的意思。你懂的)
    2022-02-05 20:29:28下载
    积分:1
  • 线性规划算法
    线性规划算法-linear programming algorithm
    2022-01-28 23:48:44下载
    积分:1
  • 北京合众大公司的dsp开发板例子程序(关于矩阵运算)
    北京合众大公司的dsp开发板例子程序(关于矩阵运算)-Beijing UCO big companies example dsp development board (on the matrix)
    2022-03-05 17:11:47下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载