缺省逻辑的扩充

发布时间：2021-08-17 06:03

　　Reiter的缺省逻辑是最受关注的非单调推理理论之一,它已被广泛应用于人工智能的各个领域,其中缺省逻辑的扩充是研究的热点。缺省逻辑的扩充要求添加可以接受的事实或（与原有的事实不矛盾,并且彼此相容的缺省规则的）结论以求达到某种完备性。由于事实集与缺省规则集均可能具有较为复杂多样的形式,而且已有的计算缺省理论扩充的方法都不是构造性的,因此完成扩充在计算上是困难的。 本文首先从一种形式上较为简单的有限的无前提正规闭缺省理论入手,讨论了其相容扩充的分类与性质等。然后讨论了缺省逻辑的表示性,研究了如何用和它具有相同扩充,但语构上较为简单的缺省逻辑来表示原缺省逻辑的问题;又,为便于计算扩充,本文讨论了在计算具体的缺省理论的扩充前如何对缺省规则进行适当的简化和分类的问题,给出了相应的简化和分类原则。本文还系统地研究了为修正缺省逻辑的缺陷而提出的Roos扩充以及累积缺省逻辑的扩充问题。最后,本文讨论了统计缺省逻辑扩充的性质与计算,并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。全文共分五章。 第一章是本文所用到基本知识。 第二章较系统地研究了有限的无前提正规闭缺省理论的相容扩充... 

【文章来源】：陕西师范大学陕西省 211工程院校 教育部直属院校

【文章页数】：93 页

【学位级别】：博士

【文章目录】：
前言
第一章 引言和预备知识
    §1.1 缺省逻辑的背景及主要问题
    §1.2 预备知识
    §1.3 缺省扩充
第二章 无前提正规闭缺省理论的扩充的构造性
    §2.1 无前提正规闭缺省理论的分类
    §2.2 关于无前提正规闭缺省理论的扩充的若干定理
    §2.3 制作无前提正规闭缺省理论扩充的一种准构造性方法
    §2.4 无前提正规闭缺省理论扩充的个数估计
第三章 扩充与缺省规则的简化和分类
    §3.1 缺省逻辑的可表示性
    §3.2 缺省逻辑的Roos-扩充
    §3.3 扩充与缺省规则的简化和分类
第四章 累积缺省逻辑的扩充
    §4.1 预备知识
    §4.2 断言缺省理论(ADT)的CDL扩充
    §4.3 CADL扩充
    §4.4 QDL扩充
    §4.5 几种断言缺省理论扩充的算法
第五章 统计缺省逻辑的扩充
    §5.1 预备知识
    §5.2 统计缺省扩充的计算
    §5.3 闭正规统计缺省理论
总结
参考文献
致谢
攻读博士学位期间的研究成果


【参考文献】：
期刊论文
[1]一种带缺省推理的描述逻辑[J]. 董明楷,蒋运承,史忠植.  计算机学报. 2003(06)
[2]可能性缺省逻辑及其应用[J]. 李爱平,吴泉源,伍赛先.  计算机工程与科学. 2001(04)
[3]子句型缺省逻辑中的分情形推理(英文)[J]. 许道云,丁德成,张明义.  软件学报. 2001(08)
[4]用反链方法估计可分布尔函数的个数[J]. 王国俊,王伟.  数学学报. 2000(05)
[5]分情形推理的缺省逻辑框架[J]. 张明义,张丹.  中国科学E辑:技术科学. 1998(03)
[6]缺省逻辑的累积性变种的扩张特征[J]. 张明义,张颖.  计算机学报. 1998(02)
[7]带有约束的缺省逻辑[J]. 刘瑞胜,孙吉贵,刘叙华.  吉林大学自然科学学报. 1996(03)
[8]一个模态非单调逻辑[J]. 林作铨.  中国科学E辑:技术科学. 1996(03)
[9]开放的缺省理论[J]. 怀进鹏,李未.  计算机学报. 1994(09)
[10]关于断言的缺省逻辑[J]. 苏开乐,丁德成.  中国科学（A辑 数学 物理学 天文学 技术科学）. 1994(06)



本文编号：3347212