Representation Properties of Abstract Default Reasoning Frameworks
Zining Cao, Yuguang Mao, Chunyi Shi · Transaction of Nanjing University of Aeronautics and Astronautics · 2006
The conceptions of abstract default reasoning frameworks (ADRFs) and D consequence relations are presented. Based on representation properties of U-consequence relations, it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs.