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

摘要

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