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
应用推荐