开放的缺省理论  

AN OPEN DEFAULT THEORY

作　　者：怀进鹏[1] 李未[1] 

机构地区：[1]北京航空航天大学计算机科学与工程系

出　　处：《计算机学报》1994年第9期652-661,共10页Chinese Journal of Computers

基　　金：国家"863"高科技计划国家自然科学基金

摘　　要：本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ．Ｗ＞扩充Ｅ的新假设、事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并证明了相关的定理．本文还建立了缺省理论的一个动态描述过程，证明了其极限是某一特定问题的经验公式集，最后与相关工作进行了比较．Based on open logic,some concepts such as new premise,rejection by facts,e-reconstruction, e-epistemic process and its limit,are defined for the default theory T=(D,W).The extensions'properties,when W changing,are studied,and the related theorems proved.Further,dynamic characteristics about the default theory is built to describe its non-monotonicity and its limit theorem is proved. Finally the work is compared with the related work.

关 键 词：缺省理论 开放逻辑 非单调逻辑 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]