查询词典 reasoning

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

Most scholars believe that people can not obtain new knowledge from deductive reasoning because the premiss of the deductive reasoning already contain s its conclusion.

大多数学者认为演绎推理不可获取新的知识，原因在于演绎推理的前提已经蕴涵其结论。

Afterwards,the author analyses the characters,definition and connection between fact inference and presumption of law.points that reasoning is the essence of the fact inference.The presumption of law is higher than the fact inference.but the legal reasoning is totally based on the real fact.

然后集中分析事实推定与法律推定的概念特征及其相互关系，指出事实推定的实质是推理或推论；法律推定源于事实推定又高于事实推定。

On one hand,as a typical content of mathematical subject,reasoning and proof embodies the mathematical rational spirit;on the other hand,to cultivate students' thinking ability as the main function,the mathematics without reasoning and proof.

一方面，推理与证明作为数学学科的典型内容，体现了数学的理性精神；另一方面，数学以培养学生的思维能力为主要功能，它离不开推理与证明。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

Therefore it is not rational to regard Trairūpya as rule. It is not reasonable treated Trairūpya as reasoning, because Trairūpya is an objective truth of self-evident, but reasoning being a subjective thought form from known to unknown.

另外，因三相的不可缺一也不能归咎于因明的特殊风格或者对敌者的心理状况不同，因为同品与异品并不是一对矛盾概念，从而不能由第三相推出第二相，况且这二相的性质、作用在因明体系中是不同的、不能互相取代的。

For the fuzzy issue of Knowledge Base form, the reasoner parses it and then does fuzzy reasoning by the rules, gives the corresponding results. Finally, an experiment of KB reasoning is applied to prove the capacity of this reasoner.

对以知识基形式存在的模糊问题，解析后利用规则进行模糊推理，给出相应的结果，最后还通过一个知识基推理的实验，对本推理机的能力进行了必要的检验。

It even enables us to discuss the limits of our reasoning in a sound reasoning and thinking.

它甚至使我们可以在一定原则下来探讨推理的局限性。

Sound reasoning and thinking. It even enables us to discuss the limits of our reasoning in a+ principled way.

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

—the end point reached by a line of reasoning, valid if the reasoning is sound; the

结论—逻辑链的终点，如果推理的过程是健全的结论将会因此有效；一种作为结果的陈述。

It is also known as one of the most poisonous naturally occurring substances.

它也被称为一个最自然发生的有毒物质。

The greatest stress is found at the location on the cross section where V is the largest.

最大应力出现在横截面上V为最大的地方。