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

摘要：

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

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

所属期刊栏目：42

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金2000540;教育部高校骨干教师资助计划;吉林省科技厅科研项目

在线出版日期：2004-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：189-194