一种改进的回答集逻辑程序分割方法及程序化简研究

摘要	第4-6页
Abstract	第6-7页
第一章 引言	第13-19页
1.1 研究背景	第13-14页
1.2 国内外研究现状	第14-15页
1.3 本文的工作及意义	第15-16页
1.4 本文的安排结构	第16-19页
第二章 预备知识	第19-33页
2.1 命题逻辑	第19-20页
2.2 回答集编程	第20-30页
2.3 分割集与程序分割	第30-32页
2.4 本章小结	第32-33页
第三章 改进的程序分割方方法	第33-63页
3.1 分割集的计算与扩展	第33-35页
3.2 新程序分割方法	第35-58页
3.3 计算复杂性分析	第58-61页
3.4 本章小结	第61-63页
第四章 程序化简	第63-73页
4.1 正负文字化简算子	第63-68页
4.2 基于程序结论的程序化简	第68-72页
4.3 本章小结	第72-73页
第五章 实验与分析	第73-83页
5.1 实验环境	第73-76页
5.2 程序分割实验	第76-79页
5.3 程序化简实验	第79-81页
5.4 本章小结	第81-83页
第六章 总结与展望	第83-85页
6.1 研究总结	第83-84页
6.2 研究展望	第84页
6.3 本章小结	第84-85页
参考文献	第85-89页
在学期间论文发表情况	第89-91页
在学期间项目参与情况	第91-93页
致谢	第93页