主要工作包括：（1）提出了非单调推理系统中冲突处理的框架。这一框架包括两个部分：静态知识中的冲突处理和知识更新中的冲突处理。
The main contributions of this thesis include the following:(1) A paradigm of dealing with the conflicts in nonmonotonic reasoning system is provided.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
应用推荐