了科学的发现。
科学发现与问题解决、概念形成等都有一个最一般的图式。这个最一般的图式是根据下述基本原理得出的：一是共变规律，一是递归规律。例如BACON程序解决了常数 $\mathrm { k } _ { 1 , 2 } =$ $\frac { a _ { 1 } } { a _ { 2 } } , \mathrm { ~ k } _ { 2 , 3 } = \frac { a _ { 2 } } { a _ { 3 } } , \mathrm { ~ k } _ { 3 , 4 } = \frac { a _ { 3 } } { a _ { 4 } }$ 。k可能来自两个物体质量之比，即：$\frac { a _ { 1 } } { a _ { 2 } } { = } \frac { m _ { 2 } } { m _ { 1 } } , \ \frac { a _ { 2 } } { a _ { 3 } } { = } \frac { m _ { 3 } } { m _ { 2 } }$ ……还有一条基本原理是内在特性规律。当BACON程序发现弹簧两端的物体之间有某种关系时，不是把两个物体联系起来看成一个整体，而是把它们的两个部分分别加以考虑，视为不同的特性，并从中取一个物体放在另一种情景里，然后再看在新情景里这两物体的关系，通过这样的分析推出其他的关系。
理论驱动归纳
用一定的理论作为指导进行科学研究、发现科学规律属于理论驱动归纳过程。如果BACON程序具备一种理论，这种理论能使科学研究的范围受到限制，使搜索的空间减小，那么，它也可以用来指导发现规律，而且会更有效。
第八章 发现过程
257