基于时间区间关系的时态模糊描述逻辑及其推理

发布时间：2023-12-05 19:44

　　描述逻辑(Description Logic)是基于对象的知识表示的形式化，是一阶谓词逻辑的一个可判定子集，用于描述及推理概念知识。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的知识表示语言的最为重要的归一形式。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。描述逻辑最开始只是用来表示静态知识的。为了考虑在时间上的变化，或者在一定动作下的变化，以及保持其语言的相对简单性，很自然地想到用相应的模态算子来扩展它，以保留其命题模态状态。众所周知，即使只是对简单的模态系统的综合，也可能会导致很复杂的系统。在本文的第一章中将谈到研究者们通过添加相应的算子来对描述逻辑进行的一些扩展（如时态、模糊、动态等）及其可判定性和推理算法的正确性。 现实世界中大部分的信息都具有时间属性和模糊性、不精确性的特点，并通过分析时态逻辑和模糊描述逻辑可知，传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力，针对这一问题本文在模糊描述逻辑FALC的基础上通过添加时间属性算子，用Allen区间关系来表示时间区间关系，并结合Vague集的运算，本文提出一...

【文章页数】：65 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
本文中的符号说明
第一章 绪论
    1.1 研究的背景和意义
    1.2 国内外研究现状
    1.3 研究内容
    1.4 文章结构
第二章 基于时间区间关系的时态模糊描述逻辑
    2.1 TFDL(IntervalAllen)的语法、语义及知识库表示
        2.1.1 Vague 集
        2.1.2 Allen 区间
        2.1.3 TFDL(IntervalAllen) 的语法
        2.1.4 TFDL(IntervalAllen)的语义
        2.1.5 TFDL(IntervalAllen)的知识库及其解释
    2.2 TFDL(IntervalAllen)的基本性质
        2.2.1 概念模糊等价
        2.2.2 蕴涵关系
第三章 时态模糊描述逻辑 TFDL(IntervalAllen)的推理算法
    3.1 描述逻辑的主要推理问题
        3.1.1 概念的推理任务
        3.1.2 消除 TBox
        3.1.3 ABox 推理
    3.2 TFDL(IntervalAllen)概念可满足性算法
        3.2.1 描述逻辑 ALCN 的概念的可满足性算法
        3.2.2 TFDL(IntervalAllen)的 Tableau 算法
    3.3 TFDL(IntervalAllen) Tableau 算法正确性的证明
        3.3.1 Tableau 推理算法的可终止性
        3.3.2 Tableau 推理算法的可靠性
        3.3.3 Tableau 推理算法的完全性
    3.4 TFDL(IntervalAllen)的其他推理以及转化证明
        3.4.1 概念的模糊包含问题及其转化证明
        3.4.2 概念的模糊等价问题及其转化证明
        3.4.3 概念不相交问题及其的转化证明
第四章 实例分析
    4.1 知识库的表示及其语义推导实例
    4.2 TFDL(IntervalAllen)的推理算法的实例
第五章 总结与展望
    5.1 工作总结
    5.2 工作展望
致谢
参考文献
在读期间已发表或录用的论文



本文编号：3870791