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

• 作者: 孙吉贵 张一民
• 来源期刊: 吉林大学学报(理学版)
• 学科: 工学
• 关键词: SAT 模型生成 命题推理 一阶逻辑推理
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 189-194
• 页数: 6页
• 分类号: TP18
• 字数: 5871字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2004.02.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
2	张一民	吉林大学计算机科学与技术学院	1	1	1.0	1.0