作　　者： ;

机构地区： 武汉大学哲学学院哲学系

出　　处： 《洛阳师范学院学报》 2004年第1期27-30,共4页

摘　　要： 从科学哲学观点看 ,人工智能领域机器学习研究的进展 (如ID3和GOLEM)表明 ,培根的机械归纳方法与波普尔的证伪方法具有互补性 ;从逻辑哲学观点看 ,作为非经典逻辑的现代归纳逻辑正在向AI领域拓展。通过与PROLOG的类比 (它将控制引入计算机逻辑 )表明 ,存在着作为推理 +控制的归纳逻辑。 From the standpoint of philosophy of science, with the advancement of the research on Machine Learning as a branch of Artificial Intelligence, Bacon's mechanical induction and Popper's falsification have represented the complementarities. From the standpoint of philosophy of logic, modern inductive logic as a non-classical logic is extending to the field of AI. By the analogy to PROLOG, the author shows that there is a kind of inductive logic as inference and control.

关 键 词： 机器学习 机械归纳 推理加控制 归纳逻辑 科学哲学 逻辑哲学 人工智能

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自然科学总论]