查询词典 reasoning

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 .

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

It is not articulate, because it does not represent concepts in any deductive reasoning.

它不很明晰。因为它并不表示任何演绎推理中的概念。

However, for the answers they did find, the students were able to explain their deductive reasoning....

然而，根据他们找到的答案，这些学生可以对他们的演绎推理能力作出解释。

Besides a thorough knowledge of geometry, teachers also need to understand the processes of reasoning inductively and deductively and of integrating knowledge from both sorts of thinking to develop mathematics.

此外几何学的完全知识，老师也需要了解归纳地而且推论地和从两者种想发展数学整合知识说服的程序。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我