人工智能发展史
人工智能学科诞生于 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”,用