不一致回答集程序的处理方法研究

摘要	第1-5页
Abstract	第5-8页
第1章 绪论	第8-14页
·研究背景和研究意义	第8-10页
·国内外研究现状	第10-12页
·研究内容	第12-13页
·本文的组织结构	第13-14页
第2章 相关理论和关键技术	第14-26页
·Horn逻辑程序	第14-16页
·回答集程序设计	第16-20页
·稳定模型语义	第16-18页
·回答集语义	第18-19页
·回答集计算过程	第19-20页
·不一致的回答集程序	第20-22页
·元程序设计	第22-23页
·本章小结	第23-26页
第3章 基于元程序处理不一致回答集程序的方法研究	第26-38页
·基于元程序处理不一致回答集程序的基本方法	第26-33页
·不一致回答集程序的扩展	第26-28页
·元程序变换框架	第28-31页
·应用举例	第31-32页
·与相关工作比较	第32-33页
·基于元程序技术处理不一致ASP的系统实现	第33-37页
·Smodels简介	第34-35页
·系统设计方案	第35-37页
·本章小结	第37-38页
第4章 加权定量的优化方法处理不一致回答集程序	第38-48页
·加权定量的优化方法	第38-41页
·应用举例	第41-47页
·符号一致性模型	第42-44页
·修复生物网络中的不一致性	第44-47页
·本章小结	第47-48页
结论	第48-50页
参考文献	第50-54页
攻读学位期间发表的学术论文	第54-56页
致谢	第56页