查询词典 reasoning

It means not coercing people with wrong views into submission but convincing them by reasoning.

对于错误的意见，不是压服，而是说服，以理服人。

But bear in mind that you needn't master the somewhat elliptical reasoning behind the subject in order to collimate your telescope well!

要记住你不必非得掌握椭圆的理论就能把光轴调好。

The simulation technology is applied to many areas, from the reasoning of new weapons, to the training of combatant and the research of tactics.

军事领域内的仿真在高技术条件下的战争中正在起着越来越大的作用，从新武器装备的论证、作战人员的训练到战术战法的研究都可看到仿真技术的应用。

Legal reasoning is a process of decision-making in the court by combinational of legal reasons and justified reasons.

法律推理是一个综合运用法律理由和正当理由的法庭决策过程。

Five important themes are interwoven in this course: Mathematical reasoning, combinatorial analysis, discrete structures, applications and modeling, and algorithmic thinking.

一个成功的离散数学必须交织与平衡以下上五项主要课题，那就是数学推理。

In the temporal reasoning, if interval algebra is combined with interval matrix, the computing efficiency is improved, and the temporal representation keeps visual and comprehensive as well.

在一维时态推理中，将时态的区间表示和矩阵表示相结合，在提高计算效率的同时，保持了形象直观的时态表示。

User can diagnosis in two kinds mode: Diagnosis based on Diagnosis Tree , commix fuzzy reasoning based on experts knowledge and experience.

其中诊断模块的主要诊断功能由基于诊断树理论的诊断子模块和基于混合模糊推理策略的诊断子模块实现。

For the characteristics of Tea Pest domain knowledge, we use a method which combines a classification method based on the biology with a complete axiom system. Tea Pest domain ontology which is built in this method can not only reveal the clear hierarchy structure of knowledge, but also have a well application in the retrieval and reasoning of diagnosis system.

针对茶虫害领域知识的特点，本文采用生物分类法与完整的公理系统相结合的方法，清晰的体现了茶虫害领域知识的层次结构，并且有利于本体在诊断系统中的检索、推理等应用。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。