社会新闻

六十年前一场会议决定了今天的人工智能大战_科技频道_

发布日期:2020-08-09 05:20   来源:未知   阅读:

1953 年夏天,麦卡锡和明斯基都在贝尔实验室为香农打工。香农那时的兴趣是图灵机以及是否可用图灵机作为智能活动的理论基础。麦卡锡向香农建议编一本文集,请当时做智能研究的各位大佬贡献文章,这本文集直到 1956 年才以《自动机研究》(Automata Studies)为名出版,这个书名最后是香农起的,他不想花里胡哨,但麦卡锡认为这没有反映他们的初衷。

文集的作者有两类人,一类是逻辑学家(后来都变成计算理论家了),如丘奇的两位杰出学生戴维斯和克里尼,后者的名著《元数学导论》在国内有逻辑学家莫绍揆先生的译本。明斯基、麦卡锡也都有论文录入,香农本人贡献了一篇讲只有两个内部状态的通用图灵机的文章,文集录入的一篇冯诺伊曼的论文后来开创了容错计算。文集的另一类作者几乎都是维纳的信徒,如阿什比(Ross Ashby)等,以控制论为基础。麦卡锡素不喜控制论和维纳,既不想把维纳当老大,也不愿和他见面争执,其中原因不详,或许和维纳与麦卡洛克吵翻了有关。麦卡洛克和皮茨这两位为维纳《控制论》思想贡献多多的人物,在维纳的自传里压根没被提及。麦卡锡同时又觉得香农太理论,当时他想自立门户,只对用计算机实现智能感兴趣,于是他筹划再搞一次活动。从香农后来接受的采访来看,他对维纳也没有多少尊重,他觉得自己创立的信息论和维纳一点关系也没有。但维纳却认为香农受到他的影响,香农认为维纳的这种错觉来源于维纳根本不了解信息论。

1955 年夏天,麦卡锡到 IBM 打工(美国教授都是 9 个月工资,如果没有研究经费,夏天要自己觅食),他的老板是罗切斯特(Nathaniel Rochester),罗切斯特是 IBM 第一代通用机 701 的主设计师,对神经网络素有兴趣。他们两人倒是挺对脾气,决定第二年夏天在达特茅斯搞一次活 动,遂说动了香农和当时在哈佛做初级研究员(Junior Fellow)的明斯基一起给洛克菲勒基金会写了个项目建议书,希望得到资助。美国富豪还是有文化传统的,至少知道要资助好东西,值得中国土豪的后代学习。

麦卡锡给这个第二年的活动起了个当时看来别出心裁的名字:人工智能夏季研讨会(Summer Research Project on Artificial Intelligence)。普遍的误解是“人工智能”这个词是麦卡锡想出来的,其实不是。麦老晚年回忆也承认这个词最早是从别人那里听来的,但记不清是谁了。后来英国数学家伍德华(Philip Woodward)给《新科学家》杂志写信说他是 AI 一词的原创者,麦卡锡最早是听他说的,因为他 1956 年曾去麻省理工学院访问,见过麦卡锡并交流过。但麦卡锡的建议书 1955 年就开始用“人工智能”了,人老了回忆真不靠谱。当事人都已仙逝,这事恐怕要成悬案了。其实英国人最早的说法是“机器智能”(Machine Intelligence),这大概和图灵那篇“计算机与智能”有关。

大家对“人工智能”这个词一开始并没取得完全共识。很多人认为啥事一加“人工”就变味了。纽厄尔和司马贺一直主张用“复杂信息处理”这个词,以至他们发明的语言就叫 IPL(Information Processing anguage)。他们从某种意义上说偏功能学派,也就是说找到智能的功能不一定非得依靠结构相同或相似。图灵机和递归函数等价,但结构完全不同,所以他们强调“信息处理”。他们俩一开始颇不喜“人工智能”几个字。 1958 年,在英国国家物理试验室(NPL)召开了“思维过程机器化”(Mechanization of Thought Process)会议,达特茅斯会议的与会者麦卡锡、明斯基、塞弗里奇都参加了,此外还有致力于神经网络研究的麦卡洛克,以及英国的控 制论代表人物阿什比。两位编程语言的先驱也出席了:巴克斯(John Warner Backus)发表了一篇关于他新发明的语言 Fortran 的论文,但他后来一直是函数式语言的倡导者;美国海军女少将哈泊(Grace Hopper)的文章是讲第一个编译器的,这项工作导致了 COBOL 语言的诞生。中国也有女少将,也是码农。俩论文的题目里都有 Automatic Programming 的说法,这在当时就是指高级语言编程,不能和后来人工智能中的自动编程搞混了。这次会上有人再提“人工思维”(Artificial Thinking)的说法。司马贺等人由此也逐渐接受了 AI 的说法,他晚年还写了本书《人工的科学》,倒是把 Artificial 这个词更加放大了 。