提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质,并由此证明了任意无联结词形式的累积非单调后承关系,可以用抽象缺省推理框架来表示。
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.