论归纳发现机器的存在与结构

本文反驳了否定归纳发现机器存在的主要论据,从启发式合理性观念出发,论证了归纳发现方法的合理性;澄清了科学发现概念,揭示了它同先验评价概念之间的联系;在Nickles的gene-rative support和discoverability理论的基础上,提出了归纳发生支持概念。依据上述哲学分析的结果,本文运用AI的研究方法,建立了归纳发现机器的一般模型和两类具体模型,(其中一类是评价和发生合一的归纳发现机器);并运用计算复杂性理论和局部归纳理论证明:在一组可明确表述的条件下,上述两类机器的一个非空子集是可靠的算法。最后,本文以实例对上述结论作出验证。