In nonmonotonic logic, injective preferential models play an important role.

单射占优模型在非单调逻辑中具有重要的地位。

In chapter 3, we present a nonmonotonic trust region algorithm based on the conic model.

第三章，我们提出了一类基于锥模型的非单调信赖域算法。

The paper proposes a nonmonotonic BFGS-trust-region algorithm for unconstrained optimization.

给出了一个解无约束最优化问题的非单调的新的BFGS校正的信赖域算法。

At the second part, nonmonotonic trust region method for unconstrained optimization is studied.

第二部分主要研究无约束最优化问题非单调信赖域法。

This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning.

本文研究了一般归纳推理与非单调推理的合理性问题。

The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.

因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。

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.

本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。

A nonmonotonic trust region algorithm with line search for unconstrained optimization problems is presented in this paper.

给出无约束最优化的一类带线搜索的非单调信赖域算法。

Human commonsense reasoning is a kind of cumulative process of experiential knowledge, and the experiential reasoning is nonmonotonic.

人的常识推理是一种充满经验性知识的累积过程，而经验推理具有非单调性。

The main contributions of this thesis include the following:(1) A paradigm of dealing with the conflicts in nonmonotonic reasoning system is provided.

主要工作包括：（1） 提出了非单调推理系统中冲突处理的框架。这一框架包括两个部分：静态知识中的冲突处理和知识更新中的冲突处理。

A new nonmonotonic trust region method is given in this paper. And its global convergence and superlinear convergence are proved. Numerical results are given.

给出一种新的非单调信赖域方法，证明了算法的全局收敛性和超线性收敛性，最后给出了数值结果。

This paper analyzes the characteristics and limitations of approximate reasoning (based on probability) and nonmonotonic reasoning (based on truth maintenance system).

不精确推理和非单调推理是人工智能中两个重要的研究方面。

The global convergence results are given for the nonmonotonic trust region technique. Furthermore, the proposed algorithm is superlinearly convergent under a certain growth condition.

证明了此方法的全局收敛性，并给出了它在一定条件下的超线性收敛的结果。

Based on representation properties of D-consequence relations, it proves that any cumulative nonmonotonic consequence relation with the connective-free form can be represented by ADRFs.

从而进一步给出d -后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。

By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.

借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。