1.1　关于AI的预言成真了吗

1957年，在人工智能刚诞生不久的时候，著名人工智能专家Herbert Alexander Simon[1]和Allen Newell[2]在Operation Research协会上做了以下预言[77]。

十年以内，计算机将能够：

·夺得国际象棋的冠军。

·发现新的重要数学定理，并且能够进行证明和推导。

·能够写出具有艺术价值的音乐。

·把心理学理论进行程序化的叙述。

以上代表了早期对于人工智能的乐观的看法。如后文中将要叙述的内容——AI在西洋跳棋中的成功，使人们对于人工智能技术能够快速发展充满了过度的期望和自信。但冷水泼得也很快，人工智能的发展马上就迎来了寒冬。到了20世纪80年代后期，专家系统这一技术的兴起使得人工智能得到了一时的复兴，但马上又迎来了另一场凛冬。

最近几年，人工智能的热潮再次兴起。那么以上那些预言实现了多少呢？关于第一条，已经实现了。关于第二条，虽然还没有取得划时代的重大发现或突破，但是人工智能的技术已经成了很多数学证明的助力[3]。关于第三条和第四条，半个多世纪过去了，人们还在努力探索中。

本书的内容将围绕第一个预言——游戏和谜题，介绍AI技术的基础知识和近期的研究及发展情况。

[1] Herbert Alexander Simon（1916-2001）：美国认知科学家。基于理性理论，对人工智能学科做出了重大贡献。获得了1978年的诺贝尔经济学奖。

[2] Allen Newell（1927-1992）：美国早期AI研究者。1957年，在达特茅斯会议（确立人工智能学科领域的会议）上，与Herbert Alexander Simon一起发布了第一个人工智能程序Logic Theorisu。

[3] 相关内容请参考3.4节的讨论。