基于可拓集的描述逻辑研究

发布时间：2025-01-15 11:07

　　描述逻辑是一种基于对象的知识表示的形式化工具,在众多知识表示的形式化方法中,它越来越受到人们的特别关注,尤其是随着本体和语义Web研究的不断升温,作为本体语言和语义Web逻辑基础的描述逻辑更成为了研究的热点问题。 根据应用领域的不同需求,需要描述的信息各式各样、纷繁复杂,这就要求描述逻辑能够具有表达各类知识的能力,但是,传统的描述逻辑只能描述静态的、确定的知识,表达能力有限,所以必须对它进行扩展研究。为了使它不仅能够对动态的、模糊的知识进行表示和推理,而且能够描述矛盾问题的求解策略,以实现策略的共享和重用,本文引入可拓学中的可拓集合和可拓变换,对传统的描述逻辑进行如下扩展： 首先,针对传统描述逻辑不能描述模糊信息,而模糊扩展的描述逻辑虽然可以描述模糊信息,但不适合于描述矛盾问题的不足,提出了一种基于静态可拓集合的描述逻辑。该描述逻辑采用静态可拓集合代替经典集合和模糊集合作为描述逻辑的集合论基础,对领域概念、关系以及个体等进行语义解释,并对传统描述逻辑断言集的一致性检测算法Tableau算法进行扩展,实现对关联度值为正负域的断言的扩充,从而判定断言集的一致性。 然后...

【文章页数】：112 页

【学位级别】：博士

【文章目录】：
摘要
Abstract
第1章 绪论
    1.1 课题的研究意义
    1.2 描述逻辑的研究现状
    1.3 本文的工作
    1.4 论文的组织结构
第2章 描述逻辑与可拓学的相关理论基础
    2.1 描述逻辑基础
        2.1.1 描述逻辑的语法和语义
        2.1.2 描述逻辑的相关推理问题
        2.1.3 模糊描述逻辑FALC
    2.2 可拓学相关基础
    2.3 本章小结
第3章 基于静态可拓集合的描述逻辑
    3.1 相关研究工作
    3.2 静态可拓集合与模糊集合比较
    3.3 描述逻辑ALCS-ES

        3.3.1 描述逻辑ALC_S-ES的语法
        3.3.2 描述逻辑ALC_S-ES的语义
        3.3.3 三种描述逻辑的比较
        3.3.4 描述逻辑ALC_S-ES的基本推理问题
    3.4 本章小结
第4章 基于动态可拓集合的描述逻辑
    4.1 相关研究工作
    4.2 动态可拓集合
        4.2.1 动态可拓集合的定义
        4.2.2 统一集
    4.3 描述逻辑ALC_D-ES

        4.3.1 描述逻辑ALC_D-ES的语法
        4.3.2 描述逻辑ALC_D-ES的语义
        4.3.3 三种描述逻辑比较
        4.3.4 描述逻辑ALC_D-ES的基本推理问题
    4.4 本章小结
第5章 带限定性数目约束的可拓描述逻辑
    5.1 相关研究工作
    5.2 描述逻辑ALCQ和FALCQ
    5.3 描述逻辑ALCQ_D-ES

        5.3.1 描述逻辑ALCQ_D-ES的语法
        5.3.2 描述逻辑ALCQ_D-ES的语义
        5.3.3 描述逻辑ALCQ_D-ES的基本推理问题
    5.4 本章小结
结论
参考文献
攻读博士学位期间发表的论文和取得的科研成果
致谢



本文编号：4027307

boshi