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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 0-1背包问题代码
    0-1背包问题算法代码
    2022-06-28 17:49:18下载
    积分:1
  • FFT C语言编程
    本文档介绍了离散傅里叶变换(DFT),即,一个适用于离散傅里叶变换的复值序列。数学将和源代码(写在C编程语言)在附录中提供。
    2022-05-06 13:08:09下载
    积分:1
  • 砝码称重问题! 用1,2,5,10,20,50的砝码称出1到88的物重
    砝码称重问题! 用1,2,5,10,20,50的砝码称出1到88的物重-weight problem! With 1, said 2,5,10,20,50 weight 1-88 out of the weight
    2022-07-15 20:27:31下载
    积分:1
  • matrix operations such as matrix inversionmethods,It is part of java3d project...
    java 写的matrix等的一些操作,含有矩阵求逆等方法,是java3d的一部分。https://java3d.dev.java.net/binary-builds.html -matrix operations such as matrix inversionmethods,It is part of java3d project. https:// java3d.dev.java.net/binary-builds.html
    2022-02-22 08:10:23下载
    积分:1
  • 用汇编语言实现的PN码,长度为9。。只需要8个cycle就可以出32bit。。效率很高。。和大家一起共享:)...
    用汇编语言实现的PN码,长度为9。。只需要8个cycle就可以出32bit。。效率很高。。和大家一起共享:)-using assembly language to achieve the PN code, the length of nine. . Only eight cycle will be 32 bit. . High efficiency. . And together we share :)
    2022-02-21 19:44:59下载
    积分:1
  • opencv跟踪
    应用背景目前,智能监控和智能交通的应用非常普及,如何让在普通的视频监控技术当中加入智能功能成为各大厂商和高校竞争的焦点之一。在智能监控当中,跟踪技术有非常广泛的使用价值。如果能将跟踪技术做好,产品会非常具有竞争性。关键技术目前的跟踪技术可以采用多种方法,在彩色图像,灰度图像,二值图像上均可以做出不错的跟踪算法。就计算量而言,彩色图像的计算量是最大的,实时性很难保证,灰度图像跟踪相对计算量较小,而且可以利用的图像信息比较多,而二值图像的跟踪,计算量是最小的,可以做到非常快。
    2022-03-07 04:30:44下载
    积分:1
  • 模式匹配替换
    通过模式匹配寻找一个字符串的所有符合匹配的字串,然后用指定任意形式的字符长短替换
    2022-07-06 18:00:51下载
    积分:1
  • 遗传工具箱
    遗传算法工具箱  超全的代码,包含很多个小程序,要是下载这个,就不用担心再去其他地方找了
    2022-09-24 12:00:02下载
    积分:1
  • Computational fluid dynamics as a new method of landmark
    作为对计算流体力学划时代共享的新方法。roe格式对于差分格式的构造提供了新的全新的领域!Fortran编写-Computational fluid dynamics as a new method of landmark-sharing. roe format structure for the difference scheme provided a new field of brand new! Fortran prepared
    2022-06-16 12:39:03下载
    积分:1
  • MD5 C语言实现
    MD5算法实现简洁,思路清晰,附有代码解释,轻松看懂。MD5算法的输入可以是任意长度的消息x,对输入消息按512位分组为单位惊进行处理,输出128位的散列值MD(x)。
    2022-10-23 15:00:03下载
    积分:1
  • 696518资源总数
  • 104349会员总数
  • 32今日下载