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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 有重复元素的排列问题
    资源描述设集合R={r1,r2,...,rn}是要进行排列的n个元素,其中r1,r2,...,rn可能相同。 试着设计一个算法,列出R的所有不同排列。 即,给定n以及待排的n个可能重复的元素。计算输出n个元素的所有不同排列。
    2022-06-15 12:23:57下载
    积分:1
  • ex4 decompiler v2 2015
    ex4反编译程序v2 2015 ex4反编译程序v2 2015 ex4反编译程序v2 2015 ex4反编译程序v2 2015 ex4反编译程序v2 2015 ex4反编译程序v2 2015 ex4反编译程序v2 2015 ex4反编译程序v2 2015
    2022-02-12 02:48:31下载
    积分:1
  • 幻方
    在娱乐数学幻方是安排不同的数字 (即每个数字使用一次),通常是整数,在正方形网格中,在那里在每一行和每一列中的数字和中向前和向后主对角线上的数字都加起来到相同的编号。幻方具有相同的行数以及它有根柱子,在常规的数学符号,"n"代表数量的行 (和列),它有。因此,魔术广场总是包含 n2 的数字,和它的大小 (行 [和列],它具有数目) 被形容为"的 n 阶"。[1] 包含从 1 到 n2 整数的魔术方块被称为正常的幻方。("魔方"一词有时也用于指各种类型的单词方块。)有可能构建任何大小除了 2 × 2 正常幻方 (也就是说,其中 n = 2),虽然幻方的解决方案其中 n = 1 是微不足道的因为它只是由单个单元格包含数字 1。小非平凡案例,如下所示,是一个 3 × 3 网格 (也就是说,三阶的魔术广场)。这是解决 nxn 幻方的项目
    2023-03-28 06:25:04下载
    积分:1
  • 这是一个蝶行运单元,是做FFT的最基本的单元
    这是一个蝶行运算单元,是做FFT的最基本的单元-This is a butterfly OK Operational unit, which is doing the most basic FFT modules
    2022-03-09 16:24:28下载
    积分:1
  • kalman滤波MATLAB代码
    MATLAB代码kalman滤波目标跟踪.
    2023-02-14 08:50:03下载
    积分:1
  • C++红黑树的MFC实现桌面字典~~~~
    采用RB树的数据结构,采用mfc框架,界面仿照金山字典,实现 搜索,删除,添加,记忆功能。 在搜索的过程中最大化优化效率,使得时间最少,相比传统的字典树有它的优势!!!!
    2022-12-30 08:45:03下载
    积分:1
  • matlab分类回归等相关程序
    基于多元线性回归、偏最小二乘、神经网络、卡尔漫滤波、径向基网络、主成分分析等等的程序
    2022-10-03 15:30:04下载
    积分:1
  • 一个vc++的求平均值的小例子,用到了指针,和多种函数
    一个vc++的求平均值的小例子,用到了指针,和多种函数-A vc++ Average for the small examples used for the pointer, and a variety of functions
    2023-08-30 12:55:03下载
    积分:1
  • Dijkstra algorithm最短路径
    Dijkstra算法在EXCEL的实现                      
    2022-02-28 20:49:37下载
    积分:1
  • candide-3人脸模型建模
    candide-3人脸模型建模,candide-3人脸模型建模,candide-3人脸模型建模,candide-3人脸模型建模
    2022-03-18 01:19:56下载
    积分:1
  • 696516资源总数
  • 106409会员总数
  • 8今日下载