缺省逻辑的扩大.pdfVIP

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