Theorem 1 indicates the feature of non-monotonicity for default reasoning.
定理1表明了缺省推理的非单调性这一特点。
2
In the article, a simple and elementary proof of monotonicity is given for the so-called extended mean values using Tchebycheff s integral inequality and the mean-value theorem for differential.