基于描述逻辑的定性空间推理研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 1 绪论 | 第8-12页 |
| ·研究背景 | 第8-9页 |
| ·国内外研究概况 | 第9-10页 |
| ·主要研究内容 | 第10页 |
| ·论文的结构 | 第10-12页 |
| 2 定性空间推理基础理论研究 | 第12-15页 |
| ·定性空间拓扑关系 | 第12-13页 |
| ·基于组合表的推理 | 第13-14页 |
| ·本章小结 | 第14-15页 |
| 3 描述逻辑推理研究 | 第15-29页 |
| ·描述逻辑概念、构成、特点及应用 | 第15-16页 |
| ·描述逻辑概念、构成 | 第15页 |
| ·描述逻辑的特点及应用 | 第15-16页 |
| ·描述逻辑的形式语言 | 第16-28页 |
| ·ALC 的语法、语义和表算法 | 第16-20页 |
| ·SI 的语法、语义和表算法 | 第20-23页 |
| ·ALC(D)的语法、语义和表算法 | 第23页 |
| ·其他形式语言的语法、语义和表算法 | 第23-28页 |
| ·本章小结 | 第28-29页 |
| 4 基于描述逻辑的定性空间推理 | 第29-52页 |
| ·定性空间关系的描述逻辑表示 | 第29-36页 |
| ·定性空间具体域 | 第29-32页 |
| ·定性空间关系符号化表示 | 第32-36页 |
| ·定性空间关系推理规则 | 第36-45页 |
| ·定性空间关系可满足性推理研究 | 第45-51页 |
| ·定性空间关系一致性研究 | 第51页 |
| ·本章小结 | 第51-52页 |
| 5 推理的应用 | 第52-58页 |
| ·问题描述 | 第52页 |
| ·未知关系推理 | 第52-53页 |
| ·可满足性检测 | 第53-57页 |
| ·一致性检测 | 第57页 |
| ·与基于组合表推理的比较 | 第57页 |
| ·本章小结 | 第57-58页 |
| 6 结论 | 第58-60页 |
| ·全文总结 | 第58页 |
| ·下一步研究的问题 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 附录 | 第65页 |
| A. 作者在攻读硕士学位期间发表的论文目录 | 第65页 |
| B. 作者在攻读硕士学位期间参与的项目目录 | 第65页 |
