结合描述逻辑和霍恩规则的不确定推理算法

项目名称： 结合描述逻辑和霍恩规则的不确定推理算法

项目编号： No.60903078

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 郑骁庆

作者单位： 复旦大学

项目金额： 18万元

中文摘要： 语义万维网知识表示部分的逻辑学基础是描述逻辑，而描述逻辑本身又要求与某个规则系统协同工作，才能够支持复杂的实际应用。霍恩规则和描述逻辑已被证明是一阶谓词逻辑的可判定子集，并且两者在知识表达能力和作用方面相互补充，但是现存的两者结合的推理算法不是表达能力较弱，就是不具备可判定性。项目首先拟进行结合描述逻辑和霍恩规则推理算法的研究，该算法应同时满足完备性、合理性和可判定性。其次，将算法在不确定性处理方面加以扩展，以支持语义万维网的典型应用。最后，在前述研究的基础上，实现一个面向语义万维网的推理引擎原型系统，并对该推理引擎系统进行实验分析和应用示范。项目的开展将对发展知识表示理论，特别是进一步认识描述逻辑和霍恩规则相结合所产生的特殊逻辑学结构和特征、完善语义万维网逻辑和证明层理论基础、设计开发新一代智能系统和开展网络情报分析都有一定的现实意义和参考价值。

中文关键词： 描述逻辑；霍恩规则；不确定性推理；语义万维网；数据集成

英文摘要：

英文关键词： Description logics；Horn rules；Uncertainty；Semantic web；Data integration