REPRESENTATION PROPERTIES OF ABSTRACT DEFAULT REASONING FRAMEWORKS  

一种抽象缺省推理框架的表示性质(英文)

作　　者：曹子宁[1] 毛宇光[1] 石纯一[2] 

机构地区：[1]南京航空航天大学信息科学与技术学院 [2]清华大学信息科学技术学院

出　　处：《Transactions of Nanjing University of Aeronautics and Astronautics》2006年第3期214-221,共8页南京航空航天大学学报（英文版）

基　　金：国家自然科学基金(60473036)资助项目。~~

摘　　要：presented The conceptions of abstract default reasoning frameworks （ADRFs） and D-consequence relations are Based on representation properties of D-consequence relations, it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs.提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质,并由此证明了任意无联结词形式的累积非单调后承关系,可以用抽象缺省推理框架来表示。

关 键 词：abstract default reasoning framework representation property nonmonotonie reasoning 

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