人工智能研究对归纳逻辑的新理解——从科学哲学与逻辑哲学观点看

New Understanding of Artificial Intelligence on Inductive Logic——From the Standpoint of Philosophy of Science and Logic

从科学哲学观点看 ,人工智能领域机器学习研究的进展 (如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.