模糊描述逻辑L-SI语义及推理的研究

发布时间：2021-04-22 04:14

　　描述逻辑（DLs）是一族为人们所熟知的知识表示形式系统．它们形成的基础是概念（一元谓词或类）和角色（二元谓词），且主要由一此构造复杂概念的算子刻划其特征。通过定义与应用域相关的概念及它们之间的关系（即术语公理Tbox）且用这些概念界定出现在域中的个体的特征（Abox）来表示应用域的知识。对于大量的描述逻辑系统而言，都应该有一个适用于典型推理问题（如概念之间的包含问题和Abox的一致性问题）的可靠和完全的推理算法。目前，经典描述逻辑理论的发展非常迅速且日趋完善，然而关于非确定性信息表示系统的研究工作却相对较少。为了使描述逻辑能够处理更一般化的模糊信息，Straccia给出了基于完备格的L-ALC描述逻辑系统；而为了使它能更好地表示多媒体知识，Stoilos等人提出了模糊描述逻辑系统f-SI。在表示一些信息的时候，我们需要构建比较复杂的概念，传递角色与逆角色在这方面起到了重要作用；而且它们在概念数据模型的推理体系中也至关重要。因此，本文将两者进行有机的结合，作了一个新的基于完备格上的模糊描述逻辑系统L-SI，详细讨论了其语法、语义且给出了关于知识库可满足性的基于约束传播的推理算法及其可靠性... 

【文章来源】：广西师范大学广西壮族自治区

【文章页数】：38 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
引言
第1章 预备知识
    1.1 描述逻辑系统SI的语法
    1.2 描述逻辑系统SI的语义
    1.3 描述逻辑系统SI的推理实例
第2章 模糊描述逻辑系统L-SI
    2.1 模糊描述逻辑系统L-SI的语法
    2.2 模糊描述逻辑系统L-SI的语义
    2.3 模糊描述逻辑系统L-SI的性质特征
    2.4 模糊描述逻辑系统L-SI的模糊表
    2.5 模糊描述逻辑系统L-SI的推理算法
第3章 算法的终止性、可靠性、完全性及计算复杂度
    3.1 算法的终止性
    3.2 算法的可靠性
    3.3 算法的完全性
第4章 结束语
参考文献
攻读硕士期间已发表的论文
致谢



本文编号：3153142