一般缺省理论的扩充及其单调性(英文)  

On the extensions for general default theories and their monotonic conditions

作　　者：任远 

出　　处：《中山大学学报论丛》2000年第1X期109-114,共6页Supplement to the Journal of Sun Yatsen University

基　　金：教育部人文社科基金

摘　　要：关于一般缺省理论之扩充存在性的充要条件有两种不同的表述,本文证明它们之间可以互相转换,因而根本上是等价的。在此基础上,本文给出了一般缺省理论扩充保持单调性的充要条件,并讨论了它们的意义。There are two different expressions as to the sufficient and necessary conditions for the existence of extensions for a general default theory. This paper proves that the two expressions are transformational and hence essentially equivalent. Based on this discovery, this paper provides the sufficient and necessary conditions for the monotonicity of a general default theory, and discussed their significance.

关 键 词：一般缺省理论 扩充存在性 单调性 

分 类 号：B815.3[哲学宗教—逻辑学]