推理

The control direction can be pointed out by the reason of order degree and order degree entropy.

通过推理机对系统有序度及有序度熵的推理，为决策者调控指明了方向。

Third, the effect of premises believability on reasoning was similar in all types of deduction , that is, the effect of conclusion validity was stronger when the premises were believable than they were unbelievable.

在不同类型的演绎推理形式中前提可信性对推理的作用是类似的，即结论有效性在前提可信时的效应大于其在前提不可信时的效应，说明被试在前提可信时更倾向于进行逻辑分析。

These theorems shows that there always exists a mathematical relation (that is, a bounded real function)between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function.

结果表明在各种模糊推理模式中，前提与结论之间存在一个数学关系，模糊推理的各种算法都是这一函数的不同构造形式。

Deffering from others' work, the essay sets all concept, mathematical model and reasoning on relational database such that uncertain reasoning has new qualities: Subjectivity and Calculability.

本文有别于他人的研究工作是将所有的概念、数学模型及推理基于各种关系数据库上考虑，使得本文的不确定推理具有新的特点：客观性和可计算性。

On the basis of research on CBR, the application of CBR in CAFD wasintroduced in detail.

在基于实例推理技术研究的基础上，详细介绍了基于实例推理技术在CAFD 系统中的应用。

The chain between air valve operational rule and bed stratification is set up, which supplies the reliability for control decision-making of expert system. Expert control strategy is put forward based on the characteristic of jigging process in this article. Knowledge acquisition, knowledge expression, search method and reasoning mechanism are studied in the expert system. The rule-base is set up based on bed stratification status, bed mobility status, feed velocity, recording data on site, artificial float and sink test result.

本文根据跳汰过程的特点，提出了专家控制系统的构成框架，研究了分层过程控制专家系统的知识获取、知识的表示与检索方法及推理机制，并根据分层状态、床层松散状态、给料速度信息和现场运行记录及定时人工筛分浮沉结果进行推理，建立了专家系统规则库，给出了具体的风阀操作参数的调节方法。

Under the management corresponding of control system, the knowledge in knowledge base was used by inference machine to colligate the data and conditions in database, the models and methods in model method base were called to theorize and acquire adaptive navigation information.

在控制系统的管理协调下，推理机运用知识库中的知识，综合数据库的数据和条件，调用模型方法库中的模型和方法进行推理，获得适用的导航信息。

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Darwin is just the most successful example in this field,which invoked this method to support his evolution theory by natural selection.In Origin of Species,he cites a large array of facts on the basis of explanatory power and consilience,which are explained by the theory of evolution but are inexplicable by creation.It accords with criterions of inference to the best ...

达尔文运用最佳解释推理论证通过自然选择而进化的理论最为成功，在《物种起源》中，达尔文以解释力、解释的一致性为基础，引用大量事实，充分比较了自然选择理论与上帝的独立创造说或神创论，符合最佳解释推理模型的评价标准。

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.

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

Shop assistant: Please check at the door.

店员：请您到门口柜台交费。

In the end, transportation of PAHs in the environmental matrix was preliminarily investigated and discussed according to PAHs data of soils and sediments from a certain region in Shanghai. The result indicated that there are two or more pathways on PAHs transportation in the environmental matrix.

最后，对上海特定地区内PAHs在环境介质中的迁移径途进行了分析讨论，结果表明上海市土壤和沉积物等环境介质中PAHs的迁移存在多种途径。