带函数的析取逻辑程序良基语义研究

摘要	第3-4页
Abstract	第4-5页
第一章 绪论	第6-10页
1.1 研究背景及意义	第6页
1.2 国内外逻辑程序的发展和研究	第6-8页
1.3 研究内容及其结果	第8页
1.4 文章的组织结构	第8-10页
第二章 回答集程序设计基础知识	第10-16页
2.1 析取逻辑程序语法	第10-11页
2.2 稳定模型	第11-13页
2.3 良基解释	第13-15页
2.4 本章小结	第15-16页
第三章 带函数的析取逻辑程序的无基集及良基解释	第16-41页
3.1 带函数的析取逻辑程序	第16-19页
3.2 无基集与良基解释	第19-32页
3.3 基于SAT的稳定模型算法	第32-40页
3.4 本章小结	第40-41页
第四章 哈密尔顿回路的回答集程序方法	第41-47页
4.1 基本随机图模型及相变概念	第41页
4.2 生成随机图算法和哈密尔顿回路逻辑程序	第41-43页
4.3 实验分析	第43-46页
4.4 本章小结	第46-47页
第五章 总结与展望	第47-49页
5.1 总结	第47页
5.2 展望	第47-49页
致谢	第49-50页
参考文献	第50-53页
在攻读硕士学位期间的学术论文及科研项目	第53-54页