知识本体模型下的不一致推理机制研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·研究背景 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·主要研究工作 | 第11页 |
| ·论文的组织结构 | 第11-13页 |
| 第2章 知识本体模型与信念非修正理论 | 第13-24页 |
| ·语义网 | 第13-15页 |
| ·语义网的体系结构 | 第13-14页 |
| ·本体与语义网 | 第14-15页 |
| ·本体 | 第15-19页 |
| ·本体的建模元语 | 第15-16页 |
| ·本体的描述语言 | 第16-17页 |
| ·本体的构建过程 | 第17-18页 |
| ·本体推理 | 第18-19页 |
| ·信念非修正 | 第19-24页 |
| ·信念修正理论 | 第19-20页 |
| ·信念非修正理论 | 第20-22页 |
| ·信念非修正理论的发展 | 第22-24页 |
| 第3章 本体模型下不一致推理的研究 | 第24-42页 |
| ·不一致本体介绍 | 第24页 |
| ·引起不一致的原因分析 | 第24-25页 |
| ·不一致本体推理方法分析 | 第25-29页 |
| ·修正不一致本体 | 第26-28页 |
| ·非标准推理 | 第28-29页 |
| ·不一致本体的信念非修正方法 | 第29-38页 |
| ·描述逻辑 | 第29-32页 |
| ·描述逻辑到一阶逻辑的转化 | 第32-34页 |
| ·信念非修正方法的应用 | 第34-38页 |
| ·模糊不一致本体 | 第38-40页 |
| ·模糊描述逻辑 | 第38-39页 |
| ·模糊不一致推理 | 第39-40页 |
| ·小结 | 第40-42页 |
| 第4章 表算法的改进 | 第42-51页 |
| ·描述逻辑常用推理方法分析 | 第42-43页 |
| ·表算法设计 | 第43-46页 |
| ·改进的表算法 | 第46-50页 |
| ·小结 | 第50-51页 |
| 第5章 系统设计 | 第51-61页 |
| ·描述逻辑到一阶逻辑的转化 | 第51-55页 |
| ·推理机改进 | 第55-60页 |
| ·推理机介绍 | 第55-56页 |
| ·改进的推理机结构 | 第56-60页 |
| ·小结 | 第60-61页 |
| 第6章 总结 | 第61-63页 |
| ·论文总结 | 第61-62页 |
| ·未来展望 | 第62-63页 |
| 参考文献 | 第63-67页 |
| 攻读学位期间公开发表论文 | 第67-68页 |
| 致谢 | 第68页 |
