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

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

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

代码说明:

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

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

发表评论

0 个回复

  • ABAQUS弹塑性UMAT
    弹塑性UMAT程序,讲述弹性本构关系的数值实现过程,考虑了双线性各向同性硬化准则。通过UMAT的模拟,可以和Abaqus材料库中的模型进行对比,验证数值实现的合理性。由于弹塑性UMAT的实现过程文献中均有描述,可以获得相关的公式推导。
    2023-08-21 04:40:03下载
    积分:1
  • SPHysics - SPH Free-surface Flow Solver
    SPHysics is a platform of Smoothed Particle Hydrodynamics (SPH) codes inspired by the formulation of Monaghan (1992) developed jointly by researchers at the Johns Hopkins University (U.S.A.), the University of Vigo (Spain), the University of Manchester (U.K.) and the University of Rome La Sapienza (Italy). Developed over a number of years primarily to study free-surface flow phenomena where Eulerian methods can be difficult to apply, such as waves, impact of dam-breaks on off-shore structures.
    2022-05-26 05:01:36下载
    积分:1
  • smart grid
    基于GSM的智能网的实现
    2022-03-16 04:01:25下载
    积分:1
  • double类型的3维矢量运类库,具有加、减、点积、叉积、除、取模、单位化功能。...
    double类型的3维矢量运算类库,具有加、减、点积、叉积、除法、取模、单位化功能。 -double types of 3-D vector operation library is, plus or minus, plot points, fork plot, division, from mold, Function units.
    2022-07-01 02:43:43下载
    积分:1
  • photonic crystals used to calculate the band structure of the program, FORTRAN p...
    用来计算光子晶体能带结构的程序,用fortran编写,效果不错。-photonic crystals used to calculate the band structure of the program, FORTRAN prepared effectiveness.
    2023-01-24 08:40:03下载
    积分:1
  • 矩阵得基本运(数组实现)
    矩阵得基本运算(数组实现)-matrix in the basic operations (Array achieved)
    2022-09-12 21:30:03下载
    积分:1
  • 感应电机速度控制
    应用背景这是产生PWM感应电机的SVPWM算法关键技术这种利用MikroC Pro的dsPIC编译器生成的代码
    2022-06-19 03:29:39下载
    积分:1
  • 粒子群优化 (PSO) c
    粒子群优化算法 (PSO) c粒子群优化 (PSO) 算法 [1,2] 在 C 可执行"插入"代码作为一个小型图书馆。粒子群优化算法用于涉及全局随机优化的连续函数 (称为目标函数) 的问题。粒子群优化算法也可用于离散优化问题,但在此库的当前版本中未实施这种行为。使用只是在代码中包括 pso.h 和 pso.c。您需要有 GNU 科学图书馆和各自的发展 (即标题) 文件,以在您的应用程序中包含 pso.c。你的 Makefile 中将添加到您的 LDFLAGS 的-lgsland lgslcblas。为了使用 pso_solve(),您需要:最小化目标函数 (见在 pso.h 中定义类型 pso_obj_fun_t),一个具有正确初始化的 pso_results_t 对象 (malloc 会) gbest 缓冲区。这是将存储发现最好的位置,以及最小的误差 (存储在成员错误)。一个具有正确初始化的值 (使用 pso_set_default_settings() 进行快速和肮脏的初始化) 的 pso_settings_t 对象功能邻域拓扑粒子群优化算法用于确定每个 particle 附近吸引子提供了三种不同的策略:全球的拓扑结构 (PSO_NHOOD_GLOBAL),每个粒子由每一另一种粒子群通知环形的拓扑 (PSO_NHOOD_RING) 在那里存在着固定的环型拓扑结构和每个粒子由其邻近的微粒通知
    2022-04-22 20:27:57下载
    积分:1
  • normal random number generator
    c#正态分布的随机数发生器-normal random number generator
    2022-01-26 01:33:55下载
    积分:1
  • 哲学家就餐问题的两种实现
    哲学家就餐问题的两种算法实现-Two philosophers eat algorithm
    2022-01-26 01:36:10下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载