CAAI科普丨人工智能的历史(长文).docVIP

CAAI科普丨人工智能的历史（长文）

转自数据有意思人工智能的历史源远流长。在古代的神话传说中，技艺高超的工匠可以制作人造人，并为其赋予智能或意识。现代意义上的AI始于古典哲学家用机械符号处理的观点解释人类思考过程的尝试。20世纪40年代基于抽象数学推理的可编程数字计算机的发明使一批科学家开始严肃地探讨构造一个电子大脑的可能性。

1956年，在达特茅斯学院举行的一次会议上正式确立了人工智能的研究领域。会议的参加者在接下来的数十年间是AI研究的领军人物。他们中有许多人预言，经过一代人的努力，与人类具有同等智能水平的机器将会出现。同时，上千万美元被投入到AI研究中，以期实现这一目标。

最终研究人员发现自己大大低估了这一工程的难度。由于JamesLighthill爵士的批评和国会方面的压力，美国和英国政府于1973年停止向没有明确目标的人工智能研究项目拨款。七年之后受到日本政府研究规划的刺激，美国政府和企业再次在AI领域投入数十亿研究经费，但这些投资者在80年代末重新撤回了投资。AI研究领域诸如此类的高潮和低谷不断交替出现；至今仍有人对AI的前景作出异常乐观的预测。

尽管在政府官僚和风投资本家那里经历了大起大落，AI领域仍在取得进展。某些在20世纪70年代被认为不可能解决的问题今天已经获得了圆满解决并已成功应用在商业产品上。与第一代AI研究人员的乐观估计不同，具有与人类同等智能水平的机器至今仍未出现。图灵在1950年发表的一篇催生现代智能机器研究的著名论文中称，“我们只能看到眼前的一小段距离……但是，我们可以看到仍有许多工作要做”。

目录1先驱1.1神话，幻想和预言中的AI

1.2自动人偶

1.3形式推理

1.4计算机科学2人工智能的诞生：1943–19562.1控制论与早期神经网络

2.2游戏AI

2.3图灵测试

2.4符号推理与“逻辑理论家”程序

2.51956年达特茅斯会议：AI的诞生3黄金年代：1956–19743.1研究工作

3.1.1搜索式推理

3.1.2自然语言

3.1.3微世界

3.2乐观思潮

3.3经费4第一次AI低谷：1974–19804.1问题

4.2停止拨款

4.3来自大学的批评

4.4感知器与联结主义遭到冷落

4.5“简约派（theneats）”：逻辑，Prolog语言和专家系统

4.6“芜杂派（thescruffies）”：框架和脚本5繁荣：1980–19875.1专家系统获得赏识

5.2知识革命

5.3重获拨款：第五代工程

5.4联结主义的重生6第二次AI低谷：1987–19936.1AI之冬

6.2躯体的重要性：NouvelleAI与嵌入式推理7AI：1993–现在7.1里程碑和摩尔定律

7.2智能代理

7.3“简约派”的胜利

7.4幕后的AI

7.5HAL9000在哪里?

先驱McCorduck写道：“某种形式上的人工智能是一个遍布于西方知识分子历史的观点，是一个急需被实现的梦想，”先民对人工智能的追求表现在诸多神话，传说，故事，预言以及制作机器人偶（automaton）的实践之中。

神话，幻想和预言中的AI希腊神话中已经出现了机械人和人造人,如赫淮斯托斯的黄金机器人和皮格马利翁的伽拉忒亚。中世纪出现了使用巫术或炼金术将意识赋予无生命物质的传说,如贾比尔的Takwin,帕拉塞尔苏斯的何蒙库鲁兹和JudahLoew的魔像。19世纪的幻想小说中出现了人造人和会思考的机器之类题材，例如玛丽·雪莱的《弗兰肯斯坦》和卡雷尔·恰佩克的《罗素姆的万能机器人》。SamuelButler的《机器中的达尔文（DarwinamongtheMachines）》一文（1863）探讨了机器通过自然选择进化出智能的可能性。至今人工智能仍然是科幻小说的重要元素。

自动人偶加扎利的可编程自动人偶(1206年)许多文明中都有创造自动人偶的杰出工匠，例如偃师（中国西周），希罗（希腊），加扎利和WolfgangvonKempelen等等。已知最古老的“机器人”是古埃及和古希腊的圣像，忠实的信徒认为工匠为这些神像赋予了思想，使它们具有智慧和激情。赫耳墨斯·特里斯墨吉斯忒斯（HermesTrismegistus）写道“当发现神的本性时，人就能够重现他”。

形式推理人工智能的基本假设是人类的思考过程可以机械化。对于机械化推理（即所谓“形式推理（formalreasoning）”）的研究已有很长历史。中国，印度和希腊哲学家均已在公元前的第一个千年里提出了形式推理的结构化方法。他们的想法为后世的哲学家所继承和发展，其中著名的有亚里士多德（对三段论逻辑进行了形式分析），欧几里得（其著作《几何原本》是形式推理的