查询词典 reasoning

These theorems shows that there always exists a mathematical relation (that is, a bounded real function)between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function.

结果表明在各种模糊推理模式中，前提与结论之间存在一个数学关系，模糊推理的各种算法都是这一函数的不同构造形式。

Deffering from others' work, the essay sets all concept, mathematical model and reasoning on relational database such that uncertain reasoning has new qualities: Subjectivity and Calculability.

本文有别于他人的研究工作是将所有的概念、数学模型及推理基于各种关系数据库上考虑，使得本文的不确定推理具有新的特点：客观性和可计算性。

As for reasoning strategy, an inference engine with compound structure of multiple series-parallel sub-inference-engines is constructed. The inference engine, as a whole, employs forward 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.

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

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了