前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >图灵奖10(上篇) 艾伦·纽厄尔 人工智能符号主义学派的创始人

图灵奖10(上篇) 艾伦·纽厄尔 人工智能符号主义学派的创始人

作者头像
ACM算法日常
发布2022-01-06 20:21:57
1.2K0
发布2022-01-06 20:21:57
举报
文章被收录于专栏:ACM算法日常ACM算法日常

原作者:Herbert A. Simon

译者:dansen

1992 年 7 月 19 日,艾伦·纽厄尔 (Allen Newell) 死于癌症,人工智能领域失去了一位杰出的科学家,他一生站在这个领域的最前沿。职业生涯的提前结束,丝毫没有减弱他的研究动力。他工作的历史在一定程度上也是我的历史,四十年的友谊和近二十年的合作,以及和已故同事克利夫 · 肖的历史。我将努力使这个叙述以艾伦为中心,并且不过分介入。如果我偶尔没做到这点,希望能得到原谅。

如果你问艾伦 · 纽厄尔他是干什么的,他会说: "我是一名科学家。"在他成年后的每一天,他几乎每时每刻都在扮演这个角色。他会如何回答"是什么样的科学家?"这个问题。我们人类长期以来一直痴迷于四大问题:物质的本质,宇宙的起源,生命的本质,思想的运作。艾伦 · 纽厄尔一生的工作就是回答这些问题中的第四个。他是一个不仅有梦想,而且还是实现梦想的人。他对人类的思维有着远见卓识。他一生都在扩大这个愿景,塑造它,并将其具体化为一系列计算机程序,这些程序展示了他们所解释的智能。

职业生涯

1991 年 12 月,也就是他去世前七个月,他在卡内基梅隆大学就他的研究策略和历史进行了一次非凡的演讲,艾伦将他的职业描述为一心一意地理解人类思想,但他也承认有四五个"消遣"偏离那个目标------几乎所有这些都产生了自己的主要科学产品。这些"消遣"包括他与 Gordon Bell 在计算机硬件架构方面的工作,与 Stu Card 和 Tom Moran 在人机交互心理学方面的工作,在 ARPA 语音识别研究项目中的顾问角色,以及他在在卡内基梅隆大学建立计算机科学,并在该大学创建了开创性的计算机网络的工作。

从 1955 年秋天开始,艾伦的工作一直致力于将计算机模拟,用作理解和模拟人类思维的关键工具。在产生了逻辑理论家、通用问题解决者和 NSS 国际象棋程序的活动后,他越来越专注于识别和克服这些模型的局限性和不灵活性,这些局限性和不灵活性阻碍了它们扩展到完全一般的心智理论. 他的最后一本书《统一认知理论》记录了他和其他人在三十多年来朝着这种普遍性取得的巨大进步,在他生命的最后十年里,这些进步主要集中在他和他的同事建立的 Soar 系统上。

开篇

Allen Newell 于 1927 年 3 月 19 日出生于旧金山,是斯坦福医学院杰出放射学教授 Robert R. Newell 博士和 Jeanette Le Valley Newell 的儿子。有一个姐姐。他的父亲为他的儿子树立了一个重要的榜样。在一次采访中,艾伦曾经这样评价他:"他在很多方面都是一个完人......他在山上建了一个小木屋......他会钓鱼、淘金。同时,他是一个知识分子......在我成长的环境中,他是一个伟人。他非常理想主义。他曾经写过诗。"

艾伦的童年很平静,许多夏天都是在内华达山脉父亲建造的小木屋里度过的。艾伦对山区的热爱从未减弱,他早期的抱负是成为一名护林员。由于对运动的热爱,再加上他 6 英尺 1 英寸的身高和健壮的体格,导致了他参加高中橄榄球队。他谈到自己的高中生涯:"艾伦是一个特别的学生,尽管有些人似乎认为他很聪明。他去了洛厄尔高中------旧金山的知识型高中------在那里他开始学习。他在 16 岁时与同学诺埃尔·麦肯纳坠入爱河,并在战术上尽快与她结婚(20 岁)。"这段婚姻表明,艾伦和诺埃尔即使在很小的时候也是出色的决策者,

艾伦在第二次世界大战即将结束时从高中毕业,在一个造船厂工作了一个夏天,然后加入了美国海军。尽管与他的父亲关系密切,并且结识了许多是家人朋友的科学家,但直到那时,他还没有打算从事科学事业。他说,接受科学作为他的职业,相当突然,当他在一艘载有科学观察员参加比基尼核试验的美国海军舰艇上服役,并分配了绘制环礁辐射分布图的任务时,他为科学事业感到兴奋。

在海军服役结束后,艾伦就读于斯坦福大学,主修物理学。本科研究导致他发表了第一篇关于 X 射线光学的论文(Newell 和 Baez,1949 年)。斯坦福大学还在课堂上让他认识了乔治·波利亚,他不仅是一位杰出的数学家,也是一位有思想的学生。波利亚广为流传的书《如何解决它》出版于 1945 年,向许多人(包括我)介绍了启发式发现的艺术。艾伦从那次经历中走出来,意识到发现的过程是可以调查和分析的,启发式、引导搜索的艺术------在创造性思维中起着关键作用。(我们对启发式的共同迷恋使得艾伦和我在 1952 年初第一次会面时快速建立共同点。)

兰德

普林斯顿大学攻读数学一年(1949-50 年)并接触了不久前由冯·诺依曼和摩根斯坦发明的博弈论,这让艾伦确信,与纯数学相比,他更喜欢实验和理论研究的结合。离开普林斯顿后,他在圣莫尼卡当时的新智库兰德公司找到了一个职位,该团队正在研究空军的后勤问题。他与 Joseph B. Kruskal 合著的两份技术报告《组织理论模型》和《在组织理论中制定精确概念》表明他当时对将形式方法应用于复杂经验现象的兴趣。两篇论文都采用了当时在博弈论和经济学中流行的公理化风格。

由空军于 1952 年资助的努力促成了兰德系统研究实验室的创建(最终拆分为系统开发公司)。研究的核心是记录和分析机组人员与雷达屏幕、拦截飞机以及彼此之间的互动。这些数据关注机组成员的信息处理和决策过程,并寻找一种适当的技术来分析和建模过程。当我成为实验室顾问时,我遇到了艾伦,在我们初次会面的最初几分钟,他和我在信息过程研究中找到了共同点,作为理解组织中人类决策的途径。

Allen 在该项目中的一项特殊职责是找到一种方法来模拟空中交通的雷达显示,因为实验室没有可用的技术来制作适当的模拟光点在雷达屏幕上移动时的模式。在寻找替代计算方法的过程中,艾伦遇到了兰德系统程序员 Cliff (JC) Shaw,然后他开始使用 Card-Programmed Calculator,这是一种史前设备,它出现在第一台存储程序计算机之前。艾伦和克里夫构想了让 CPC 计算连续的空中图片并打印出模拟雷达图的想法。这不仅提供了所需的实验室模拟,而且还向 Al 和 Cliff 证明了计算机,甚至是史前计算机,可以做的不仅仅是算术:

现在,艾伦实现理解人类思维目标的两个先决条件已经到位。他清楚地将信息处理视为组织中的一项核心活动,并且他在符号计算方面有过经历。第三个先决条件来自与约翰·冯·诺依曼于 1954 年左右在兰德公司建造的存储计算机的接触。

此时控制论和人工生命的思想在国外。W. Ross Ashby 于 1952 年出版了他的《大脑设计》。英格兰的 W. Gray Walter (1953) 建造了一些机械"海龟",当它们的电池电量不足时,它们会在房间里四处游荡寻找墙上的插座,兰德的 Merrill Flood 小组也制造了类似的生物。到 1950 年,图灵和香农都描述了计算机国际象棋的策略,1952 年描述了一个扩展香农思想的程序。1954 年夏天,在一次观看空军演习的汽车旅行中,艾伦和我详细讨论了使用计算机模拟人类解决问题的可能性。

承诺

1954 年 9 月,艾伦参加了兰德公司的一个研讨会,林肯实验室的奥利弗·塞尔弗里奇描述了一个正在运行的计算机程序,它学会了识别字母和其他模式。在听塞尔弗里奇描述他相当原始但有效的系统时,艾伦经历了他一直所说的"转换体验"。他立刻就明白了"可以构建比以往任何事情都复杂得多的智能自适应系统。" 艾伦已经掌握的关于计算机(包括它们的符号能力)、启发式、组织中的信息处理、控制论和国际象棋程序的知识,在添加了一个具体演示,以证明计算机模拟复杂过程的可行性。就在那时,他致力于通过模拟来理解人类的学习和思考。

在塞尔弗里奇访问之后的几个月里,艾伦写道(1955 年)"国际象棋程序是处理复杂任务的例子",其中概述了计算机程序以人的方式下棋的富有想象力的设计,有目标,有结束、"足够好"的移动、多维评估函数、实现目标的子目标的生成,以及诸如最佳优先搜索之类的东西。有关棋盘的信息将用类似于谓词演算的语言象征性地表达。该设计从未实施,但后来从中借鉴了一些想法,用于 1958 年的 NSS 国际象棋项目。

逻辑理论家和列表处理

甚至在他"改变"之前,艾伦就已经计划在 1955 年初与妻儿一起搬到匹兹堡,与我一起从事组织研究工作,并获得博士学位,兰德公司同意继续聘用艾伦。这个计划得到了适当的执行,但有一个关键的改变,研究变成了对国际象棋进行编程。兰德公司的克里夫·肖与我们一起工作,该程序将在兰德公司的Johnniac机器上运行。由于各种技术和偶然原因,国际象棋很快变成了几何学,几何学变成了逻辑学,发现命题演算中定理证明的逻辑理论机 (LTM) 于 1955 年 12 月 15 日作为模拟出现,1956 年夏天成为一个正在运行的程序。

与此同时开发了一种足以实现设计的编程语言------信息处理语言 (IPL),这是第一个用于计算机的列表处理语言。可以说,LTM 及其继任者 General Problem Solver 为接下来十年的大部分人工智能程序奠定了基础。执行某种复杂任务的计算机程序比口头讨论思想具有更大的说服力。

LTM 不是"演绎机器"------事实上,它逆向工作,归纳地,从假设定理到公理。发现证据很像发现任何其他事物,是一个选择性搜索的过程。

尽管这项工作被纳入了艾伦的博士论文,但我从未将他视为我的"学生"。Allen、Cliff 和我是研究合作伙伴,每个人都将他的知识贡献给一个完全联合的产品。艾伦到达匹兹堡时,已经从事了五年的科学工作,他需要同事而不是老师。我并不是说他没有学习------他的一生从未停止成长和学习------但他像科学家一样从每个人和他们周围的一切事物中学习,尤其是从自然观察中学习。

为什么这项特殊的工作吸引了许多有能力的科学家的努力,为什么变得非常引人注目和有影响力?其影响的一个基本要素是实际运行的程序。此外,LTM 及其继任者并非针对单一任务。具体程序是解决一般问题的步骤:理解人类的思想。该策略在 LTM 上的第一篇出版物中明确说明:"在本文中,我们描述了一个复杂的信息处理系统......能够发现符号逻辑中定理的证明。这个系统,与系统算法......相反,通常使用在计算中,很大程度上依赖于类似于人类解决问题的启发式方法。该规范是用一种形式语言编写的,具有伪代码的性质。. . 用于数字计算机。. . . 逻辑理论机器是通过指定和大量研究来理解复杂信息处理系统计划的一部分"。

应有尽有:复杂信息处理、符号计算、启发式方法、人类问题解决、编程语言、经验探索。这些是 1955 年和 1956 年卡内基-兰德集团基础研究战略的组成部分,这些战略继续指导 Allen Newell 的整个职业生涯的科学工作。这让他不断地识别和诊断他构建的程序的局限性,并思考可以消除这些局限性的架构,这使他在过去十年中获得了飙升------不是作为最终答案,因为他知道在科学上没有最终答案。

第一次成功

1955 年之后的大约五年时间里,Newell-Shaw-Simon 团队在越来越多的研究生圈子的帮助下,推动了 LTM 和 IPL 编程语言开辟的研究思路。Allen 参与的主要推动力包括大声思考协议、通用问题解决、信息处理语言和生产系统、NSS 国际象棋程序和人类问题解决。直到 1961 年,他一直在兰德公司(匹兹堡)工作;同年,他接受了卡内基理工学院的聘任为研究所教授。

一般问题求解器 (GPS)

1957 年夏天,在卡内基理工学院关于组织行为的研讨会上,艾尔和我从解决逻辑问题单一主题的协议中提取出解决人类问题的关键机制:手段-目的分析(means-ends)。在 ME 分析中,问题解决者将当前情况与目标情况进行比较;发现它们之间的差异;在记忆中发现经验所教的操作员减少了这种差异;并应用运算符来改变这种情况。重复此过程可能会逐渐实现目标,尽管通常无法保证该过程会成功。

ME 分析的想法催生了 General Problem Solver(Newell、Shaw 和 Simon,1960 年),该程序可以在提供问题后解决多个域中的问题,操作符可以通过空间,以及有关哪些运算符与减少哪些差异相关的信息。该研究还发现了一些方案,允许 GPS 从一小组原语中生成自己的算子,并了解哪些算子与减少哪些差异相关。

信息处理语言 (IPLS)

人工智能中的 IPL 语言及其当代数值计算中的 FORTRAN 一劳永逸地解决了高级语言编程。IPL 旨在满足灵活性和通用性的需求:灵活性,因为在这些类型的计算中不可能在运行时间之前预测需要什么样的数据结构以及它们需要什么样的内存分配;通用性,因为目标不是构建可以解决特定领域问题的程序,而是发现和提取可以在一系列领域上运行的通用问题解决机制,只要它们为每个领域提供了适当的定义。

---

为了实现这种灵活性和通用性,IPL 引入了许多已成为一般计算机科学基础的思想,包括列表、关联、模式、动态内存分配、数据类型、递归、关联检索、作为参数的函数和生成器(流)。IPL-V 手册(Newell,1961)利用该语言的封闭子程序结构,提倡一种编程策略,多年后将作为结构化编程------主要是自上而下的编程,避免了go-to。LISP 由 John McCarthy 于 1958 年开发,它将这些列表处理思想嵌入到 lambda 演算中,改进了它们的语法并结合了"垃圾收集器"来恢复未使用的内存,很快成为人工智能 (AI) 的标准编程语言。

生产系统语言 (OPS5)

Allen 并未将 IPL 或其后继者视为处理 AI 程序问题的最终解决方案。使用 General Problem Solver 的经验表明,程序倾向于钻入连续子目标的深坑中,而栈顶程序无法重新获得控制权。摆脱困境的方法在 1960 年代中期开始以生产系统语言的形式出现,由 Bob Floyd 和其他人引入计算以帮助编译编译器。在生产系统中,语言中的每条指令都采用条件的形式,后跟一个动作:"IF [如此] THEN [这样做]。" 完全通用的编程语言可以在这个计划上构建。

Carnegie-RAND 小组在生产系统语言中看到了控制问题的解决方案,Allen 领导了一系列此类语言的开发,其中最著名和最广泛使用的是 OPS5。OPS5 反过来为 Soar 系统提供了核心思想。出于对程序控制问题的关注,我们几乎同时开发的一组密切相关的想法导致了一个分散的系统,在该系统中,独立进程将信息添加到公共存储器("黑板")并从中获取所需的信息。黑板思想已在语音识别、视觉程序等领域得到广泛应用。

国际象棋:NSS 程序

Carnegie-RAND 小组的第三个主要实质性产品是一个名为 NSS 的国际象棋程序,它是其作者的首字母(Newell、Shaw 和 Simon,1958 年)。它不是第一个被实施和运行的国际象棋程序(亚历克斯伯恩斯坦等人完成程序稍早一些),也不是一个非常强大的棋手:正如人工智能批评者喜欢指出的那样,它曾经被一个十岁的孩子击败。批评者未能理解的是它的目的:展示由启发式和高度选择性搜索如何在复杂任务中实现智能行为。

解决人类问题

随着 LTM、GPS、列表处理语言和生产系统以及 NSS 的完成,Al、Cliff 和我开始越来越多地与其他同事和研究生合作进行单独的项目。艾伦和我共同承担的最后一个项目是总结我们在人类问题解决中对问题解决的研究------《实验、模拟和理论》 ,于 1972 年出版。密切合作的逐渐停止,这从我们 1975 年的图灵奖演讲(纽厄尔和西蒙,1976 年)和每周或更频繁的对话中可见一斑,这些对话一直持续到艾伦去世前几天,但随着我们每个人与不同的研究生和教职员工互动,建立我们的研究策略。

认知架构

从Allen研究早期阶段到后来,艾伦越来越关注计算架构和智能背后的控制结构建模。

架构是一组固定的机制,它允许获取和使用内存中的内容来指导追求目标的行为。实际上,这就是硬件-软件的区别。. . . 这就是心智计算理论的本质。(纽厄尔,1992 年,第 27 页)

RAND-Carnegie 小组对灵活性和通用性的早期关注以及在该小组发明的编程语言中实现这些特性的关注已经被注意到。这些语言成为支持 AI 程序底层结构的一部分,预计其他人会在后来的努力中将列表处理嵌入到实际的物理硬件中。这些语言还将心理学研究揭示的人类记忆的一些特征内置到人工智能系统中,例如,体现在列表和图式中的联想结构以及刺激-反应连接的类似生产特征。

未解决的架构问题

但重要的架构问题仍未解决。GPS 的经验强调了控制结构对于保持问题解决系统正常运行的重要性,既不将其精力分散在随机搜索中,也不沿着狭长的路径走,而这些路径在浪费了很多精力之后往往会导致死胡同。对这些问题的关注可以追溯到艾伦从 1960 年代初期开始并贯穿其大部分职业生涯的一系列出版物:"问题解决程序中基本组织的一些问题"(1962 年)、"学习、一般性和问题解决"(1963 年),"寻求普遍性"(与 G. Ernst,1965 年),"当前解决问题的想法存量的局限性"(1965 年),"关于问题的表示"(1966 年)," "对刺激编码机制的理论探索"(1972 年)、"生产系统:控制结构模型"(1973 年)和"梅林如何理解?" (基于匹配的"统一"架构的描述)(与 J. Moore,1974 年);然后,在大约八年的间隔之后,"通过分块学习:任务和模型摘要"(与 PS Rosenbloom,1982 年)和"通用弱方法"(与 J. Laird,1983 年)------这最后两个论文是对后来成为 Soar 系统的关键组成部分的早期描述,该系统占据了艾伦生命的最后十年。

梅林计划

MERLIN 是大约在 1967 年创建的程序,最初是尝试构建一种教学工具,但后来成为构建具有理解力的系统。"MERLIN最初的构想是出于对 AI 课程构建辅助程序的兴趣。使其易于构建和使用简单的...... AI 程序实例...... 转化为......构建一个能够理解人工智能的程序------能够解释和运行程序,提出和回答问题......目的是构建一个知识领域的理解系统。"

构建 MERLIN 的基本思想是类比和匹配:"从代表 MERLIN 所知道的结构构建地图,这是 MERLIN 试图理解的结构。" 在实现这一目标的过程中困难重重,以至于 Newell 认为 MERLIN 是失败的,没有达到其实际目标,也没有产生对其他领域产生影响。它在一篇已发表的文章中进行了描述。许多创新的 AI 想法都嵌入在 MERLIN 中,但 Allen 不愿意在构建一个完整的系统之前发布它们。

消遣

艾伦描述为他的"消遣"工作包括对计算机硬件结构的研究、对语音理解的研究以及对人机交互的研究。稍后我将提及以机构构建活动形式存在的其他消遣。

计算机结构

一个对程序深感兴趣的人会对计算机硬件体系结构感兴趣,这也许并不奇怪,艾伦就是这样做的。然而,他认为他在这个主题上的工作是从他的主要目标的支线,该工作始于戈登贝尔在 1968 年左右受邀合作编写一本关于计算机系统的书。模拟人类思维的策略不依赖于计算机体系结构和大脑体系结构之间的任何相似性假设,即两者都是物理符号系统,因此可以对计算机进行编程以使其表现得像大脑。然而,所有计算都存在一些基本的架构问题,这些问题在硬件和软件的各个层面都表现出来,例如,

Newell 和 Bell 在两个层次上描述体系结构:

(1) 系统级的内存、处理器、开关、控制、传感器、数据操作符和链接(PMS 语言)

(2) 指令级的指令集(ISP语言)的详细操作。他们的著作《计算机结构:阅读和示例》于 1971 年出版,使用 PMS 和 ISP 语言来表征大量计算机。

与 Bell 的合作使 Allen 参与了其他有关计算机和软件系统的项目,直到 1982 年左右,他的许多出版物用于这些项目。在 1970 年 到1971 年间,Newell、McCracken、Robertson 和其他人构建了一种语言 L*,旨在为系统程序员提供一个有助于构建操作系统和用户界面的内核。

1972 年,结合我们组织的人工智能研讨会,纽厄尔、罗伯逊和麦克拉肯建立了一个开创性的分层菜单系统,让研讨会参与者可以访问各种人工智能程序的演示。

几年后的 1978-82 年,使用新的触摸屏技术,这个想法发展成为超媒体 ZOG 系统,该系统成为访问新下水的航空母舰卡尔文森号的工具。Allen 的其他计算机和系统设计包括在 1971 年左右与计算机科学系的同事在 C.mmp 和在那里设计的其他并行硬件和软件系统的工作。

言语理解

艾伦在 1970 年代的另一个重大转移是因为 ARPA 对启动自动语音识别程序的可能性感兴趣。特别是因为他不是一个积极的语音研究人员,因此站在一个中立的角落,艾伦被要求主持一个研究小组,该小组 1971 年的报告构成了一项主要 ARPA 研究工作的基础。艾伦随后成为该项目指导委员会的主席,并在 1975 年和 1977 年提交了一份进度报告和最终评估。他在演讲中的角色既说明了他在行业中的地位,也说明了他愿意为人工智能的发展承担"公民"责任。

人机交互

施乐 PARC 实验室于 1970 年成立时,艾伦询问了其研究程序,提出了一个将心理学理论应用于人机交互,特别是计算机界面设计的项目。从 1974 年开始,Allen 和他以前的两个学生 Stu Card 和 Tom Moran 开始将现有的心理数据汇总在一起,检查它们的规律性(例如菲茨定律和学习的幂律),构建了一个工程级的模型用于常规认知技能(模拟人类处理器)和方法论"GOMS",代表目标、操作符、方法和选择,用于根据执行任务所需的基本过程分析新任务。这项工作汇集在《The Psychology of Human-Computer Interaction》 中。

尽管从某种意义上讲,他的主要关注点有所转移,但施乐 PARC 的活动使艾伦从对计算机的全神贯注转向了对人类心理结构的关注。此外,对整个人工任务建模的要求要求团队根据广泛的、统一的理论进行思考。从这个意义上说,该项目是朝着 Soar 系统迈出的第一步,该系统的规划始于 1970 年代后期,当时人机交互书籍尚未出版。

SOAR系统

艾伦开始怀疑缺乏实验证据是认知心理学的限制因素。他认为,已经存在足够的数据来确定构建大部分大脑结构。此外,进一步的实验工作只有在不以特殊的微观理论为指导,而是以广泛的理论框架为指导的情况下,才是目标明确和有用的。在他的最后一本书《统一认知理论》(Unified Theories of Cognition,1990 年)中,他以 1987 年在哈佛的威廉詹姆斯讲座为基础,呼吁使用此类理论,并以 Soar 为模型绘制了此类理论的轮廓。

当仔细观察现有的统一理论时,可以看到每个理论都是围绕核心认知活动构建的,然后将其扩展到处理其他认知任务。在安德森法案中,核心是语义记忆;在 EPAM 中,感知和记忆;在联结主义模型中,概念学习。在 Soar 和 GPS 中,核心是解决问题。Soar 程序是一个生产系统。除此之外,还添加了与研究生合作开发的两个关键组件:通过组块学习(Rosenbloom 和 Newell,1982),它产生了遵循经验观察到的幂律的各种学习,以及通用弱方法。

分块学习源自之前的 AI 工作,以块为单位进行记忆组织,并通过自适应生产系统(创建和同化新产品的系统)进行学习。Soar 的新功能是使用这种机制作为唯一的学习机制,并证明它既强大又符合学习的幂律。

解决问题的通用弱方法包括在每一步找出哪些算子是可执行的;如果没有或不止一个,则宣布陷入僵局,并移至具有新子目标的新问题空间以解决僵局。这个过程概括了问题空间的概念,并为它们之间可能的关系建立了一致的语义。

Soar 项目在 1980 年代和 1990 年代继续发展,卡内基梅隆大学和其他地方(包括密歇根大学、南加州大学信息系统研究所和几个欧洲站点)的活跃参与者数量稳步增加。这项工作旨在扩展和加强基本的 Soar 架构,同时展示其处理范围更广的任务的能力,包括语言理解、复杂问题的解决,甚至是密码学。系统的范围可以从他的《统一理论》一书中看到,并且今天在许多方面依然有效。

虽然预测 Soar 与"终极"统一认知理论之间有什么相似之处是危险的,但很明显,艾伦将他的所有精力都投入到 Soar 中的策略激起了人们对构建的兴趣。广泛的理论涵盖了广泛的认知过程,并在认知科学上留下了重要的永久印记。

科学政治家

很难将艾伦所花费的时间归类为他的消遣还是他的工作一部分。从他在兰德公司工作的那一刻起,他就敏锐地意识到科学进步依赖于容纳和滋养它的机构。在兰德任职的最初几年,他认为智囊团是未来首选的研究机构,但他逐渐相信大学具有自我更新的能力,而这在独立实验室中很难维持。这种信念使得他 1961 年决定从兰德转到卡内基理工学院任教。

艾伦在他所在的每一个组织环境中都发挥了重要的领导作用:兰德、卡内基梅隆大学的计算机科学系(后来的一所学校)、整个大学、国家和国际计算机科学研究社区。总的来说,他不是通过担任正式的行政职位来做到这一点,而是通过承担特定的任务并作为一个非常活跃和备受重视的老政治家来做到这一点。正如我所说,他一生都是"长老"。

计算机科学系

当我们第一次将计算机带到卡内基梅隆大学时,艾伦还是一名博士生。到 1961 年,当一个非正式的计算机科学研究生课程由四个部门相互协商成立时,Allen 与 Perlis 和我一起成为推动其发展的主要人物,然后创建一个计算机科学系,深入参与课程决策和设备采购。

与当时的心理学系主任伯特格林一起,艾伦在获得该系认知科学研究的第一笔研究资助方面发挥了重要作用。他是最初与艾伦·佩利斯(Alan Perlis)一起获得大量 ARPA 赠款的主要人物,这些赠款为为全国领先的计算机科学部门之一提供了核心资金。在接下来的 25 年或更长的时间里,艾伦通过他的研究、教学、对研究生的指导以及参与政策,在这两个系中都发挥了重要作用。

校园网络

大约从 1972 年起,计算机科学系成员使用 ARPA 网络的经验使社区确信,电子通信网络不仅对系内而且对大学都是必不可少的。在该部门说服大学管理部门后,艾伦同意担任特别工作组的主席,该工作组被任命一项计划并教育校园社区了解其潜力. 1982 年 2 月,该工作组发布了其报告《卡内基梅隆大学计算机的未来》. 与IBM达成合作设计和安装系统的协议,CMU的校园网络系统------全国第一个------应运而生。

ARPA

从一开始,人工智能和人类思维模拟就一直是争议的焦点,这引起了那些认为机器思维的想法令人难以置信或具有威胁性的人的怀疑和愤怒。关于资助人工智能研究的决定不可避免地卷入了这场关于其价值的争论中,而 ARPA 对计算机科学特别是人工智能的支持在漫长而风雨飘摇的历史中不时受到攻击。

艾伦一生的很大一部分时间,花在为卡内基梅隆大学的计算机科学准备研究提案和预算辩护,以及参与 ARPA 规划练习以及向更广泛的科学界解释人工智能和认知科学研究。这也是科学机构建设的正常部分,但不是令人愉快的部分。艾伦虽然憎恨在这些职责中浪费的时间,但从不推卸责任。然而,他(和我的)的信念是,行动比说更重要:从长远来看,人工智能和认知模拟的命运,将不会由哲学家的辩论来决定,而是通过我们构建程序的成功或失败,这些程序可证明模拟人类思维过程,从而为人类思维过程提供理论解释。

认知科学与 AAAI

专业组织在科学机构中很重要,艾伦也在其中发挥了他的作用。被选为美国人工智能协会首任主席,并获得国际人工智能联合会议颁发的首届卓越研究奖,让他引以为豪,但毫不意外。

艾伦这个人

从字面意思来看,艾伦·纽厄尔是一个令人难忘的人。我将根据我在自传 (Simon, 1991) 中记录的我自己的印象在此画出来,并在后面加上一些熟悉他的人的评论。

1952 年我在兰德第一次见到艾尔时,他 25 岁,完全有资格在任何一所大学任职------充满想象力和技术。. . . 他的能量惊人,完全致力于科学,而且他对重要(和困难)的问题有着准确无误的直觉。如果这些言论表明他聪明且傲慢,那么它们并没有误导。

如果想像力和技术造就了科学家,但从艾尔身上我学会了我们还必须加上钱。. . 如何在研究计划中定位小数点。. . . 从大处着眼是艾尔整个研究生涯的特点,不是为了大而大,而是根据任务的需要从大处着想。. . .

从我们最早的合作开始,Al 的工作时间就很糟糕。我的. . 意思是. . 他在错误的时间工作。. . . 他更喜欢晚上八点开始工作,几乎一直持续到黎明。

也许是他最大的乐趣。. . 是一种"紧急情况",需要他熬夜或连续工作两夜。我记得 1954 年我们访问马奇空军基地时他欣喜若狂,当时空中演习持续了整个周末,每天 24 小时。

艾伦很认真,但并不严肃。他经常会有一些奇思妙想,也喜欢笑。有时令人单调的生活不是缓慢的进行曲,而是生动的戏剧,他在表演中表现出才华横溢,非常清楚自己正在产生的戏剧效果。

正如 Cliff Shaw 回忆的那样:"AI给我最深的印象是他精力充沛且有才华。我们会长时间的进行电话通话和电传打字机会话。我们会在 Al 的家中进行会议到深夜. 我觉得我跟在他后面,试图让 Johnniac 做我们已经知道可以做的事情。有了 Al ,他有 IPL-V和附带的编程语言。"

很久以后,一位研究生说:"艾伦·纽厄尔不是我的导师......也不是我论文委员会的成员。但艾伦仍然塑造了我的想法:从他那里我越来越了解研究是什么。通过他我了解如何朝着我的研究目标工作......很快,我最初感到的惶恐......转变为钦佩、友谊和尊重。" 这份在他的追悼会上给出的证词可以被他的同事重复几十次------从正教授到新研究生。在对待学生的过程中,他很有耐心,他的批评是有建设性的,他从不发脾气。如果他作为导师有任何缺点(谁没有?)他有时会为他们提供更多的见解,而不是对他们有益的研究问题。

他处理的每一件事都充满活力和深度------无论是他当前的研究问题,还是学生或访客向他的咨询。事实上,正是这种无法困难的问题,才使艾伦转移较多的注意力,使他在相当长的一段时间内无法从事主要研究工作。但他以与处理主流任务相同的愉快热情和快活来处理分流。很难回忆起纽厄尔的乏味表现,无论是公开演讲、办公室谈话,还是对自言自语协议的分析。

我没有说艾伦的家庭生活或休闲。诺埃尔和艾伦与他们的儿子保罗组成了一个关系密切的家庭。由于他的大部分工作都是在家里的电脑上完成的,他根本不是一个缺席的丈夫或父亲,尽管他的马拉松工作周,他仍然与家人分享他的活动。Newells 喜欢招待他们的朋友,他们中的大多数来自 CMU 或其他学术团体。内向或外向不适合用于描述艾伦。他在书房里工作很长时间,但他花大量时间与其他人相处------通常是从事专业工作。

几乎没有证据表明,也没有时间从事与他的工作无关的更简单的休闲或爱好。他经常出国旅行,通常是和诺埃尔一起旅行,但主要是参加专业会议,只是偶尔他会在这些旅行中增加几个假期。在他生命的最后,我了解到------令我惊讶的是,他经常看周日下午(或者是周六下午?)电视足球比赛,也许有点怀旧他高中运动的日子。

用艾伦·纽厄尔 (Allen Newell) 在 1991 年 12 月的"欲望与消遣"(Desires and Diversions) 演讲中提出的献给这位敬业科学家的格言作为结束语是恰当的,因为这些格言描述了他自己的生活:

每一个科学家的生活,都有自己的风格;每一种风格都定义了一种生活。

科学在于细节。

要在领域 X 工作,您必须是 X 领域的专业人士。

没有什么可以替代努力工作------非常努力。

科学家是从自然到理论的转换器;寻找自然,倾听她的声音。

科学问题选择你;你不选择它。

新事物从进化或变化开始,而不是设计。

一切都必须等到时机成熟;科学是可能性的艺术。

解决任何需要解决的问题;但不要被他们引诱。

深刻的科学思想极其简单;其他人通常认为它们是微不足道的。

在最后:选择一个比你的生命更长久的项目。

对于艾伦来说,Soar 就是那个项目。

本文参与 腾讯云自媒体分享计划,分享自微信公众号。
原始发表:2021-12-31,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 ACM算法日常 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
相关产品与服务
腾讯云小微
腾讯云小微,是一套腾讯云的智能服务系统,也是一个智能服务开放平台,接入小微的硬件可以快速具备听觉和视觉感知能力,帮助智能硬件厂商实现语音人机互动和音视频服务能力。
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档