缺省逻辑的e扩充和me扩充

摘要

缺省逻辑(Default Logic)的扩充概念有二个弊端:1.无法描述缺省规则间固有的逻辑关系;2.无法描述结论与验证式之间的逻辑依赖关系.W.Lukaszewicz提出的m扩充概念解决了问题2但没有解决问题1;本文首先提出了e扩充的概念,它解决了问题1但没有解决问题2.最后我们提出了me扩充的概念,解决了缺省逻辑遇到的两个问题,避免了相当一类的反常性.一个重要的结论是,每一封闭的缺省理论都有me扩充.