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

从科学哲学观点看 ,人工智能领域机器学习研究的进展 (如ID3和GOLEM)表明 ,培根的机械归纳方法与波普尔的证伪方法具有互补性 ;从逻辑哲学观点看 ,作为非经典逻辑的现代归纳逻辑正在向AI领域拓展。通过与PROLOG的类比 (它将控制引入计算机逻辑 )表明 ,存在着作为推理 +控制的归纳逻辑。