推理通过使用逻辑归纳或演绎产生一个派生的事实。
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.
它的真实性是被证明归纳而成的，而不是靠推理演绎得来。
应用推荐