稳定模型语义下不一致本体规则修复及回答查询的研究
| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 引言 | 第7-13页 |
| 1.1 本文的意义 | 第7-8页 |
| 1.2 研究背景与现状 | 第8-10页 |
| 1.3 本文的工作 | 第10页 |
| 1.4 本文的安排 | 第10-13页 |
| 第二章 预备知识 | 第13-29页 |
| 2.1 基础定义与概念 | 第13-14页 |
| 2.2 正规逻辑程序 | 第14-18页 |
| 2.3 存在规则语言 | 第18-23页 |
| 2.4 复杂度理论 | 第23-29页 |
| 第三章 本体规则修复理论 | 第29-43页 |
| 3.1 基本定义及性质 | 第29-33页 |
| 3.2 问题复杂度分析 | 第33-41页 |
| 3.3 本章小结 | 第41-43页 |
| 第四章 从查询回答问题到逻辑程序的翻译 | 第43-63页 |
| 4.1 SAT翻译 | 第43-54页 |
| 4.2 ASP求解 | 第54-60页 |
| 4.3 本章小结 | 第60-63页 |
| 第五章 实验与分析 | 第63-69页 |
| 5.1 实验基本叙述 | 第63-64页 |
| 5.2 实验测例 | 第64-65页 |
| 5.3 实验结果分析 | 第65-66页 |
| 5.4 本章小结 | 第66-69页 |
| 第六章 总结与展望 | 第69-73页 |
| 6.1 本文总结 | 第69-70页 |
| 6.2 后续工作及展望 | 第70-73页 |
| 参考文献 | 第73-79页 |
| 在学期间论文发表情况 | 第79-80页 |
| 在学期间参与项目情况 | 第80-81页 |
| 致谢 | 第81页 |
