数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。
Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.
其中一条关于试图回答休谟理论的便是，归纳法实际上可以经由纯粹的推理证明，而不是演示，诉之于概率的除外。
One way of trying to answer Hume is to show that actually induction can be justified by pure reason but by appeal to probability rather than demonstration.
推理规则实现演绎法、归纳法、prolog样式的统一或其他人工智能(artificial intelligence,AI)样式的规则。
Inference rules implement forward inferencing, backward chaining, Prolog-style unification or other artificial intelligence (ai) -style rules.
即便我们的归纳证明不能依赖纯粹的推理，对于归纳法实用主义的论证尝试也会得以体现。
And the Pragmatic Justification of induction attempt have been made to show that even if we cannot justify relying on induction by pure reason.
逆向归纳法(倒推法)是博弈论中的一种重要的推理方法。
The backward induction is an important reasoning method in game theory.
逆向归纳法(倒推法)是博弈论中的一种重要的推理方法。
The backward induction is an important reasoning method in game theory.
应用推荐