Theorem 1 indicates the feature of non-monotonicity for default reasoning.

定理1表明了缺省推理的非单调性这一特点。

youdao

Theorem 1 indicates the feature of non-monotonicity for default reasoning.

定理1表明了缺省推理的非单调性这一特点。

youdao