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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 适用于 Pygame 的 Python 线交叉
    翻译 maninwest@Codeforge 作者:raildude@CodeProject计算 2 D 线段交点(如存在)的算法这是种应用代数的练习题, (尤其是方程  y = mx + b, 所谓的线性方程的斜截式).背景我有个  Python 的 3d 查看应用程序,使用 Pygame 做 UI。 它有线框显示和原始的"隐藏表面移除"选项。我想添加一个隐藏线移除的选项,因为Pygame 好像不支持 "空心多边形" 绘制方法. 我想此代码可能是向该方向迈出的一步。稍后,我发现 MeshLab 可以提供我想要的功能..使用代码你需要安装  Python和  Pygame。或者,你可以提取四个函数 (slope(), y_intercept(), intersect() & segment_intersect()) 并在合适的地方使用。
    2022-03-15 12:00:57下载
    积分:1
  • 混沌系统Lyapunov指数与维度的matlab工具箱(含GUI)
    本工具箱用于确定混沌系统的李雅普诺夫指数与维度,并提供了GUI界面。列举了诸多著名的混度系统作为案例,用于说明工具箱的使用,包括Lorenz系统、LOGISTIC映射、Rossler方程、Stewart-McCumber模型、DUFFING方程、DUFFING方程等。配有中英文对照说明,便于初学者快速理解学习混沌系统,并进一步用于科研工作的开展。
    2022-06-30 16:04:49下载
    积分:1
  • 地球或椭圆体中两点距离的程序
    计算地球或椭圆体中两点距离的程序-A program which can calculate the instance of two points in the earth or the elipse
    2022-05-19 14:58:07下载
    积分:1
  • 阅读使用MATLAB的三维人脸模型
    它对于三维人脸或目标识别非常有用,它包含一个gui,可以帮助您查看或应用加载的三维文件类型上的命令
    2022-01-28 21:06:36下载
    积分:1
  • 深度优先搜索解决八码难题
    深度优先搜索算法解决八码难题-depth-first search algorithm to solve eight problems yards
    2023-02-02 23:10:03下载
    积分:1
  • 连数据库,输入用户名和密码后如何跳转到主窗口
    import javax.swing.*; import java.awt.event.*; import java.sql.*; public class Login extends JFrame implements ActionListener { private JLabel lbId, lbPass; private JTextField txtId, txtPass; private JButton btLogin, btExit; private Connection datacon = null;//连接对象 private PreparedStatement pstat = null;//命令对象 private ResultSet rs = null;//结果
    2022-02-05 20:26:14下载
    积分:1
  • FFT by C++, with source file
    快速傅立叶变换 采用c++编程 有源代码-FFT by C++, with source file
    2022-07-22 05:09:18下载
    积分:1
  • 基于MATLAB编程的图像融合代码
    应用背景属于模式识别范畴,在图像处理中,图像融合技术是当前的热门研究领域,虽出现了很多的方法,选用的图像特征也不尽相同,比如曲率、傅里叶变换等等,处理效果也较为理想,但是仍有可研究空间,时间计算复杂度的降低以及融合效果的提高和匹配精度的提高等都是先阶段研究的主要方向。关键技术基于角点检测,图像特征选择形状上下文特征,用于图像融合与配准,代码中包括了实验过程中所有的小程序和图片,下载后可直接运行。
    2022-01-21 21:24:54下载
    积分:1
  • 项目实施的堆
    函数和过程: 1.Heapify 2.建堆 3.插入 4.提取最大 5.增加的关键 6.初始化 7.打印堆 从文件堆成 8.读取文本)
    2023-02-08 06:50:03下载
    积分:1
  • 祖冲之
    ZUC是一个面向字的流密码。它需要一个128位的初始密钥和一个128位的初始矢量(IV)作为输入,输出一串32位字的密钥流(因此,这里每一个32位的字称为密钥字)。密钥流可以用来加密/解密。 IV初始化,也就是,时钟控制着密码运行但不产生输出。第二阶段是工作阶段,在这个阶段,随着每一个时钟脉冲,它都会产生一个
    2023-06-16 05:00:03下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载