人工智能学科诞生于 20 世纪 50 年代中期, 当时由于计算机的产生与发展, 人们开始了具有
真正意义的人工智能的研究。(虽然计算机为 AI 提供了必要的技术基础 , 但直到 50 年代早
期人们才注意到人类智能与机器之间的联系 . Norbert Wiener 是最早研究反馈理论的美国
人之一 . 最熟悉的反馈控制的例子是自动调温器 . 它将收集到的房间温度与希望的温度比较 ,
并做出反应将加热器开大或关小 , 从而控制环境温度 . 这项对反馈 回路的研究重要性在于 :
Wiener 从理论上指出 , 所有的智能活动都是反馈机制的结果 . 而反馈机制是有可 能用机器
模拟的 . 这项发现对早期 AI 的发展影响很大。)
1956 年夏,美国达特莫斯大学助教麦卡锡、哈佛大学明斯基、贝尔实验室申龙、
IBM 公司信息研究中心罗彻斯特、卡内基——梅隆大学纽厄尔和赫伯特 . 西蒙、麻省理工学
院塞夫里奇和索罗门夫, 以及 IBM 公司塞缪尔和莫尔在美国达特莫斯大学举行了以此为其两
个月的学术讨论会, 从不同学科的角度探讨人类各种学习和其他职能特征的基础, 并研究如
何在远离上进行精确的描述, 探讨用机器模拟人类智能等问题, 并首次提出了人工智能的术
语。从此,人工智能这门新兴的学科诞生了。这些青年的研究专业包括数学、心理学、神经
生理学、 信息论和电脑科学, 分别从不同角度共同探讨人工智能的可能性。 他们的名字人们
并不陌生,例如申龙是《信息论》的创始人,塞缪尔编写了第一个电脑跳棋程序,麦卡锡、
明斯基、纽厄尔和西蒙都是“图灵奖”的获奖者。
这次会议之后, 在美国很快形成了 3 个从事人工智能研究的中心, 即以西蒙和纽威
尔为首的卡内基—梅隆大学研究组, 以麦卡锡、 明斯基为首的麻省理工学院研究组, 以塞缪
尔为首的 IBM 公司研究组。 随后, 这几个研究组相继在思维模型、 数理逻辑和启发式程序方
面取得了一批显著的成果:
(1)1956 年,纽威尔和西蒙研制了一个“逻辑理论家“(简称 LT)程序,它将每
个问题都表示成一个树形模型 , 然后选择最可能得到正确结论的那一枝来求解问题,证明了
怀特黑德与罗素的数学名著《数学原理》的第 2 章中 52 个定理中的 38 个定理。 1963 年对
程序进行了修改, 证明了全部定理。 这一工作受到了人们的高度评价, 被认为是计算机模拟
人的高级思维活动的一个重大成果,是人工智能的真正开端。
(2)1956 年,塞缪尔利用对策论和启发式搜索技术编制出西洋跳棋程序 Checkers 。
该程序具有自学习和自适应能力, 能在下棋过程中不断积累所获得的经验, 并能根据对方的
走步,从许多可能的步数中选出一个较好的走法。 这是模拟人类学习过程第一次卓有成效的
探索。这台机器不仅在 1959 年击败了塞缪尔本人, 而且在 1962 年击败了美国一个州的跳棋
冠军,在世界上引起了大轰动。这是人工智能的一个重大突破。
(3)1958 年,麦卡锡研制出表处理程序设计语言 LISP,它不仅可以处理数据,而
且可以方便的处理各种符号,成为了人工智能程序语言的重要里程碑。目前, LISP 语言仍
然是研究人工智能何开发智能系统的重要工具。
(4)1960 年纽威尔、肖和西蒙等人通过心理学实验,发现人在解题时的思维过程
大致可以分为 3 个阶段: 1。首先想出大致的解题计划; 2。根据记忆中的公理、定理和解题
规划、按计划实施解题过程; 3. 在实施解题过程中,不断进行方法和目标分析,修改计划。
这是一个具有普遍意义的思维活动过程, 其中主要是方法和目的的分析。 (也就是人们在求
解数学问题通常使用试凑的办法进行的试凑是不一定列出所有的可能性, 而是用逻辑推理来
迅速缩小搜索范围的办法进行的) ,基于这一发现, 他们研制了 “通用问题求解程序 GPS”,
用它来解决不定积分、三角函数、代数方程等 11 种不同类型的问题,并首次提出启发式搜
索概念,从而使启发式程序具有较普遍的意义。