推理通过使用逻辑归纳或演绎产生一个派生的事实。
An inference produces a derived fact using logical induction or deduction.
推理规则实现演绎法、归纳法、prolog样式的统一或其他人工智能(artificial intelligence,AI)样式的规则。
Inference rules implement forward inferencing, backward chaining, Prolog-style unification or other artificial intelligence (ai) -style rules.
它的真实性是被证明归纳而成的，而不是靠推理演绎得来。
探讨几何画板探索性学习中实验归纳和演绎推理的平衡与统一。
This paper discussed the balance and unification of the experiment Induction and deductive reasoning in explore study of the Geometry's Sketchpad.
区分归纳推理和演绎推理。
而且在实践方法上，更符合人类智识思维当中的归纳、推理、演绎等方式，也就是适合现代人的口味。
More over, the practice way is better agree with the way of human intelligence, such as generalization, reasoning and deduction, that means, this practice way is suitable for the modern people.
语用推理的模式不是单纯的演绎或归纳，而是多种推理方式的综合运用，语用推理的形式化研究是有意义的。
The mode of pragmatic inference is not a usage of single deduction or induction, but a integrated usage of various inference ways, so the research on the form of pragmatic inference is meaningful.
本文采用文献资料法、专家访谈法、归纳——演绎推理法等多种研究方法。
The article use document study, expert visiting, summarized-interpret reasoning law and other research methods.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
本文采用文献资料法、专家访谈法、归纳—演绎推理法、案例法等多种研究方法。
In this article I use many methods such as document study, expert visiting, summarized-interpret reasoning law, case analyzing and other research methods.
归纳的方法是根据观察或有力的证据得出结论，这是作为对手的演绎推理。
Inductive way is based on observation or strong evidence to draw the conclusion, which is as opponent of deductive reasoning.
主要采用了文献研究、内容分析、逻辑推理、归纳演绎和系统建模等研究方法。
The main research methods include use of literature research, content analysis, logical reasoning and system modeling.
逻辑形式中不仅应包含有演绎推理 ，而且应包含归纳推理 ；
The logical form contains not only deductive reasoning, but also inductive reasoning.
逻辑形式中不仅应包含有演绎推理 ，而且应包含归纳推理 ；
The logical form contains not only deductive reasoning, but also inductive reasoning.
应用推荐