基于布尔格上的模糊动态描述逻辑（？）D-ALCN

发布时间：2024-05-13 02:29

　　描述逻辑是一种基于对象的知识表示的形式化工具,是一个用于描述及推理概念知识的逻辑公式集合体,是一阶谓词逻辑可判定的子集,能够提供可判定的推理功能,是语义Web的逻辑基础,在语义Web的发展过程中起着非常重要的作用。 尽管经典描述逻辑理论的发展非常迅速且日趋完善,但关于非确定的、模糊的信息表示系统的研究工作却相对较少。为了使描述逻辑系统能处理更一般化的模糊信息,Straccia给出了基于完备格的模糊描述逻辑L-ALC。但是,为了满足现实领域的需求,描述逻辑不仅要能够处理模糊信息,而且要具备处理动态信息的能力,史忠植等人将描述逻辑ALC、动态逻辑以及动作理论有机地结合起来,提出了动态描述逻辑DDL。针对语义Web需要处理模糊的、不精确的静态知识和动态知识的特点和需求,王驹、蒋运承等人提出了一种模糊动态描述逻辑FDDL,它是根据模糊逻辑对动态描述逻辑DDL的模糊化扩充。然而FDDL并不能很好地处理更一般化的模糊静态信息和模糊动态信息。由于布尔格具有一些良好的结构性质,本文主要研究了基于布尔格上的模糊动态描述逻辑系统LD-ALCN。 本文的主要内容安排如下: 第一章:前言;介绍了与本文内容相关...

【文章页数】：35 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第一章 前言
第二章 预备知识
    2.1 描述逻辑ALCN
    2.2 模糊描述逻辑L-ALCN
第三章 布尔格
    3.1 布尔格
    3.2 布尔格的性质
第四章 基于布尔格上的模糊动态描述逻辑LD-ALCN
    4.1 LD-ALCN 的语法
    4.2 LD-ALCN 的语义
    4.3 LD-ALCN 的推理
第五章 总结与展望
参考文献
攻读硕士期间已发表的论文
致谢



本文编号：3972244