Logic Programming and Nonmonotonic Reasoning 逻辑编程与非单调推理
NMRS NonMonotonic Reasoning System 非单调推理系统
nonmonotonic uncertainty reasoning 非单调不确定性推理
This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning.
本文研究了一般归纳推理与非单调推理的合理性问题。
General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.
一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
应用推荐