人工智能的诞生（年）

普林斯顿大学也曾是AI中另一位有影响力的人物约翰·麦卡锡（John McCarthy）的家。毕业以后麦卡锡去了达特茅斯大学，这个地方后来成为人工智能领域的正式诞生地。麦卡锡说服了明斯基、克劳德·香侬（Claude Shannon）和内森尼尔·罗切斯特（Nathaniel Rochester）帮助他召集全美国对于自动机理论、神经元网络和智能研究有兴趣的研究者们。他们于1956年夏天在达特茅斯组织了一个为期两个月的研讨会。一共有十位与会者，包括来自普林斯顿大学的Trenchard More、IBM公司的阿瑟·萨缪尔（Arthur Samuel），以及来自MIT的Ray Solomonoff和Oliver Selfridge。

两位来自卡耐基工业技术大学[13]的研究者，艾伦·纽厄尔和赫伯特·西蒙，几乎占据了整个舞台。虽然其他人也有自己的想法和一些特定的应用程序比如跳棋程序，纽厄尔和西蒙却已经完成了一个推理程序：逻辑理论家（LT）。正如西蒙宣称的：“我们发明了一个计算机程序，它能够进行非数值化的思考，并且因此可以解决古老的精神—肉体问题。”[14]很快在会议之后，他们的程序就能够证明本书第二章里所述的罗素和怀特海德著述的《数学原理》（Principia Mathematica）里的大多数定理了。据说当罗素看到西蒙向他展示程序给出的一个数学原理的定理证明比书中写的证明更短时，非常高兴。《符号逻辑期刊》（Journal of Symbolic Logic）的编辑则显得无动于衷，他们拒绝了纽厄尔、西蒙和逻辑理论家合作的一篇论文。

达特茅斯会议并未带来新突破，但是它确实把所有主要的人物介绍给了彼此。在接下来的20年中，人工智能领域将被这些人以及他们在MIT、CMU、斯坦福和IBM的学生和同事们统治。也许这次会议带来的最长久的东西就是大家同意使用麦卡锡给这个领域起的新名字：人工智能（缩写为 AI）。可能“计算理性（Computational Rationality）”更合适一些，不过“AI”已经根深蒂固了。

看看达特茅斯会议的提议（麦卡锡等人，1955），我们会发现为什么AI有必要成为一个单独的领域。为什么 AI 的全部问题不能出现在控制论，或者运筹学，或者决策理论的名号下，尽管归根结底它们的目标和AI很相近？或者为什么AI不是数学的一个分支？第一个答案是AI从一开始就承载着复制人的才能如创造性、自我修养和语言功能的思想。没有任何一个其它领域涉及这些问题。第二个答案是方法论不同。AI是这些领域中惟一一个明确属于计算机科学的分支（尽管运筹学也同样强调计算机模拟），而且AI是唯一试图建造在复杂的和变化的环境中自动发挥功能的机器的领域。