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 co...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.展开更多
文摘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.