一阶带函词限定理论求解器的研究与实现

摘要	第1-4页
Abstract	第4-8页
第1章 前言	第8-14页
·背景知识	第8-9页
·研究现状	第9-11页
·研究目标与意义	第11-12页
·本文的主要工作	第12页
·本文结构安排	第12-14页
第2章 预备知识	第14-28页
·一阶逻辑和二阶逻辑	第14-16页
·一阶限定理论	第16-20页
·稳定模型语义	第20-23页
·逻辑程序	第23-27页
·回答集编程	第27-28页
第3章 函词和存在量词的消去及相关翻译	第28-41页
·一阶限定理论函词的消去	第28-33页
·相关翻译	第33-36页
·消去存在量词	第36-40页
·本章小结	第40-41页
第4章 求解器的设计和实现	第41-57页
·求解器的架构设计	第41-45页
·数据结构	第45-49页
·算法的实现	第49-52页
·翻译算法	第52-56页
·算法的时间复杂度	第56页
·本章小结	第56-57页
第5章 实验测试与结果分析	第57-65页
·正确性验证	第57-60页
·效率分析	第60-63页
·测试实验结果	第63-64页
·本章小结	第64-65页
第6章 总结与进一步工作	第65-67页
·总结	第65页
·进一步工作	第65-67页
参考文献	第67-72页
致谢	第72页