模糊描述逻辑F-SHIQ公理体系及其推理机制的研究

发布时间：2024-03-30 02:44

　　计算机与Internet的快速发展,使得语义网和描述逻辑在人工智能等领域扮演着越来越重要的角色,基于语义网的知识获取与知识推理应用也在不断增加。但在我们的日常生活中,越来越多不确定的、模糊的信息需要处理,这就需要有一套完整的理论联系实际的模糊知识处理体系,来对模糊信息进行准确的表述与推理。本文以此目标为研究方向,把模糊逻辑理论作为基础,对现有的基于语义网的理论与技术进行了深入的研究,重点关注了理论的完善和实践的可应用性两个关键的问题,所取得的主要研究成果如下: (1)提出了对描述逻辑SHIQ的模糊扩展,给出了一个可靠的公理体系:模糊描述逻辑公理体系F-SHIQ,将其作为知识表示与推理的理论基础。以一个构造公理系统的角度,将描述逻辑中必要的概念、关系、操作等都进行了模糊扩展,给出了相应的定义,法则,公理和定理等,并对公理体系进行了推导证明,以保证其可靠性。 (2)把F-SHIQ公理体系作为逻辑基础,扩展了现有的本体描述语言OWL DL,提出了基于模糊描述逻辑的规则语言FSRL。使得知识表述语言在类、属性、个体、操作等方面同样具有了表达和处理模糊信息的能力。并为后面的模糊推理机提供了必要的...

【文章页数】：107 页

【学位级别】：博士

【部分图文】：

图3-1基于描述逻辑的知识表示系统结构

于通过概念分类学来表示应用领域；并提供了实用的推理服务。图3-1基于描述逻辑的知识表示系统结构基于描述逻辑的知识表示系统结构如图3-1所示[15]P。描述逻辑有三个主要组成部分，分别是TBox(TerminologicalBox),ABox(AssertionalBox....

图5-2构建系统本体的过程

的和更易维护的方案，同时需要牢记DOR中的概念应该反映出本体是的抽象模型这一事实。定义DOR的最初版本后，通过在应用或问题解使用，或通过与领域专家讨论，都能够对本体进行评估和测试，因此修本体版本是必然的。体的需求分析参考了Uschole的骨架法[94]和Marian....

图5-3fsrl:concept类组织关系

与分类：图5-3fsrl:concept类组织关系图5-3不仅给出了fsrl:concept类基本的组成结构，还给出了一些类的基本定义。fsrl:concept主要分成原子概念fsrl:atomConcept，组合概念fsrl:combConcept，关系概念....

图5-4本体中的fsrl:concept类以上介绍的是基本概念的分类层次结构，这样，表述和推理中所有的概念元素就已经存储在本体中了

第五章基于F-SHIQ公理体系的本体建立具建立层次分类，结果如图5-4所示：

本文编号：3941688