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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 给某个玩家100元的资本,让他不停押注直到输光,计需要赌博多少次? 如果把次数放在数组ruinLength[]中,进行1000次实验后,看看破产的最大次数...
    给某个玩家100元的资本,让他不停押注直到输光,计算需要赌博多少次? 如果把次数放在数组ruinLength[]中,进行1000次实验后,看看破产的最大次数、 最小次数和平均次数分别是多少?-100 to a player" s capital, so that he kept until the bet输光to calculate how many times the need for gambling? If the number on the array ruinLength [] in experiments carried out after 1000 to see the largest number of bankruptcy, the minimum number and the average number of how many were?
    2022-02-01 04:15:03下载
    积分:1
  • C语言实现链表基本操作
    c使用C语言实现数据结构的链表操作,链表的基本操作包括链表的初始化,链表的创建,链表的插入,链表的删除,链表的清空,链表的节点的删除,链表节点的遍历。 本文使用纯C语言实现,具有较好的注释风格。
    2022-05-31 22:38:49下载
    积分:1
  • 在 python 中聊天的Eliza
    这是Eliza为 python 语言要求创建那里名字和帮忙的人。提出了解决这一问题的认识到问题了解用户的问题和得到的单词和字母像元音。
    2022-03-30 13:39:08下载
    积分:1
  • 分支定界
    用分支定界算法解决线性规划问题 约束条件为整数 采用分支 定界 剪枝获得最优解 减少计算量
    2023-02-07 17:50:03下载
    积分:1
  • 求解 tsp 问题用遗传
    这段代码将使用遗传算法找到最优的解决方案及其所有阶段公共旅游salseman问题。城市坐标在
    2022-09-13 14:30:03下载
    积分:1
  • C语言版本的矩阵库,目前世界上最流行的三大矩阵运库之一,这是修正版本,我自己改了几个地方(按照官方要求)...
    C语言版本的矩阵库,目前世界上最流行的三大矩阵运算库之一,这是修正版本,我自己改了几个地方(按照官方要求)-C language edition matrix library , now in the world the most popular three greatest matrixeses carries to calculate the one of the library , this is to revises the edition, myself changed a few places( request according to the authorities)
    2023-07-06 01:05:04下载
    积分:1
  • 拉格朗日插值函数的示例
    拉格朗日插值函数算法的示例-Lagrangian function interpolation algorithm examples
    2022-07-21 17:26:50下载
    积分:1
  • huffman编码
    对一个文本里的字符进行哈弗曼编码,通过对文本的读取,统计文本里各个字符出现的频数,确定哈弗曼编码,然后将编码在新文本中输出。可进行文本的翻译。
    2022-06-13 03:08:13下载
    积分:1
  • 另一个二维的FDTD仿真程序,仿真图像很好,很有帮助。
    另一个二维的FDTD仿真程序,仿真图像很好,很有帮助。-Another two-dimensional FDTD simulation procedures, simulation images very good, very helpful.
    2022-04-10 01:36:26下载
    积分:1
  • C语言写的Bezier曲线
    用c语言写的Bezier曲线,贝塞尔曲线就是这样的一条曲线,它是依据四个位置任意的点坐标绘制出的一条光滑曲线。在历史上,研究贝塞尔曲线的人最初是按照已知曲线参数方程来确定四个点的思路设计出这种矢量曲线绘制法。贝塞尔曲线的有趣之处更在于它的“皮筋效应”,也就是说,随着点有规律地移动,曲线将产生皮筋伸引一样的变换,带来视觉上的冲击。1962年,法国数学家Pierre Bézier第一个研究了这种矢量绘制曲线的方法,并给出了详细的计算公式,因此按照这样的公式绘制出来的曲线就用他的姓氏来命名是为贝塞尔曲线。
    2022-01-28 22:03:53下载
    积分:1
  • 696518资源总数
  • 106164会员总数
  • 18今日下载