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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 匹配滤波的MATLAB实现,用于随机信号处理的演示!
    匹配滤波的MATLAB实现,用于随机信号处理的算法演示!-matched filtering of MATLAB for random signal processing algorithm demo!
    2022-07-20 18:18:42下载
    积分:1
  • VB计PMV
    VB界面精确计算PMV值,方面快捷,适用于工程计算及科学相关研究,精确度高达99%
    2023-03-31 03:00:04下载
    积分:1
  • 学习VC的时候写的,求解有向图的最大流和最小截集。
    学习VC的时候写的,求解有向图的最大流和最小截集。-learning to write when the solution is to map the maximum flow and minimum cut-set.
    2023-07-26 06:55:04下载
    积分:1
  • C++编写的快速离散余弦变换
    快速DCT(离散余弦变换) 也许对图像处理有用。
    2022-03-31 18:56:19下载
    积分:1
  • 三国杀识别
    这个程序确定的三国杀国战历史信息。它所使用的语言分析技术和图像模板匹配的方法。
    2023-05-25 16:10:03下载
    积分:1
  • 线段与凸多边行的是否相交的判断
    线段与凸多边行的是否相交的判断-line with the convex multilateral OK to judge whether the intersection
    2023-09-07 11:35:03下载
    积分:1
  • the 29th World University acm Cup programming contest that the answer c.
    第29届acm杯世界大学生编程竞赛答案题c.-the 29th World University acm Cup programming contest that the answer c.
    2022-03-13 08:41:32下载
    积分:1
  • 黑白棋c++
    1.显示游戏的界面功能游戏界面上包括游戏等级选择、重新开始、游戏帮助的控件对游戏进行相应的设置。2.接受鼠标输入功能能够接受玩家的鼠标输入功能,把棋子放入指定的位置。3.根据规则翻转相应的棋子无论是电脑或是玩家在棋盘中落下棋子后,能够根据游戏的规则,把横向、纵向及对角直线上的棋子全部翻转过来,变成最后落下棋子的颜色,并对棋子数量进行增减。4.游戏胜负判断功能双方都没有棋子可下时棋局结束,以棋子数目来计算胜负,棋子多的一方获胜。在棋盘还没下满时,如果一方的棋子应经被对方吃光,则棋局结束。将对手棋子吃光的一方获胜。5.实现人机对战模式支持人工智能,根据游戏等级的不同,进行不同的算法深度搜索,找出最合理的位置进行落子操作。6.人工智能的等级设置能够指定当前电脑人工智能的等级。根据不同的等级,其算法搜索深度不同。7.游戏提供帮助说明在游戏界面中,提供一个控件。以方便对本游戏不了解的玩家对游戏进行操作和使用
    2022-07-27 08:23:18下载
    积分:1
  • Gauss_Seidel迭代的Matlab程序
    Gauss_Seidel迭代法的Matlab程序 -Gauss_Seidel iteration of the Matlab program
    2022-05-20 17:32:02下载
    积分:1
  • 高斯消去
    gaussian elimination
    2022-01-27 17:23:05下载
    积分:1
  • 696516资源总数
  • 106918会员总数
  • 4今日下载