作　　者： ; ;

机构地区： 武汉大学人文科学学院

出　　处： 《华中科技大学学报（社会科学版）》 2003年第3期29-31,75,共4页

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

关 键 词： 归纳逻辑 演绎逻辑 逻辑程序设计 融合

领　　域： [哲学宗教]