论文部分内容阅读
提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质,并由此证明了任意无联结词形式的累积非单调后承关系,可以用抽象缺省推理框架来表示。
The concept of abstract default reasoning frame and D-following relationship is proposed. Then the representation property of D-following relation is further given, and the cumulative non-monotonic inheritance relation of any unconnected form is proved, which can be expressed by the abstract default reasoning framework.