这两个反应式不同，其关键就在于分子和原子的关系问题。要理解它就必须知道原子的“包”和分子的“包”是不同的。如果我们把原子的基本理论输入BACON程序，那么就可以得出一系列类似的化学反应式。同理，用这种小包分析法，BACON程序也能得出孟德尔的遗传规律。这些都说明，只要我们给BACON程序一些信息，它能像科学家一样，利用有关的信息作出科学的发现或再发现。
BACON程序是数据驱动型的，它知道的规则越多，解题的效率就越高。除了这种数据驱动外，莱纳特（Lenat）又编制了一套理论驱动的程序—AM程序（自动数学家），这种程序的解题是从理论指导开始的。要让AM程序发现一些新的概念，就得先给它一些材料：（1）概念：如数学上有关集合的概念；（2）启发式：如让AM程序一见数字就进行一系列加减乘除的四则运算；（3）评价规则：用以评价所发现的概念是否有用。
第八章 发现过程
261