查询词典 reasoning

In contrast to these writings, this essay regards legal reasoning as a crosscutting thinking which can penetrate into all kinds of legal practice and processes of cognition, and put this subject on the core position of the theory of knowledge in philosophy of law.

第三部分即第五章，论述了贯穿于法律推理过程中的四对基本矛盾即：规则和原则，逻辑和经验，确定性和非确定性、真理和价值；分析了它们必然存在的理由、相互作用的过程以及由此所推动的法律推理的发展。

Besides, the experimental group also shows a significant improvement in the spatial perception, spatial orientation, spatial relation and spatial reasoning. According to the logs recorded by Happy Cuber within the three weeks learning, the progress of the students in accuracy and problem solving time is obvious. The stage of Happy Cuber in developing part is harder than the folding part for students, whether in folding or developing part, the cross-shaped net is the highest accuracy and shortest response in all cubic nets.

从教材操作纪录内容的变化来看，学生在游戏中的答题正确度与解题时间随著教材使用次数渐次提升，统计分析后发现，立方体拆解题型难度要比展开图摺合题型高，十字型展开图不论是摺合或拆解上，在正方体11个展开图中都是费时最短且正确率最高的类型。

However, a curmudgeon is someone with "stubborn ideas or notions," and a careful analysis shows that House does not fit the archetype of a curmudgeon in this sense. He is much less opinionated than he is deductive, since he has very few principles of his own, and uses his astute reasoning skills to point out the inconsistency or unfoundedness of the opinions of others.

他是个跛子，一条腿因为肌肉梗塞而长期疼痛，这使他求助于拐杖和大把大把的Vicodin（扑热息痛片，一种麻醉药品），这是个典型的受伤者的模样，于是很多人把他的狂妄，古怪，偏执归于此，但实际上在他的腿没出事前他也是一个样。

First of all,we elaborate a formal variant of Description Logics,namely, ALCQO,which is capable of extending the conceptual modeling ability of classical DLs with process modeling and numerical constraint representation ability, while still retains decidability for major reasoning problems.

与传统的描述逻辑不同，ALCQO既保留了一定的概念建模能力，还显著的增强了在数字属性和时序关系上的表达能力，因此对Web服务的功能属性以及非功能属性都具有足够的表达能力。

OWL DL supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

Design process modelling is another important area of CAD techniques. In chapter 9, by numeric analysis, composite/decomposite of design objects and metric space, we discuss the quantity feature of design process in detail, which ground the qualitative reasoning in design process.

设计过程建模是CAD技术的又一重要课题，在第九章中，作者运用数值分析的手段，通过设计对象的组合分解，引入距离空间的概念，对设计过程中的定量性作了详细分析，这一分析过程为设计过程建模后续的定性推理提供了坚实的基础。

Or we could say: phenomenal truths are deducible in principle from physical truths, but the deducibility is akin to that of a complex truth of mathematics: it is accessible in principle, but is not accessible to us now, perhaps because the reasoning required is currently beyond us, or perhaps because we do not currently grasp all the required physical truths.

或，我们可以说：现象真，在原则上可从物理真推理得到，这推理能力就好比负责的数学真：原则上可达，但不是我们现在可达的，或许因为必须的推理是超出我们的，或许是因为我们目前没有把握所有必须的物理真。

Under the circumstances of reasonable pluralism, public reasoning asks us to deduce just principles by the recognized universal beliefs and deducible forms so as to reach "overlapping consensus".

在理性多元论的情况下，为了使正义原则能够达成重迭共识，公共理性要求我们只诉诸于人们普遍接受的常识性信念和推理形式来推演正义原则。

In the view of logic, reasoning is the use of knowledge and logic deduction.

从逻辑的角度来看，对知识的利用就是推理，就是逻辑演绎。

Mathematic and logic depend extensively on the deductive method of reasoning .

数学和逻辑学广泛地依靠推理的演绎方法。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。