节点文献
一阶逻辑模型生成器的实现
Implementation of first order logic model generation
【摘要】 介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法,在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤.并对实现的模型生成器与MACE进行了对比测试与结果分析.
【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 generatorFOLMG is given, it behaves well in comparison with MACE which is another good model generator.
【关键词】 SAT；
模型生成；
命题推理；
一阶逻辑推理；
【Key words】 SAT； model generation； propositional logic； first order logic；
【Key words】 SAT； model generation； propositional logic； first order logic；
【基金】 国家自然科学基金(批准号:2000540);教育部骨干教师基金;吉林省科委重大项目基金.
- 【文献出处】 吉林大学学报(理学版) ,Acta Scientiarium Naturalium Universitatis Jilinensis , 编辑部邮箱 ,2004年02期
- 【分类号】TP301
- 【被引频次】1
- 【下载频次】68