序章:当机器第一次学会倾听
1952年的一个冬日,在美国贝尔实验室的一间安静房间里,工程师们正在围着一台笨重的机器。这台机器没有名字,只有一个代号——它能够识别从0到9的十个阿拉伯数字。当有人对着它说出"7"的时候,机器发出一声轻微的嗡嗡声,随后在纸带上打出一串孔洞。这不是什么魔法,也不是什么骗局。这是有史以来第一台能够"听懂"人类说话的机器。
贝尔实验室的这场实验,标志着人类正式踏上了赋予机器听觉的漫长征途。
要理解那一天的意义,我们需要将时间倒回十年。在第二次世界大战的废墟上,人类刚刚经历了历史上最惨烈的技术滥用——核弹、战略轰炸、火箭武器。技术是中性的,但使用技术的方式决定了它的善恶。于是,当和平重新降临时,一批科学家开始思考一个截然不同的问题:技术能否被用来增强人类自身的能力,而非毁灭人类?
这种思考催生了两个看似毫无关联却最终殊途同归的领域。一个是控制论(Cybernetics),由数学家诺伯特·维纳在1948年系统阐述,研究生物和机器中的控制与通信机制。另一个是信息论,由克劳德·香农在同一时期创立,为人类理解信息的本质提供了数学框架。这两个理论如同两条河流,在战后美国的学术土壤中悄然流淌,最终汇聚成了20世纪最激动人心的知识运动——人工智能。
1956年的夏天,28岁的约翰·麦卡锡邀请了一群才华横溢的年轻学者来到新罕布什尔州达特茅斯学院的校园里。他们中有数学家、神经科学家、逻辑学家、心理学家,还有几位计算机科学的先驱。麦卡锡给这次聚会起了一个后来名垂青史的名字——"达特茅斯夏季人工智能研究项目"。在提交给洛克菲勒基金会的申请书中,他写下了这样的愿景:"我们将尝试找出如何让机器使用语言形成抽象概念,解决各种目前只有人类擅长的难题,并让机器自我改进。我们认为,如果精心挑选一组科学家一起研究一个夏天,就能在这些问题的若干方面取得重大进展。"
这份申请书充满了年轻学者的乐观与自信。他们或许没有意识到,自己正在见证一个新学科的诞生,而这条学科道路上最长、最崎岖的一条分支,恰恰是"让机器听懂人说话"——语音识别。
让我们将时钟拨回到更早的年代。1940年代,当第一台电子计算机ENIAC问世时,它占地170平方米,重达30吨,每秒钟只能执行5000次加法运算。建造它的目的是快速计算炮弹弹道,服务于战争。但建造者们很快意识到,这台机器的能力远不止于此。数学家约翰·冯·诺依曼提出了存储程序的概念,将计算机从专用计算工具转变为通用信息处理机器。1950年代,计算机开始在美国大学和研究机构中扩散,成为科学家们探索新思想的强大武器。
正是在这样的背景下,语音识别研究悄然萌芽。1952年的贝尔实验室系统,现在被称为"Audrey"——Automatic Digit Recognition的缩写——能够以约90%的准确率识别一个人说出的孤立数字。但它的局限性也很明显:它只能识别特定说话者的声音,需要说话者在每个数字之间停顿,而且必须预先知道有人在说话。那个时代的技术采用滤波器组和频谱分析方法,将连续的声音信号分割成离散的频段,提取出能够区分不同音素的特征。这是一种工程上的胜利,但距离真正的"机器听觉"还相去甚远。
如果我们将时间再往前推,可以发现一个有趣的现象:人类对于"会说话的机器"的想象,远比电子计算机的历史更为悠久。19世纪末,捷克作家卡雷尔·恰佩克在他的科幻剧作《罗森万能机器人》中创造了"Robot"这个词。但在更早的传说和民间故事中,人类就已经梦想着创造出能够模仿人类言语的装置。希腊神话中的皮格马利翁雕刻了一尊象牙少女像,最终获得生命;中世纪的炼金术师试图制造"自动机"——能够模仿人类动作的人形装置;18世纪后期,土耳其行棋傀儡曾令欧洲皇室惊叹不已,尽管后来被揭穿是骗局,但它反映了人类对机械生命的无限遐想。
真正的突破来自19世纪后期对声学的系统研究。1861年,德国物理学家约翰·菲利普·赖斯使用电流和磁铁制造了第一个能够传输人类语音的设备——尽管音质粗糙,但这是人类首次用机械方式复制语音。1876年,亚历山大·格雷厄姆·贝尔发明了电话,将语音的电信号传输变成了现实。贝尔在专利申请中写道:"我发现,当人类说话时,如果我在一个稳定的电流中加入波动,就能在另一端重现原始的语音波形。这是一个完全出人意料的结果。"他或许没有意识到,自己的发明不仅开启了电信革命,也为日后语音识别研究奠定了物理基础。
进入20世纪,人类开始系统地研究语音的产生和感知机制。1913年,贝尔实验室(当时还叫西方电气公司)资助了第一项关于语音的科学调查。1920年代,贝尔实验室的科学家哈罗德·阿诺德开发了一套用于分析语音的电子系统,能够将声音转换为可视化的频谱图。这些频谱图揭示了一个重要秘密:人类语言并非一团混沌的声音,而是由有限的基本单元——音素(phoneme)——按照特定规则组合而成。
这个发现意义深远。如果语言可以分解为有限的基本单元,那么理论上就可以设计机器来识别这些单元,进而"听懂"人类说话。这正是语音识别研究的核心假设。然而,这个假设成立的前提是:人类能够精确地描述和测量这些基本单元的特征,并且这些特征在不同说话者、不同语境下保持足够的稳定性。
后来的研究表明,这个前提比任何人最初想象的都要复杂得多。
让我们回到1950年代的美国。在达特茅斯会议之后,人工智能迅速成为一个充满活力的研究领域。来自不同学科背景的学者涌入这个领域,带来了各自独特的方法论和理论视角。符号主义学派认为,智能的核心是逻辑推理和符号操作,因此人工智能研究应该聚焦于知识表示和自动推理。连接主义学派则从大脑神经网络的结构中汲取灵感,试图构建能够模拟生物学习机制的数学模型。行为主义学派更关心智能体与环境的交互,主张通过"试错学习"来获得智能。
语音识别研究同样经历了类似的分化。早期研究主要采用模板匹配的方法:将收集到的大量语音样本存储在计算机中,识别时将输入语音与模板库逐一比对,选择相似度最高的模板作为识别结果。这种方法简单直观,但对于不同说话者、不同语速、不同口音的适应性很差。1960年代,研究者们开始尝试从语音中提取更抽象的特征,将时域信号转换为频域表示,以减少对具体声学环境的敏感性。
就在这时,一位来自心理学领域的人物登场了,他的思想深刻地影响了人工智能和语音识别研究的发展轨迹。
约瑟夫·卡尔·罗布内尔·利克利德(Joseph Carl Robnett Licklider),通常被简称为J.C.R. Licklider,1915年出生于密苏里州的一个小镇。他的早年生活并没有显示出任何特别的学术天赋——在肯塔基州的路易斯维尔度过童年,进入华盛顿大学学习电气工程,二战期间在美国陆军通讯兵团服役。但正是这段军旅生涯,彻底改变了他的人生轨迹。
在通讯兵团,利克利德有机会接触到雷达、声纳、通信系统等当时最先进的电子技术。他开始痴迷于一个想法:人脑和计算机在本质上可能是同构的——两者都是处理信息的系统,只是速度、容量和架构有所不同。如果这个想法是对的,那么计算机或许可以被设计成与人脑协同工作,形成某种超越两者单独能力的"人机共生"系统。
1957年,利克利德离开学术界,来到华盛顿,担任美国高级研究计划局(ARPA)信息处理技术办公室的主任。这是一次改变历史的人事任命。ARPA——后来改名为DARPA,即美国国防高级研究计划局——成立于1958年,是美国应对苏联 Sputnik卫星震惊的直接产物。它被赋予了寻找和资助"高风险、高回报"研究项目的使命,正是这种独特的制度设计,为后来的互联网、GPS、隐形飞机、语音识别等技术突破提供了土壤。
利克利德在ARPA的任期虽然短暂,但他做了一件改变一切的事情:他说服五角大楼的决策者,将资助重点从硬件转向软件,从计算能力的提升转向人机交互方式的革新。在一份后来广为流传的备忘录中,他写道:"我相信,在不远的将来,人类大脑和计算机将紧密地结合在一起,形成一种伙伴关系……在这种合作关系中,计算机将帮助人类制定决策、操控数据、执行复杂任务,而人类则提供计算机所缺乏的常识、判断力和创造力。"
这份备忘录写于1960年,题目是"人机共生"(Man-Computer Symbiosis)。在文中,利克利德预见了一个计算机融入人类日常生活的未来:实时的信息检索、智能的辅助决策、沉浸式的数据可视化。他特别强调了对语音交互的期待:"在不久的将来,人类与计算机的对话将越来越多地通过自然语言进行……这将大大降低使用计算机的门槛,使那些没有经过专门训练的人也能从计算机的能力中获益。"
利克利德的愿景对语音识别研究产生了深远的影响。在此之前,语音研究主要被归类为信号处理和声学领域的问题,由电气工程师主导。利克利德则将其重新定义为一个"人机交互"问题,需要计算机科学家、认知心理学家、语言学家、甚至艺术家的共同努力。他开始资助那些试图让计算机理解和生成自然语言的项目,其中就包括早期语音识别和机器翻译的研究。
在他的推动下,ARPA资助了一系列雄心勃勃的项目。其中最著名的或许是1964年启动的"语音理解系统"(Speech Understanding System)项目,目标是在十年内开发出能够理解连续自然语音的计算机系统。这个项目最终未能完全实现其既定目标,但它培养了一代研究者,积累了宝贵的数据和经验,并确立了语音研究需要"多学科交叉"的方法论。
我们有必要在这里停下来,仔细审视一下利克利德时代的语音识别研究所面临的困难。理解这些困难,是理解后来语音技术如何实现突破的必要前提。
首先,是"维度灾难"问题。人类的语音是极其丰富和变化多端的。同一个音素,在不同说话者口中可能呈现出完全不同的声学特征。男低音的"啊"和高音女歌手的"啊",在频率分布上可能相差数个八度。一个人在兴奋时和疲惫时说话,语速和音调也会有显著差异。更麻烦的是,同一个音素在不同的上下文环境中会产生"协同发音"效应——前一个音素会影响后一个音素的发出方式,后一个音素也会"逆影响"前一个音素。这种复杂的动态变化使得简单的模板匹配方法难以奏效。
其次,是"知识表示"问题。人类能够毫不费力地理解语音,但这种能力建立在一整套复杂的知识结构之上:语言学知识(音素、音节、词汇、语法、语义)、世界知识(常识、语境、说话者的意图)、以及元认知知识(知道何时该问澄清问题,何时该忽略某个错误等)。如何将这些知识形式化,并让计算机能够有效地利用它们,是一个巨大的挑战。
第三,是"歧义消解"问题。自然语言充满了歧义。同一个句子可能有多种合理的理解方式,需要依靠上下文、语境、甚至说话者的表情和语气来消歧。例如,"他看见那边的山上有一只鹰"——"看见"的主语是谁?"山上的鹰"是静态的还是动态的?人类大脑能够迅速而毫不费力地处理这些歧义,但对计算机而言,这是一个令人生畏的计算问题。
1960年代和1970年代的语音识别研究,正是在这些困难的阴影下艰难前行的。让我们来看看几个代表性的里程碑式项目。
1966年,Raj Reddy在卡内基梅隆大学启动了"赫维提卡"(Hesvitaka)项目,目标是开发一个能够理解连续英语语音的系统。Reddy是人工智能领域的先驱之一,后来成为卡内基梅隆大学计算机科学系的创始人。他采用了一种独特的方法:将语音识别问题分解为多个子问题(音素识别、词汇边界检测、句法分析、语义理解),然后分别解决,再将各子系统整合在一起。这种"分而治之"的思路至今仍是复杂系统设计的基本原则。
1969年,贝尔实验室的John Pierce在一篇著名的公开信中对语音识别研究提出了尖锐批评。Pierce是晶体管和激光的共同发明者,也是美国最杰出的物理学家之一。他在信中写道:"识别语音是一个'骗子问题'——一个看起来简单但实际上非常困难的问题。好的研究需要能够准确评估问题的难度,并设定合理的期望。语音识别的困难被严重低估了,而目前的进展被严重高估了。"这封信在当时的学术圈引起了巨大震动,被一些人视为对语音研究社区的"宣战"。
然而,批评的声音并没有阻止研究者的脚步。1970年代,嵌入式马尔可夫模型(Hidden Markov Model,简称HMM)开始被引入语音识别领域,这是一个革命性的理论突破。马尔可夫模型最初由俄国数学家安德烈·马尔可夫在1906年提出,用于分析文学作品中的字母序列。嵌入式的意思是,模型的内部状态是不可直接观测的,只能通过观测到的输出来推断。应用到语音识别中,每个音素被建模为一个马尔可夫过程,而语音识别就变成了一个寻找最可能的音素序列的问题。
IBM的Frederick Jelinek是这一时期的另一位关键人物。Jelinek是一位出生于捷克的犹太移民,在二战期间经历了颠沛流离的逃亡生活,最终在美国找到了学术归宿。他坚信,语音识别应该从大量的语料库中学习统计规律,而非依赖人类专家手工编写的规则。在他的领导下,IBM开发了一系列基于统计方法的语音识别系统,成为后来语音识别研究的主流范式。
Jelinek有一句名言后来广为流传:"我研究语音识别是因为它是一个难题,而我又没有足够的想象力去做其他事情。"这句话看似自嘲,实际上反映了一种深刻的学术洞见:面对一个极其复杂的问题,与其试图完全理解其内部机制,不如让机器从数据中自己学习规律。统计方法的核心假设是:如果一个语言现象在数据中反复出现,那么它很可能代表了一种有意义的模式,值得被模型捕捉。
1970年代还见证了一个重要的技术突破——线性预测编码(Linear Predictive Coding,简称LPC)的广泛应用。这项技术由MIT的Dennis Klatt等人发展,能够用少量的参数来精确地表示语音信号的频谱特征,大大简化了语音数据的存储和传输,也为后续的语音识别研究提供了标准化的特征表示方法。
让我们暂时放下技术的演进,来讲述一个关于语音识别研究的有趣插曲。1960年代末,斯坦福研究院(Stanford Research Institute,简称SRI)的科学家们开发了一个名为"Eliza"的计算机程序。这个程序由Joseph Weizenbaum编写,能够通过模式匹配和替换规则,与人类进行类似心理咨询的对话。用户输入的文字被解析为一组关键词,然后触发相应的回复模板。例如,当用户说"I am sad"时,Eliza可能会回应"Do you think coming here will help you not to be sad?"
Eliza在演示中引起了巨大轰动,许多人——包括一些精神专业人士——真的开始相信程序具有理解和共情的能力。然而,这只是一个精心设计的"把戏",背后没有任何真正的理解或智能。但Eliza的成功揭示了一个重要事实:人类有强烈的倾向将自己的智能和情感投射到能够进行语言交互的机器上。这种倾向后来被称为"伊莉莎效应"(Eliza Effect),是语音和对话系统研究中一个不可忽视的心理因素。
回到语音识别研究的主线。1970年代末期,一个新的研究机构崛起,将语音技术研究推向了一个新的高度。这就是卡内基梅隆大学与IBM、得克萨斯仪器公司联合组建的" speech communications research consortium"。在这个机构的推动下,一系列具有里程碑意义的系统被开发出来。
1980年,CMU的Raj Reddy和Wayne Lesch负责开发了一个名为"Sphinx"的系统——这是世界上第一个高性能的连续语音识别系统。"Sphinx"得名于希腊神话中那个神秘的狮身人面兽,它向路人提出谜语,答不上来的人就会被吞噬。在计算机科学中,Sphinx是一个Unix系统的名称,而Reddy选择这个名字,似乎在暗示语音识别的难度堪比斯芬克斯的谜语。
Sphinx采用了一种混合架构:它使用隐马尔可夫模型来处理声学层面的不确定性,同时结合了语言学知识来约束搜索空间。在一个包含997个词汇的连续语音识别测试中,Sphinx达到了约90%的准确率。这个成绩或许在今天看来微不足道,但在当时却是惊人的突破——它证明了即使是中等复杂度的语音识别任务,也是可以在合理的计算资源下实现的。
更重要的是,Sphinx开创了一个影响深远的先例:它是第一个被公开发布源代码的语音识别系统。任何人都可以下载Sphinx的代码,研究其算法,甚至在其基础上进行改进。这种开放共享的精神,极大地加速了语音技术在整个研究社区中的传播和发展。开源软件的运动——这场运动后来催生了Linux、Apache、Python等改变世界的软件——在语音识别领域找到了最早的践行者。
1980年代,随着个人电脑的普及和微处理器性能的提升,语音技术开始走出实验室,尝试走向商业应用。然而,早期的商业化尝试大多以失败告终。1980年代初,戈尔(Goe)公司推出了一款名为"Voicemail"的语音留言系统,用户可以通过语音命令来操作电话系统。这套系统在技术上相当先进,但销量惨淡——用户抱怨说,每次使用都要反复重复同一个命令,体验令人沮丧。
1980年代中期,一款更雄心勃勃的产品问世:来自德州仪器的"Speak & Spell"儿童学习机。这台设备能够识别儿童说出的英语单词,并即时给予反馈,一度成为美国最畅销的电子产品之一。但它的成功也暴露了语音技术的根本局限:它只能识别非常特定的词汇集合,而且对说话者的口音和语速非常敏感。稍微偏离训练数据的条件,系统就会崩溃。
这些早期商业化的失败给研究者们提供了宝贵的教训:技术的不成熟不能靠市场营销来弥补,用户对语音系统的期望必须与技术现状相匹配。但与此同时,这些失败也验证了一个更深层的信念:人类对"用声音与机器交流"有着根深蒂固的需求和向往。这种需求如此强烈,以至于即使体验不佳,人们也愿意尝试,愿意接受不完美的产品,愿意等待技术的进步。
让我们再回到J.C.R.利克利德的思想。1962年,他在麻省理工学院发表了一篇名为" fiducial"的备忘录,阐述了自己对计算技术未来的愿景。他写道:"我们正在开发的机器,在未来几十年内将成为人类生活不可或缺的一部分。它们将帮助我们思考、决策、记忆、交流……但这种潜力只有在机器能够与人类自然交互的前提下才能实现。"他特别强调了语音交互的重要性:"键盘和鼠标是有用的,但它们并非人类最自然的交流方式。如果我们能够用语言与机器交谈,就像与另一个人交谈一样,那么机器的潜力将得到充分的释放。"
利克利德的这些洞见,在当时看来或许只是乐观的愿景。但它们如同一盏灯塔,照亮了语音技术研究前进的方向。每一代研究者都在他的愿景激励下,尝试着将这个愿景向前推进一小步:更准确的识别率、更自然的对话交互、更广泛的应用场景。正是这些看似微小的进步,经过几十年的积累,最终汇聚成了我们今天所见证的语音技术革命。
在结束这一章之前,让我们再来看一个后来被证明具有深远影响的项目。1973年,ARPA启动了一个名为"语音理解项目"(Speech Understanding Program)的大型研究计划。这个项目汇集了当时最优秀的语音研究团队,目标是开发出能够理解自然对话的系统。参与项目的机构包括卡内基梅隆大学、MIT、斯坦福研究院、以及一些商业公司。
这个项目的最终成果并不如预期的那样成功——没有任何一个系统能够在开放域的自然对话中达到"真正理解"的水平。但它留下的遗产是巨大的:它建立了语音