非单调推理的三大特征

Three Typical Properties of Non-mono-tonic Reasoning

本文论述了尽管各种非单调推理模式在形式表达方面,在语义解释方面都有不同的体现,但非单调推理在相当层次上都具备如下三个特征:一是一般我们所理解的非单调性;二是知识增长的不确定性和认识的容错性;最后如果非要坚持正确性和完全性,便是非单调计算的困难性,一般是半不可判定的.

This paper presents that, although there are many non-monotonic reasoning schemata different in formal expression and semantics, all of them must have the following three properties.One is the general non-monotonic properties that most of us agree. The second is the undetermination of knowledge increase and the fault tolerance in reasoning. The third is the difficult computation of non-monotonic reasoning, if the correctness and completeness are expected.