一阶逻辑模型生成器的实现

一阶逻辑模型生成器的实现

张一民, 孙吉贵

吉林大学计算机科学与技术学院，长春 130012

收稿日期:2003-08-11 修回日期:1900-01-01 出版日期:2004-04-26 发布日期:2004-04-26
通讯作者: 张一民

Implementation of first order logic model generation

ZHAGN Yi-min, SUN Ji-gui

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2003-08-11 Revised:1900-01-01 Online:2004-04-26 Published:2004-04-26
Contact: ZHAGN Yi-min

摘要/Abstract

摘要： 介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法，在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实现的模型生成器与MACE进行了对比测试与结果分析.

关键词: SAT, 模型生成, 命题推理, 一阶逻辑推理

Abstract: The present paper deals with the SAT problem and the multiple methods to solve it, then shows how to use the SAT prover to crack first order logic problem. After that the details of our first order logic modal gener ator__FOLMG is given, it behaves well in comparison with MACE which is anot her good model generator.

Key words: SAT, model generation, propositional logic, first order logic

中图分类号:

TP18

张一民, 孙吉贵. 一阶逻辑模型生成器的实现[J]. J4, 2004, 42(02): 189-194.

ZHAGN Yi-min, SUN Ji-gui. Implementation of first order logic model generation[J]. J4, 2004, 42(02): 189-194.

[1]	张蕾, 姜宇, 孙莉. 一种改进型TF-IDF文本聚类方法[J]. 吉林大学学报(理学版), 2021, 59(5): 1199-1204.
[2]	李旭东, 周林华. 基于大津算法和深度学习的开集声纹识别自适应阈值计算方法[J]. 吉林大学学报(理学版), 2021, 59(4): 909-914.
[3]	甘新基. 基于Bézier曲线的差速驱动机器人混合避障路径规划算法[J]. 吉林大学学报(理学版), 2021, 59(4): 943-949.
[4]	裴莹, 苏山, 付加胜, 韩霄松. 一种求解复杂优化问题的快速遗传算法算子[J]. 吉林大学学报(理学版), 2021, 59(3): 602-608.
[5]	王丽, 王涛, 肖巍, 刘兆赓, 李占山. XGBoost启发的双向特征选择算法[J]. 吉林大学学报(理学版), 2021, 59(3): 627-634.
[6]	陶玉杰, 李艳红, 孙刚. 基于Bernstein多项式构造前向神经网络的遗传算法[J]. 吉林大学学报(理学版), 2021, 59(2): 233-240.
[7]	陈雪, 王贵君. 基于三角模糊化的Mamdani模糊系统输出算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1181-1188.
[8]	高云龙, 吴川, 朱明. 基于改进卷积神经网络的短文本分类模型[J]. 吉林大学学报(理学版), 2020, 58(4): 923-930.
[9]	卢爱平, 李建平, 李盼池, 范友贵. 基于量子自组织网络的水淹层识别方法[J]. 吉林大学学报(理学版), 2020, 58(4): 944-952.
[10]	初晓, 孟祥鹤哲, 张凯, 胡成全. 基于残差网络的海洋温跃层分析方法[J]. 吉林大学学报(理学版), 2020, 58(4): 960-964.
[11]	吴云鹏, 崔佳旭, 张永刚. 一种新的结合奖励机制的ETLBO算法[J]. 吉林大学学报(理学版), 2019, 57(06): 1416-1424.
[12]	刘亚南, 王献昌, 张睿, 汪维凯. 基于规则提升的Agent系统异常处理方法[J]. 吉林大学学报(理学版), 2019, 57(5): 1144-1154.
[13]	郭玉洁, 张强, 袁和平. 一种双种群协同多目标粒子群优化算法及应用[J]. 吉林大学学报(理学版), 2019, 57(5): 1155-1162.
[14]	郑明, 刘桂霞, 卓慕瑰. AP数据源融合算法构建基因调控网络[J]. 吉林大学学报(理学版), 2019, 57(5): 1214-1218.
[15]	王颖, 曹捷, 邱志洋. 基于乌鸦搜索算法的新型特征选择算法[J]. 吉林大学学报(理学版), 2019, 57(04): 869-874.