有序逻辑程序的回答集语义研究

摘要	第1-5页
ABSTRACT	第5-8页
图表清单	第8-9页
注释表	第9-10页
第一章绪言	第10-14页
·研究背景	第10-12页
·本文的主要研究内容	第12页
·本文的组织	第12-14页
第二章有序逻辑程序与回答集语义	第14-22页
·逻辑程序与回答集语义	第14-15页
·规则序与W 回答集	第15-16页
·W 回答集语义的扩展	第16-18页
·其它回答集语义的扩展	第18-19页
·各种回答集语义之间的相互关系	第19-21页
·与相关工作的比较	第21-22页
第三章有序逻辑程序的图表示	第22-30页
·有向图与有序逻辑程序	第22-23页
·有序逻辑程序与点着色	第23-26页
·点着色与回答集语义之间的关系	第26-29页
·与相关工作的比较	第29-30页
第四章有序逻辑程序的辩论框架	第30-38页
·逻辑程序的辩论框架与辩论语义	第30-31页
·文字序逻辑程序的辩论框架	第31-33页
·规则序逻辑程序的辩论框架	第33-37页
·与相关工作的比较	第37-38页
第五章有序逻辑程序的求解算法	第38-47页
·直接求解回答集的算法	第38-39页
·回答集求解算法的改进	第39-40页
·用遗传算法辅助求解回答集	第40-42页
·回答集的图解算法	第42-44页
·实验结果以及各算法的比较	第44-46页
第六章小结	第46-47页
参考文献	第47-50页
致谢	第50-51页
在学期间的研究成果	第51页