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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 挺好的用于计年利率和月利率的vb程序
    挺好的用于计算年利率和月利率的vb程序-Holbrook used in the calculation of annual and monthly interest rates vb procedures
    2022-04-24 09:42:51下载
    积分:1
  • 用有限元方求解二维泊松方程的FORTRAN90 程序,适合有限元初学者掌握有限元方编程技巧!...
    用有限元方法求解二维泊松方程的FORTRAN90 程序,适合有限元初学者掌握有限元方法编程技巧!-FEM2D_POISSON_LINEAR is a FORTRAN90 program which solves the 2D Poisson equation using the finite element method with piecewise linear triangular elements.
    2022-03-19 06:45:00下载
    积分:1
  • 通过高斯消去,进行矩阵求逆运,在工程中有很强的实用价值。...
    通过高斯消去法,进行矩阵求逆运算,在工程中有很强的实用价值。-through Gaussian elimination method for computing matrix inversion, the project has a strong practical value.
    2022-08-06 13:10:42下载
    积分:1
  • 本程序是基于PIC24的Calculator程序,其实现Calculator多个功能,具体自己体会,这程序旨在让大家熟悉PIC24的编程问题....
    本程序是基于PIC24的Calculator程序,其实现Calculator多个功能,具体自己体会,这程序旨在让大家熟悉PIC24的编程问题.-this program is based on the PIC24 Calculator procedures, Calculator achieve a number of its functions, its own specific experience, This procedure aims to let everyone familiar with the PIC24 programming problems.
    2023-03-13 05:45:04下载
    积分:1
  • Hashin - Strikman界函数
    应用背景hashv - Hashin-Shtrikman上限和下限曲线速度 ;作为一种物质2分式函数。假定材料1具有较高的速度比材料2。如果没有,那么上限和下限应互换的输出。没有输出参数哈希图的边界作为一个函数的孔隙度或部分的2相材料;输入为日志数据(拉斯维加斯文件)关键技术岩石物理、地震储层表征介质有效,LAS文件,速度,密度,
    2023-08-16 12:00:04下载
    积分:1
  • PID控制VB程序
    简单实用的PID算法程序,有图形界面,简单实用~ Visual Basic是一种由微软公司开发的包含协助开发环境 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
    2022-05-14 02:21:20下载
    积分:1
  • RSA C++ 实现 RSA C++ 实现
    RSA算法 C++ 实现 RSA算法 C++ 实现 -achieve RSA algorithm to achieve C
    2022-05-13 21:24:37下载
    积分:1
  • Freak
    应用背景大量视觉应用依赖于整个图像匹配关键点。在过去的十年中对功能更快,更稳健的关键点和关联算法族群包括:尺度不变特征变换(SIFT),提速强大的功能(SURF),以及最近的二进制稳健不变可扩展关键点(BRISK),仅举几例。关键技术我们提出了一个新的关键点描述符的灵感来自于人类视觉系统和更精确的视网膜上,创造了快速视网膜关键点(FREAK)。二进制串的级联是通过有效地在视网膜的采样模式比较图像强度计算。
    2022-02-10 17:20:59下载
    积分:1
  • 勒让德
    勒让德-高斯求积法求磁感应强度-Legendre- Gauss quadrature method for magnetic induction
    2022-03-06 01:01:20下载
    积分:1
  • 信息论编码中用hufman程序来实现的hufman编码
    信息论编码中用hufman程序来实现的hufman编码- In the information theory code hufman which realizes with the hufman procedure codes
    2023-03-06 03:50:03下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载