Theorem 1 indicates the feature of non-monotonicity for default reasoning.
定理1表明了缺省推理的非单调性这一特点。
The reasoning behind this is that unqualified elements are similar to attributes, which are unqualified by default.
背后的推论是非限定的元素类似于属性，因为属性在默认情况下是非限定的。
A new theory called default geometric reasoning is put forward, and the corresponding solid reconstruction algorithm is studied.
提出了实体几何缺席推理理论，研究了相应的三维实体重构算法，并进行了实例验证。
The default rule representation provides a concise syntactic and semantic formalism for potential causal relations to be used in causal reasoning models such as predicting, explaining and diagnosing.
因果关系的默认规则表达为潜在的因果关系提供了一个简洁的语法与语义形式化工具，使得因果关系能够应用在因果推理模型中，比如预浙江大学博士学位论文。
The default rule representation provides a concise syntactic and semantic formalism for potential causal relations to be used in causal reasoning models such as predicting, explaining and diagnosing.
因果关系的默认规则表达为潜在的因果关系提供了一个简洁的语法与语义形式化工具，使得因果关系能够应用在因果推理模型中，比如预浙江大学博士学位论文。
应用推荐