查询词典 reasoning

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

Aiming at the problem that the condition information of large size steam turbine unit is complex and difficult to evaluate its condition accurately, an evaluation method based on evidential reasoning is proposed.

针对大型汽轮机组状态信息复杂，运行状态难以准确评价的问题，提出基于证据推理的状态评价方法。

In the research and development of intelligence system,the computing complexity of reasoning is a important problem.

在智能系统的研究与开发中，推理方法的计算复杂性是一个很重要的问题。

This model contains two parts,one is conceptive model and the other one is reasoning model.

设计的自动决策支持模型中包含了概念模型和推理模型，推理模型中集成了交通拥挤自动检测算法和拥挤交通量控制方案选择的模糊推理算法。

The paper analyzes the method and the reasoning mechanism about configuration. The web-based configurator is studied .

本文分析了配置的方法、推理机制，并对配置器网上实现的关键技术进行研究。

The role of the environment is very important.

的作用，环境是非常重要的。

At that time, the High Court of England and Wales Court of Queen's Bench president of William Murray, Lord Mansfield in June 22, 1772 ruling:"No matter then there is the inconvenience, but there must be a decision, I can not say that this case under the law in England are permitted or authorized; are so black should be released."

当时的英格兰及威尔士高等法院王座法庭院长William Murray， Lord Mansfield于1772年6月22日宣判：「无论有那麽不便，但总要有个决定，我不能说这件案在英格兰法律之下是准许或认可；所以黑人是应该被释放。