超协调描述逻辑

论文摘要

描述逻辑是一类用于表达结构化的知识,并按照规则来提取和推理的形式化语言,它是语义网本体的逻辑基础。在语义网这种开放变化的、异地合作的环境中,获得的信息通常是不完美的。基于描述逻辑表示的知识库或本体可能包含不协调的知识,而描述逻辑不能处理不协调的知识。超协调方法指利用非经典的推理关系,使矛盾能被容纳但从矛盾却不能推出一切――这被称为超协调性。超协调描述逻辑为描述逻辑提供一种满足超协调性的推理机制。本文主要研究超协调描述逻辑,主要工作包括:1.针对多值描述逻辑不满足消解规则,提出了一种准经典描述逻辑,给出了准经典描述逻辑的表演算和归约算法,并初步实现了OWLDL超协调推理系统PROSE。2.针对准经典描述逻辑不满足协调性保护性质和排中律,提出了极小悖论描述逻辑,并给出了极小悖论描述逻辑的带标记的极小表演算。3.针对基于多值的超协调方法和基于协调子集的超协调方法对引起不协调双方缺乏主次之分,提出了辩论描述逻辑,并给出了描述逻辑DL-Lite上的辩元搜索算法。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 研究背景
• 1.2 问题陈述
• 1.3 主要工作
• 1.4 文章结构
• 第二章 描述逻辑和超协调逻辑
• 2.1 描述逻辑
• 2.1.1 描述逻辑的语法语义
• 2.1.2 低计算复杂度的描述逻辑
• 2.1.3 描述逻辑的推理问题及其表演算
• 2.2 超协调逻辑
• 2.2.1 多值逻辑
• 2.2.2 准经典逻辑
• 2.2.3 辩论逻辑
• 第三章 多值描述逻辑
• 3.1 四值描述逻辑
• 3.1.1 强表达能力的四值描述逻辑族
• 3.1.2 易处理的四值描述逻辑
• 3.2 悖论描述逻辑
• 3.2.1 描述逻辑的悖论语义
• 3.2.2 悖论描述逻辑的表演算
• 第四章 准经典描述逻辑
• 4.1 准经典描述逻辑的语法与语义
• 4.1.1 准经典描述逻辑的弱满足关系与强满足关系
• 4.1.2 准经典描述逻辑的准经典模型
• 4.1.3 准经典描述逻辑的推论问题
• 4.2 准经典描述逻辑的推理算法
• 4.2.1 准经典描述逻辑的表演算
• 4.2.2 准经典描述逻辑的归约算法及实现
• 4.3 相关工作
• 第五章 极小悖论描述逻辑
• 5.1 悖论描述逻辑的极小不协调语义
• 5.2 极小悖论描述逻辑的表演算
• 5.3 相关工作
• 第六章 辩论描述逻辑
• 6.1 描述逻辑的辩论框架
• 6.1.1 描述逻辑的辩元
• 6.1.2 描述逻辑的辩论框架
• 6.2 描述逻辑的推理服务
• 6.2.1 描述逻辑的蕴含关系
• 6.2.2 辩论描述逻辑的推理算法
• 6.3 相关工作
• 第七章 总结和展望
• 7.1 工作总结
• 7.2 工作展望
• 参考文献
• 附录一 个人简历、在学期间的研究成果
• 附录二 中英文术语、记号
• 致谢
• 后记