basic logic for default reasoning 常识推理的基础逻辑
abstract default reasoning framework 抽象缺省推理框架
Default Reasoning in Discourse Analysis 话语中的省略推理
default assumption reasoning 缺省假设推理
reasoning by default 缺省推理
In addotion to the theory of first-order logic, the default reasoning is adopted in the deduction in order to handle the incomplete the specification of the user and the incomplete knowledge in the knowledge-base.
演绎过程除了使用一阶逻辑理论外，还采用了缺省推理来处理用户说明以及系统中知识不完全的问题。
参考来源 - 基于缺省理论演绎的规则型TOn the basis of Reiter’s model of default reasoning, a new modal operator has been introduced, and a cognitive model of default reasoning has been proposed.
在Reiter缺省推理的基础之上,引进新的模态算子,提出了认知缺省推理的模型。
参考来源 - 认知语境研究·2,447,543篇论文数据，部分数据来源于NoteExpress
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.
提出了实体几何缺席推理理论，研究了相应的三维实体重构算法，并进行了实例验证。
应用推荐