基于gfp-模型的描述逻辑FLε的循环术语集推理

发布时间：2021-08-01 03:45

　　描述逻辑（DL）是一族知识表示形式系统,是人工智能领域的一个热门研究方向。以Baader F和Nebel B为代表的学者在描述逻辑上进行了大量富有成果的研究。他们早期的研究方向主要是针对表达能力比较弱的描述逻辑系统如:εL和FL0,研究它们在非循环定义下的标准推理算法和非标准推理算法。同时在这两人的工作基础上通过增加算子等方法的扩充工作有很多并而也出现很多很好的成果。近年来以Baader F发现循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的,对此Baader F等人给出了描述逻辑系统εL和FL0循环定义下的三种语义包含关系推理算法和一些非标准推理算法。这些成果可谓是一个重要突破,但也可以看出其难度是很大的。在国内,蒋运承,史忠植,王驹等人也做出了令人幸喜的结果。随着研究工作的深入人们发现只带交算子和存在算子的描述逻辑系统εL和只带交算子和任意算子的描述逻辑系统FL0的表达力是不能令人满意的。因此本文初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。说明:由20... 

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

【文章页数】：33 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第1章 前言
第2章 FLε概念描述语法和语义
    2.1 FLε概念描述语法和语义
    2.2 FLε循环术语集存在模型
第3章 描述图
    3.1 正规FLε-TBox
    3.2 FLε-描述图
    3.3 模拟关系
    3.4 FLε-描述树
第4章 FLε循环术语集的包含关系推理算法及完全性证明
    4.1 FLε循环术语集的包含关系推理算法
    4.2 FLε循环术语集的包含关系推理算法的完全性
第5章 结束语
参考文献



本文编号：3314777