It tends to maximize the chances of success using commonly accepted logical inference rules.
使用普遍接受的逻辑推理规则，以争取最大限度成功的机会。
Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
A computer can reason about statements in these formal languages automatically using logical inference rules.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
However, because oneself lacks the strict logical inference, I think that it is unable to substitute for the expected utili...
然而，由于自身缺乏严格的逻辑推理，决定了它无法取代期望效用理论在规范化决策中的作用。
The operation of the system shows that each function module has more accurate calculation or better logical inference, that the...
系统运行结果表明，各功能模块计算准确，逻辑推理性较强，在一定程度上提高了数据处理的自动化和智能化水平。
Using the facing object thinking mode, the paper introduces a formula to estimate source depth of ion by simply analyses and logical inference.
以“面向对象的思维方式”，通过简单的分析和逻辑推理给出了离子来源深度的估值公式。
The deductive database is a combined product of artificial intelligence and database, which possesses functions of data processing and logical inference.
演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。
New fuzzy control algorithm was proposed using pattern matching rather than the traditional fuzzy control algorithm which was based on fuzzy logical inference.
提出了一种新的模糊控制算法，传统的模糊控制算法是基于模糊逻辑推理的，而这种算法是基于模式匹配的。
Blurring control is a kind of computer digital controlling technology on the basis of blurring set theory, blurring language variable and blurring logical inference.
模糊控制是以模糊集合论、模糊语言变量及模糊逻辑推理为基础的一种计算机数字控制技术。
In this paper, set pair inference according to set pair analysis is introduced. Some basic logical inference operations and properties about set pair logic are discussed.
利用集对分析，提出了集对逻辑推理，并讨论了集对逻辑推理的有关性质和运算。
However, because oneself lacks the strict logical inference, I think that it is unable to substitute for the expected utility theory in the standardized decision-making function.
然而，由于自身缺乏严格的逻辑推理，决定了它无法取代期望效用理论在规范化决策中的作用。
The analysis proves that in principle the GO methodology is in conformity with strict logical inference and provides a new method for the reliability analysis of a manufacturing system.
分析过程证明，GO法在理论上符合严格的逻辑推导，为制造系统的可靠性分析提供了一种新的方法。
This text USES some theory researching method, such as logical inference, documentary method and so on to research the cause of difficulties in learning physics and gives teaching countermeasures.
本文利用逻辑推理、文献法等理论研究方法，对高中生学习物理困难的原因及相应教学对策进行了研究。
INFERENCE: a logical conclusion or a legitimate implication based on factual information.
推理：根据事实的信息而做出的逻辑性的推测或者是合情合理的暗示。
An inference produces a derived fact using logical induction or deduction.
推理通过使用逻辑归纳或演绎产生一个派生的事实。
The reasoning from analogy is an important form of law inference involving logical and psychological problems.
类比推理是法律推理的重要形式，它不仅涉及到逻辑问题，而且涉及到心理学问题。
How the results of model theory work as logical and inference tools by example-LST theorem is explained.
以LST定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点。
The method of inference in expert systems we implemented on IBM-PC transforms a step-by-step inference into computing logical values so as to avoid its weaknesses.
本文给出一种专家系统中的推理方法，它将逐步匹配的推理方法转化为逻辑值的计算，避免了逐步匹配的弱点。
The paper analyzes the contents of exclusive logical thinking, its manifestation in economic activities, and its relationship with the law of excluded middle and disjunctive inference.
本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。
The methods of logical analysis which were applied in Mo Zi's debate involved the analyses of concept, inference and the basic law of logic.
其在谈辩过程中引入的逻辑分析方法主要涉及概念分析、推理分析、逻辑基本规律分析等内容。
Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
This section discussed the essential category of logical deduction the analysis of judgment and every aspect of inference.
逻辑推论的基本范畴，名词判断的分析，以及推理论证的各个形式都有所论述。
In the course of inference, we should try to avoid making three kinds of logical mistakes.
在推理过程中，应避免犯三种逻辑错误。
And while animals aren't people, he says it is logical to make the inference that an effect found in rats may also apply to humans.
他说尽管动物不是人，但依此推断在老鼠身上发现的功效同样适用于人也合乎逻辑。
It is to be proposed that the first type of mistake is caused in testing by certain principles of inference and the second type is caused in testing by logical errors.
可以认为，第一类错误由检验中的实际推断原理引起，第二类错误由检验中的逻辑谬误引起。
"Who said anything about logic?" he retorted. "an inference can be logical and still not be true."
“你别以偏概全，”他反驳道。“一个推论可以是合乎逻辑的但仍是错的。”
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
应用推荐