查询词典 reasoning

The FEIS exhibits three important properties: knowledge extraction from numerical data, knowledge modeling, and fuzzy reasoning processes.

而FEIS拥有三项重要的特质：由数值资料萃取知识、知识规则库、模糊推论过程。

The same reasoning could apply to people responding to a fire alarm in a large office.

这种逻辑同样也适用于一间大办公室里的人们对火警的反应。

However, there is still a problem to copying the folk art forms without any reasoning.

基于以上思考，本文拟结构如下：第一部分，从美学、历史学以及民俗学的角度，分析民间美术作为"母体艺术"的基本特性与美学特征，探究民间美术的"美的形式"和本质。

Reasoning by analogy contain broad sense and narrow sense. The broad sense analogy indicates generally the inference based on genus, which equal to what we now say inference (contain deduce, induce, analogy). The narrow sense analogy only points several typical inference form based on same genus that the ancients discussed in Mohist Argument: pi, mou, yuan, tui, which mostly equal to what we now say analogy.

推类有广义和狭义之分：广义推类泛指在类的基础上进行的推理，相当于我们现在所说的推理；狭义推类仅指《墨辩》中论及的譬、侔、援、推等几种典型的、以类同为依据的推理类型，大致相当于当今所说的类比推理。

Introduced formal notations of derivative which keep the properties of derivative and their operations are easily realized on computer,A mechanization proving principle of automatic reasoning of transformations between differential equations is built.

引进保持性质的导数的形式记号，建立了微分方程变量间依赖关系的自动推理的机械化证明原理，从而方程间的变换（如Backlund变换等）均可机械地验证。

Description logic is the formal tool of knowledge representation and reasoning.

描述逻辑是知识表示和推理的形式化工具，它提供了可判定的和可靠的推理服务。

Formal theories such as predicate logic provides us with a powerful tool to guarantee sound reasoning and thinking.

以前的理论比如谓项逻辑学提供了一种合理的推理和思考的工具。

In this paper, the concept of belief degree for quantitative decision model in a complex environment is presented at the first time. The integration of formulization and reasoning of quantitative model with qualitative judgement is studied. The combination of various belief degree generated by quantitative model and qualitative judgement is discussed. A decisio...

文章首先提出了复杂环境下定量决策模型的信度概念及计算方法，然后研究了定量决策模型与经验判断在描述方式及推理方面的统一，最后探讨了对于分别由定量决策模型及专家经验所推论出的结论的合成，并提出了在复杂环境下的"决策的最优性与决策的信度权衡"的决策方法。

In the twentieth century, David Hilbert employed axiomatic reasoning in his attempt to update Euclid and provide modern foundations of geometry.

古典文书允许在几何结构的指南针和直尺。

The higher mathematics curriculum is a college engineering course undergraduate course each specialized student's compulsory important basic theory class, through this curriculum study, causes the student to obtain: Circular function calculus study, the space analytic geometry and the vector algebra, the function of many variables calculus study, the infinite series, aspect and so on ordinary differential equation basic concepts, the elementary theory and the fundamental operation skill, and further obtain mathematics knowledge for the study successor curriculum to lay the essential mathematics foundation,During instruction knowledge, must train the student through each teaching link to have the abstract thinking ability, logic reasoning ability, spatial imagination ability gradually and studies independently ability, but also must pay attention specially trains the student to have the quite skilled operational capability and the synthesis utilization studies the knowledge to analyze the question and to solve the question ability.

高等数学课程是高等学校工科本科各专业学生的一门必修的重要基础理论课，通过本课程的学习，使学生获得：一元函数微积分学，空间解析几何与向量代数，多元函数微积分学，无穷级数，常微分方程等方面的基本概念、基本理论和基本运算技能，为学习后继课程和进一步获得数学知识奠定必要的数学基础，在传授知识的同时，要通过各个教学环节逐步培养学生具有抽象思维能力、逻辑推理能力、空间想象能力和自学能力，还要特别注意培养学生具有比较熟练的运算能力和综合运用所学知识去分析问题和解决问题的能力。主要是其中的一些专有名词查不到，比如一元函数等

What was it that made you want to change sider ?

是什么使你临阵倒戈？

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

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