论归纳与演绎逻辑的融合

On Convergence of Inductive and Deductive Logic

由于归纳与演绎逻辑具有不同的逻辑推理特征,二者长期以来一直处于一种分化的状态。然而,目前人工智能逻辑程序设计的研究正在改变这种状态,即在一种逻辑=推理+控制的新框架内,归纳与演绎逻辑之间出现了一种融合的倾向。

As the distinct characteristics of logical inference, inductive and deductive logics have been being in a divergent state. However, at present logic programming in AI is changing the state. In a new logic frame (Logic=Inference+Control) there is a convergent tendency between inductive and deductive logic.