查询词典 reasoning

Key words: mathematics proof; Euclideam deductive reasoning; inductive reasoning

归纳推理有利于发现新的命题，是培养创新型人才所必需的。

According to the different levels of legal reasoning, Defeasible reasoning can be divided into three faces: inference-based defeasibility; process-based defeasibility; theory-based defeasibility.

可辩驳推理对法律方法、法律论证与民主法治等重大的法律理论问题都产生了深远的影响。

Nonmonotonic reasoning is very important in ourcommonsense inference,the conclusions of nonmonotonic reasoning are tentative,that is,if we get some new information,the conclusions may be defeated.In this sense,we say the conclusion is defeasible.

非单调推理是人们日常推理的重要形式，它的特点是推理结论是暂时性的，随着新信息的出现，结论会被废止。

There are various nonmonotonic reasoning tools developed for the purpose of decision support with a good effort, which either belong to nonmonotonic formalisms such as defeasible reasoning or belong to nonmonotonic systems such as Truth Maintenance System.

非单调推理理论中的非单调逻辑形式和非单调系统不同的研究重点，可以用来满足系统的陈述性表示和过程性表示要求。

The two sorts are:(1) demonstrative reasoning, and (2) probable reasoning.

这两种证明是：（1）证明性推理和（2）可能性推理。

According to the example, this is an efficient approach over FTA, but also it can handle diagnosis reasoning and exculpation reasoning and that FTA cannot.

实例表明，该方法不但比故障树分析更有效，而且能进行故障树分析不能进行的诊断推理和辩解推理。

This system uses the abundant expert knowledge combining the reasoning abilities of Reasoning Machine and Expositor to simulate the decision process of human experts and solve complicated problems in relative fields.

近年来，专家系统以其特有的优势被广泛应用于各个领域。专家系统利用知识库中包含丰富的专家知识，结合推理机、解释器的推理能力，模拟人类专家的决策过程，解决相关领域内的复杂问题。

This paper presents a model and algorithms of causal qualitative reasoning based on integer programming. The result can be widely applied to many aspects of product design systems,such as parametric design by geometric reasoning,decornposition of complex design tasks and dependency analysis of design parameters.

该方法在产品设计中有广泛的应用，利用这个模型和算法可以较好地解决参数化设计中的几何推理问题，还可以用作概念设计的工具，用于完成复杂系统设计任务的划分以及定序、设计变量之间相互依赖关系分析等工作。

In order to overcome the technological difficulties encountered in the course of insulation fault diagnosis on the base of dissolved gases analysis, several kinds of mathematic models and actualized methods are brought forward to improve the reliability and veracity of fault diagnosis of transformers. The research works are shown mainly as followings:1 A modified fuzzy multi-criteria method is brought forward for insulation fault diagnosis of transformer. Furthermore, a new method for insulation fault diagnosis is proposed on the base of fuzzy multi-criteria together with rule reasoning. With fuzzy diagnosis in the method, fault reasons are filtrated and then the reasons in low probability are prohibited, Moreover, the left reasons are testified by using rule reasoning and then final concludes are drawn in much less misjudge probability and better results.2 On the base of geometry characteristics of C- partition to sample set of DGA data of transformer, a method is put forward to compute effective radius of neighbor field of a sample, number of clusters and values of initial centers. Moreover, the fuzzy C- means cluster model with adaptive weight is brought forward in the first time and then the fault classifier is designed for insulation fault diagnosis of transformer.3 According to the weakness of the degree of gray of gray incidence, a new formula to compute DGI is put forward and then incidence order criterion is ascertained. Moreover, a new DGI model for fault diagnosis is proposed according to the further analysis to relationship between fault reason and content of oil dissolved gases of transformer.

为解决在应用油中溶解气体分析方法（Dissolved Gases Analysis，简称DGA）诊断变压器内部绝缘故障时所遇到的主要技术难题，论文提出了用于提高变压器故障诊断准确性和可靠性的数学模型及实现方法，主要研究工作如下：1）提出了一种改进的变压器绝缘故障诊断模糊综合评判方法；进一步提出了将模糊综合诊断与规则推理相结合进行绝缘故障诊断的方法，该方法采用模糊推理对故障原因进行"过滤"，滤掉可能性极小的原因，然后进一步利用规则推理验证剩下的可能原因，得出最终结论，大大减少了误判比率，获得了较好的效果。2）根据以变压器DGA数据为特征量的样本空间的c-划分几何特性出发，提出了一种求取样本有效邻域半径和聚类数及聚类中心初值的方法，在此基础上，首次提出了一种自适应加权的变压器绝缘故障诊断的模糊c-均值聚类模型，并设计出故障分类器。3）针对常用灰色关联度的不足，提出了一新的灰色关联度计算公式及确定关联序的准则；并在此基础上，通过深入分析变压器发生绝缘故障时的原因与油中溶解特征气体含量的关系，建立了一种新的故障诊断灰色关联模型；通过实例分析证明，该方法能有效地诊断出变压器绝缘故障及故障部位，大大提高了诊断的准确性。

So-called intelligent behavior demands memory , remembering being a primary requirement for reasoning The reasoning.

所谓的智力行为需要记忆，记忆也是推理的基础。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。