无前提规范闭缺省理论的扩充的构造  

On the Construction of Extensions of Closed Normal Default Theories Without Antecedents

作　　者：傅丽[1] 王国俊[1] 王伟[2] 

机构地区：[1]陕西师范大学数学与信息科学学院 [2]西安财经学院网络与现代教育技术中心,西安710061

出　　处：《工程数学学报》2004年第4期615-622,共8页Chinese Journal of Engineering Mathematics

基　　金：国家自然科学基金

摘　　要：文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究。首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计。The present paper systematically investigates extensions of closed normal default theories without antecedents. First, a classification theorem of consistent extensions is proven, Second, certain characterization theorems for extensions are provided, Third, a quasi-constructive method for con- structing extensions is proposed, Moreover, possible numbers of different extensions of a default theory is estimated. Lastly, a short conclusion is given at the end.

关 键 词：范闭缺省理论 相容扩充 分类 个数估计 

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