AM程序的目标是结构不良的目标。它的目标是发现新的有用的概念，然后把这些概念联系起来形成定律。但是，它不能证明这些定律是否正确。我们给它的启发式一般是：一遇到概念就提出一些具体的例子；遇到一些具体的概念就加以概括；若是遇到概括了的概念就加以分解。有了这些功能，AM系统就可以得出许多新的概念。至于对这些概念的评价，即判断什么样的概念才是有用的，AM程序有以下的标准：与有用的概念相联系的概念是有用的；能从中引出许多结果的概念是有用的；那些有具体例子，但又不易找到这些例子的概念是有用的。例如，可以给AM系统一些集合概念，让它运行，这样计算机就会先从集合的概念中得出自然数的概念，把这些数和集合概念相结合就可用加减乘除来进行运算，最后计算机就会发现除法是有用的概念。它对什么数都先除一除，把它分解成因子。这样AM系统就会发现除去1以外的每一个数至少都有两个因子；还发现有许多数仅只有两个因子，这些数就是质数（或素数)。AM系统还发现每个数都可以表示为质数乘方的积，这是数学上的一条基本定理。接着AM系统又发现任何偶数都可以表示为两个质数之和，这就是著名的哥德巴赫猜想。
由此可见，只要输入一些简单的基本概念及一些辅助信息，计算机就能成为一个发现系统。像AM系统发现或再发现数学概念和定理一样，一些有关化学的分子遗传学的程序也被编制
认知
262