用BACON系统重新发现化学定律

西蒙是著名的人工智能专家。他送给本刊发表的这篇文章介绍了人工智能研究新进展的一个重要方面,即用计算机发现科学定律。这里介绍的BACON.4是一种发现经验定律的生成子系统。该程序可以用不同的描述层次来表现信息,并在高一层次概括它们。它采用数据推导的试探程序来检测数字数据与名词性数据的规律性。这种程序注意到守恒量和倾向性,从而导致BACON.4提出假说、定义理论项、假设固有性质。这种试探程序还具有发现公约数的新技术,从而可以应用于不同的领域发现科学定律。

用BACON系统重新发现化学定律(续)

人们相信,理论的一般性不仅在于它可以解释的现象的数量,而且在于这些现象的多样性。正如我们在上一节所说明的那样,BACON. 4在重新发现物理学定律这方面是相当成功的,但是因为这种程序在设计时已经考虑到了物理学的发现,因此这并没有什么可惊讶的。