069-76220990
069-76220990
时间:2024-11-04 点击数:
2006年,会议五十年后,当事人重逢达特茅斯。左起:摩尔,麦卡锡,明斯基,赛弗里奇,所罗门诺夫 背景 现在一想起人工智能的起源,普遍认为是1956年的达特茅斯会议。殊不知还有个前戏:1955年,美国西部计算机牵头大会(Western Joint Computer Conference)在洛杉矶开会,不会中还套了个小会:学习机讨论会(Session on Learning Machine)。
讨论会的参加者中有两个人参与了第二年的达特茅斯会议,他们是里斯弗里奇(Oliver Selfridge)和纽厄尔(Allen Newell),里斯弗里奇公开发表了一篇模式识别的文章,而纽厄尔则探究了计算机对局,他们分别代表两派观点。讨论会的主持人是神经网络的鼻祖之一皮茨(Pitts),他最后总结时说:(一派人)企图仿真神经系统,而纽厄尔则企图仿真心智(mind)但殊途同归。皮茨眼可真毒,这伴随了人工智能随后几十年关于结构与功能两个阶级、两条路线的斗争。
开聊达特茅斯会议之前,再行说道六个最涉及的人。首先,会议的开会者麦卡锡(John McCarthy)当时是达特茅斯学院的数学系助理教授。两年前(1954年)达特茅斯数学系同时有四位教授卸任,这对达特茅斯这样的小学校感叹不能忍受之重。刚刚离任的年长系主任克门尼(Kemeny)之前两年才在普林斯顿逻辑学家丘奇(Church)门下得了逻辑学博士,于是跑到母校求救。
这么说道一起,克门尼却是图灵的师弟,他战时和物理学家费曼一起工作,还一度当过爱因斯坦的数学助理,后来一头恰在计算机里,和麦卡锡一起木村出有了分时系统,但他尤为人知的工作应当是老少咸宜的编程语言BASIC。现在估算早已没有人告诉BASIC语言发明人曾是LISP语言发明人的老板。
克门尼是天生的官僚,后来位列达特茅斯的校长,美国三里岛核电站事发,总统委托他当调查委员会主席,这是后话。克门尼从母校数学系送回了刚毕业的四位博士前往任教,麦卡锡是其中之一。
麦卡锡后来发明者的LISP语言中最重要功能Eval实际就是丘奇的lambda逻辑,而且他后半生致力于用数理逻辑把常识一般化,大家由此猜中他有可能也是丘奇的学生,但只不过不是,他压根学的就不是逻辑。他的老师是丧失双手的代数拓扑学家所罗门莱夫谢茨(Lefschetz)。
但麦卡锡对逻辑和计算出来理论仍然有反感兴趣,他1948年刚刚到普林斯顿读书研究生时就了解了冯诺伊曼,在杨家冯影响下开始对在计算机上仿真智能再次发生兴趣。 会议的另一位有影响力的参加者是明斯基。他也是普林斯顿的数学博士,和麦卡锡在读书时就熟识。
他的主业也不是逻辑,尽管他后来写出过计算出来理论的书,还培育过好几个计算出来理论的博士,其中就有图灵奖获得者布鲁姆(Manual Blum)。布鲁姆目前和他老婆(就是实数计算出来模型BSS的B)、儿子一家三口都在卡内基梅隆大学任教。明斯基的理论情结和丘奇关系也并不大,他的老师塔克(Tucker)是莱夫谢茨的学生,主要做非线性规划和博弈论,多年兼任普林斯顿数学系主任,是数学世家,儿子、孙子也都是数学家。
所以按辈分论,麦卡锡还是明斯基的师叔。塔克的另一名出众的学生后来得了诺贝尔经济学奖,就是心灵美丽的纳什。
纳什比明斯基小一岁,但比他早于四年获得博士,也却是明斯基的师兄。明斯基的博士论文做到的是神经网络,他在MIT一百五十周年纪念会议上回忆说是冯诺伊曼和麦卡洛克灵感他做到了神经网络。有人还去找过他困难,批评说道神经网络的研究算数数学吗,倒是杨家冯力挺说道:现在远比,但迅速就得算。倒是明斯基自己后来和神经网络结为梁子,那段故事闻我的《想要啥来啥和不吃啥调补啥的人工智能之争》(《东方早报上海书评》2014年9月28日)。
里斯弗里奇被后人提到不多,但他感叹人工智能学科的先驱,他在MIT时仍然和神经网络的首创人之一沃伦麦卡洛克(Warren McCulloch)一起在维纳手下工作,他是维纳最喜欢的学生,但从未读过博士,维纳《生物学》一书的第一个读者就是里斯弗里奇。里斯弗里奇是模式识别的奠基人,他也写出了第一个可工作的AI程序。他后来在麻省理工参予领导MAC项目,这个项目后一分为二:MIT计算机科学实验室和人工智能实验室,分久必合:现在这俩地方又拆分了,变为MIT CSAIL。偷偷地给女读者添点漆:里斯弗里奇的爷爷就是英国第二大百货店塞尔福里奇(Selfridges)的创始人,塞尔福里奇百货和隔壁的哈罗德百货承托着牛津街的零售业,现在大约一半顾客来自中国二线城市。
本文来源:雷火·竞技-www.kuloitsuki.com