自动数学家

自动数学家（AM）是最早的成功发现系统之一。AM的工作方式是生成和修改简短的Lisp程序，然后将其解释为定义各种数学概念；例如，测试两个列表的长度是否相等的程序被认为是代表数字平等的概念，而产生一个长度为另外两个列表长度之积的列表的程序则被解释为代表乘法的概念。该系统根据工作中的数学家解决数学问题的经验，精心设计了启发式方法来选择哪些程序需要扩展和修改。

莱纳特声称该系统是由数百个称为概念的数据结构组成的，同时还有数百个启发式规则和一个简单的控制流程。AM重复地从议程中选择最重要的任务，并试图执行它。这就是整个控制结构!然而，启发式规则并不总是表现为独立的数据结构；有些规则必须与控制流逻辑交织在一起。有些规则的前提条件取决于历史，或者不能在显式规则的框架内表示。更重要的是，规则的公布版本经常涉及到没有进一步定义的模糊术语，比如如果两个表达式结构相似，......（规则218）或者......用其他（非常相似）的值替换得到的值......（规则129）。另一个信息来源是用户，通过规则2：如果用户最近提到了X，那么就提高涉及X的任何任务的优先级。

因此，似乎很有可能许多真正的发现工作被埋在未解释的程序中。这一特性本身就很有趣--进一步研究的一个有希望的方向是寻找其他语言，在这些语言中短的随机字符串可能是有用的。