1·This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning.
本文研究了一般归纳推理与非单调推理的合理性问题。
2·In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
3·A new nonmonotonic trust region method is given in this paper. And its global convergence and superlinear convergence are proved. Numerical results are given.
给出一种新的非单调信赖域方法，证明了算法的全局收敛性和超线性收敛性，最后给出了数值结果。
4·The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。