2015-11-20   来源：战略前沿技术

 

 

【好书推荐】《与机器人共舞》：一篇文看全人工智能发展史

1

人工智能的漫长萌芽期（17~20世纪50年代）

17世纪中，莱布尼兹、托马斯·霍布斯和笛卡儿提出形式符号系统假设，为人工智能（AI）的研究打下了基础。
19世纪初，查尔斯·巴贝奇设计了一台机械式可编程计算机（“差分机”），但未能建造出来。
20世纪，布尔的《思维的定律》、弗雷格的《概念文字》、罗素和怀特海的《数学原理》这些著作在数理逻辑研究上有了极大的突破，使得人工智能呼之欲出。
1936年，数学家阿隆佐·邱奇和艾伦·图灵命名邱奇-图灵论题，提出所有计算或算法都可以由一台图灵机来执行，该论题被誉为构建计算机科学的基础之一。
1946年2月14日，发展了图灵和约翰·冯·诺伊曼学说的、世界上第一台电子多用途计算机ENIAC在美国宣告诞生，为人工智能的出现奠定了基础。

2

人工智能的诞生（20世纪40~50年代）

1947年，神经学研究发现大脑是由神经元组成的电子网络，其激励电平只存在“有”和“无”两种状态，不存在中间状态。
1948年，早在计算机时代刚刚进入黎明时，诺伯特 · 维纳就提出了一种“控制论”的概念。维纳是最先预见到信息技术双重可能性的人,这把双刃剑可能 逃离人类掌控并反过来控制人类。此外,他还是最早对机器智能的到来提出批判的学者。
1948年10月，香农发表论文《通信的数学理论》，被作为现代信息论研究的开端，而香农也因此被誉为“信息论之父”。
1950年，图灵发表了一篇划时代的论文，预言了创造出具有真正智能的机器的可能性。图灵测试是人工智能哲学方面第一个严肃的提案。
1951年，马文·明斯基与迪恩·埃德蒙兹一道建造了第一台神经网络机SNARC。
1954年乔治·戴沃尔，设计了世界上第一台可编程机器人。
1955年，纽厄尔和西蒙在J. C. 肖的协助下开发了“逻辑理论家”。这个程序能够证明《数学原理》中前52个定理中的38个，其中某些证明比原著更加新颖和精巧。这一断言后来被约翰·塞尔称为“强人工智能”，即机器可以像人一样具有思想。
1956年，马文 · 明斯基与约翰 · 麦卡锡、克劳德 · 香农等人一起发起并组织“达特茅斯会议”，并在会议上首度提出“人工智能”概念，这次会议之后被誉为“人工智能的起点”。

3

人工智能的黄金时代（20世纪50~70年代）

1956年戴沃尔与约瑟夫恩格尔博格，创建了世界上第一家机器人公司，名为“尤尼梅新”。
1956年，奥利弗·萨尔夫瑞德研制出第一个字符识别程序，开辟了模式识别这一新的领域。
1957年，纽厄尔和西蒙等开始研究一种不依赖于具体领域的通用问题求解器，他们称之为GPS（General Problem Solver），这一时期，搜索式推理是许多AI程序使用相同的基本算法。
1958年，约翰·麦卡锡发明 Lisp 计算机分时编程语言，该语言至今仍在人工智能领域广泛使用。
1958年，美国国防部先进研究项目局（Defense Advanced Research Projects Agency）成立，主要负责高新技术的研究、开发和应用。40多年来，DARPA已为美军研发成功了大量的先进武器系统 ，同时为美国积累了雄厚的科技资源储备，并且引领着美国乃至世界军民高技术研发的潮流。
1962年，世界上首款工业机器人“尤尼梅特”开始在通用汽车公司的装配线上服役。
1963年6月，MIT从新建立的ARPA（即后来的DARPA，国防高等研究计划局）获得了二百二十万美元经费，用于资助MAC工程，其中包括明斯基和麦卡锡五年前建立的AI研究组。此后ARPA每年提供三百万美元，直到七十年代为止。
1964年，IBM 360型计算机成为世界上第一款规模化生产的计算机。
早在1958年，约翰·麦卡锡就提出了名为“纳谏者”的一个程序构想，将逻辑学引入了AI研究界。然而，根据60年代末麦卡锡和他的学生们的工作，对这一想法的直接实现具有极高的计算复杂度：即使是证明很简单的定理也需要天文数字的步骤。麦卡锡认为，人类怎么思考是无关紧要的：真正想要的是解题机器，而不是模仿人类进行思考的机器。麦卡锡等人一派被称为“简约派”。
1966年到1972年间，美国斯坦福国际研究所(Stanford Research Institute, SRI)研制了移动式机器人Shakey, 并为控制机器人而开发了STRIPS系统，Shakey是首台采用了人工智能学的移动机器人，引发了人工智能早起工作的大爆炸。
1966年，MIT的魏泽堡发布了世界上第一个聊天机器人Eliza。 Eliza的智能之处在于她能通过脚本理解简单的自然语言，并能产生类似人类的互动。而其中最著名的脚本便是模拟罗吉斯心理治疗师的Doctor。