论文部分内容阅读
缺省逻辑的扩充概念有二个弊端：１、无法描述缺省规则田固有的逻辑关系；２．无法描述结论与验证式之间的逻辑依赖关系。Ｗ．Ｌｕｋａｓｚｅｗｉｃａ提出的ｍ扩充概念解决了问题２但没有解决问题１；本文首先提出了ｅ扩充的概念，它解决了问题但没有解决问题２。最后我们提出了ｍｅ扩充的概念，解决了缺省逻辑遇到的两个问题，避免了相当一类的反常性，一个重要的结论是，每一封闭的缺省理论都有ｍｅ扩充。