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

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

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

代码说明:

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

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

发表评论

0 个回复

  • first come first serve
    first come first serve
    2022-01-26 06:50:02下载
    积分:1
  • 有限元求解微分问题
    有限元求解微分问题 -Finite Element Method differential problem solving differential FEM Finite Element Method differential FEM problem solving differential problem
    2022-03-14 09:55:49下载
    积分:1
  • 最优化
    该压缩包内包含了常用的最优化源码,均是利用C++实现的,其中包 扩DFP, 单纯形, 共轭梯度法, 内点法, 外点法, 内外点法,这些算法均在程序中实现,相信对初学最优化算法的会有很大的帮助
    2023-01-06 18:45:04下载
    积分:1
  • latent dirichlet allocation C语言实现 LINUX 下运行
    latent dirichlet allocation C语言实现算法 LINUX 下运行-latent dirichlet allocation the c implementation
    2022-07-13 10:58:06下载
    积分:1
  • Winzip压缩代码
    本代码主要是winzip压缩算法代码,对想研究zip压缩算法的朋友,快些下载吧。
    2022-10-23 14:30:05下载
    积分:1
  • This function calculates the peaks in a vector V.
    This function calculates the peaks in a vector V.
    2022-07-19 15:20:49下载
    积分:1
  • % [nearest_neighbours] = find_nearest_neighbours( database, desc, max_dist ) %...
    % [nearest_neighbours] = find_nearest_neighbours( database, desc, max_dist ) % Find the indices of the nearest neighbours of the given desriptors in the近邻点寻找算法,在非线性时间序列中很有用,是常用的算法- [Nearest_neighbours] = find_nearest_neighbours (database, desc, max_dist) Find the indices of the nearest neighbours of the given desriptors in the neighbor-point search algorithm, the nonlinear time series of very useful, is a commonly used algorithm
    2022-05-24 09:30:26下载
    积分:1
  • 最小函数依赖
    用c语言编辑数据库中的最小函数依赖, 求属性集X(XU)关于U上的函数依赖集F 的闭包XF+
    2022-04-19 13:20:58下载
    积分:1
  • 使用插值,实现折线的平滑.这是一个比较简单的.
    使用插值算法,实现折线的平滑.这是一个比较简单的算法.-use interpolation algorithm to achieve a smooth dogleg. This is a relatively simple algorithm.
    2023-08-16 01:00:03下载
    积分:1
  • 5.8 GHz电子不停车收费技术综述
    资源描述摘要:电子不停车收费(ETC)是智能交通系统(ITS)的重要 组成部分,5.8 GHz已成为国际酎陀系统的主流频段.我国 2007年颁布的国家标准也规定了中国ETC系统使用5.8 GI-Iz通信频段.从我国酎rC技术标准出发,阐述了5.8 GI-Iz 酎阢系统构成和实现原理,综述并分析了5.8 GHz勘rC系统 的关键技术,指出了5.8 GHz E1rc技术今后的研究方向和发 展趋势.
    2022-02-12 09:28:41下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载