第1章 研究科学发现的一种新途径 1
第1节 机器发现与BACON系统 1
第2节 BACON系统的启发式及其运行特点 7
第3节 机器发现系统的研究价值 14
第2章 机器发现系统所依据的科学发现观 20
第1节 “启发式搜索解题”发现观及其机器实现 20
第2节 西蒙的科学发现观引发的对AI发现系统的批评 31
第3节 对西蒙科学发现观的批评的实质 38
第4节 认知研究面临整合难题 43
第3章 机器发现与科学发现的逻辑 44
第1节 计算机模拟发现的工作是不是重新“发现” 44
第2节 机器发现与“发现的哲学”的复活 50
第3节 机器发现与科学家发现的不同 69
第4章 是培根的归纳还是波普尔的猜想-反驳 71
第1节 BACON方法对归纳思想的意义 71
第2节 能否从波普尔思想中找寻发现的逻辑 77
第3节 BACON是产生可能性假说的逻辑 87
第5章 对SSK强纲领的经验拒斥 90
第1节 拒斥强纲领的“图灵检验” 91
第2节 “纯粹的”或“无社会污染的”吗 94
第3节 争论、融合与意义 107
结语 未尽的问题 110