- 自然语言交流的计算机模型
- (德)罗兰德·豪塞尔
- 4727字
- 2022-09-03 01:49:23
审校者的话
本书作者罗兰德·豪塞尔(Roland Hausser)是德国爱尔兰根-纽伦堡大学计算语言学教授。他先后出版了《表面组成语法》《自然人机交流》《计算语言学基础-人机自然语言交流》和《自然语言交流的计算机模型》等多部专著,发表文章近百篇。Hausser是“左结合语法”(Left-Associative grammar,简称LA)的创始人,后来他又进一步提出了“数据库语义学”(Database Semantics,简称DBS)和完整的“语表组合线性内部匹配”理论(Surface compositional Linear Internal Matching,简称SLIM),在计算语言学界形成了他自己独特的风格。
我与Hausser教授曾有一面之交。2002年联合国教科文组织(UNESCO)韩国委员会在韩国首尔(Seoul)举行了一次关于“信息时代的语言问题”的学术研讨会,我和Hausser都被邀请参加了这次会议,在会议期间的交谈中,我对Hausser的独特理论有了初步的了解,回国之后,我又细读了他的《计算语言学基础-人机自然语言交流》(英文版)一书,对他的理论又有了进一步的认识。我认为Hausser教授是一位具有独创精神的计算语言学家。
Hausser认为,面向未来的计算语言学的中心任务就是研究一种人类可以用自己的语言与计算机进行自由交流的认知机器。因此,自然语言的人机交流应当是计算语言学的中心任务。计算语言学研究应当通过对说话人的语言生成过程与听话人解释语言的过程进行建模,在适宜的计算机上复制信息的自然传递过程,从而构建一种可与人用自然语言自由交流的自治的认知机器,这样的认知机器也就是机器人(robot)。为了实现这一目标,必须对自然语言交流机制的功能模型有深刻的理解。
Hausser提出的“语表组合线性内部匹配”(SLIM)理论以人作为人机交流的主体,而不是以语言符号为主体,突出了人在人机交流中的主导作用,SLIM理论要求通过完全显化的机械步骤,使用逻辑和电子的方式来解释自然语言理解和自然语言的生成过程。因此,SLIM理论与现代语言学中的结构主义、行为主义、言语行为等理论是不同的,具有明显的创新特色。
SLIM理论强调“表层成分”(Surface),以语表组合性作为它的方法论原则;SLIM理论强调“线性”(Linear),以时间线性作为它的实证原则;SLIM理论强调语言的“内部因素”(Internal),以语言的内部因素作为它的本体论原则;SLIM理论强调“匹配”(Matching),以语言和语境信息之间的匹配作为它的功能原则。事实上,SLIM这个名字本身就来自于这四项原则的英文名称的首字母缩写。
SLIM理论的技术实现手段叫作“数据库语义学”(DBS)。DBS是把自然语言理解和生成重新建构为“角色转换”(turn-taking)的规则体系。角色转换指的是从“说话人模式”(speaker mode)向“听话人模式”(hearer mode)的转换,或者从“听话人模式”向“说话人模式”的转换。
在自然语言的实际交流过程中,第1个过程是听话人模式中的自然主体从另一个主体或者语境获得信息,第2个过程是自然主体在自己的认知当中分析信息,第3个过程是自然主体思考如何做出反应,第4个过程是自然主体用语言或者行动做出反馈。
DBS的输入与第1个过程相似,要求计算机或者机器人具备外部界面。接下来匹配语境和认知的内容,采用左结合语法(LA)来模拟第2个过程,这个左结合语法是处于听话人模式中的,叫作LA-hear。左结合语法的第二个变体负责在内存词库中搜索合适的内容,叫作LA-think,这一部分操作对应于第3个过程。左结合语法的第三个变体的任务是语言生成,叫作LA-speak,模拟第4个过程。如下图所示:
在这个图中,听话人模式的LA-hear模拟第2个过程,说话人模式的LA-think模拟第3个过程,LA-speak模拟第4个过程。
DBS的分析结果用DBS图(DBS graph)来表示。DBS图是一种树结构,但是,DBS图的树结构与短语结构语法和依存语法的树结构有所不同。
例如,英语的句子“The little girl slept”(那个小女孩睡着了) 用短语结构语法分析后的树结构如下:
在这个短语结构语法的树结构中,S(句子)由NP(名词短语)和VP(动词短语)组成,NP由DET(限定词),ADJ(形容词)和N(名词)组成,它们分别对应于单词the,little和girl,VP对应于单词slept。句子的层次和单词之间的前后线性关系都是很清楚的,但是,在组成S的NP和VP之间,没有说明哪一个是中心词,在组成NP的DET,ADJ 和N之间,也没有说明哪一个是中心词,句子中各个成分的中心不突出。
用依存语法分析后的树结构如下:
在这个依存语法的树结构中,全部结点都是具体的单词,没有S,NP,VP,DET,ADJ,N等表示范畴的结点,各个单词之间的依存关系清楚,这种依存关系是二元关系,支配者是中心词,被支配者的从属词。但是,单词之间的前后线性顺序不如短语结构语法的树结构那样明确。
用DBS图分析后的树结构如下:
DBS图的树结构中,着重对语言内容进行分析,因此,没有表示定冠词 the 的结点,结点上的单词都用原型词表示。DBS图最突出的特色在于,DBS图树结构的结点之间的连线各自有其明确的含义,连线不仅表示结点之间的依存关系,还可以根据连线走向的不同来表示不同的功能:垂直竖线“|” 表示修饰-被修饰关系,例如,上图中little与girl用垂直竖线相连,表示little修饰girl;左斜线 “/” 代表主语-动词关系,例如,上图中girl与sleep用左斜线相连,表示girl是sleep的主语。此外,DBS图树结构还使用右斜线 “\\” 表示宾语-动词关系,使用水平线 “—”表示并列关系。由于连线走向的不同可以表示不同的功能,这样的树结构表示的信息比短语结构语法的树结构和依存语法的树结构丰富多了。这是DBS图树结构最引人瞩目的特点。
上面的DBS图中表示了little做girl的修饰语,girl做sleep的主语,表达的是句子中单词之间的语义关系,所以,Hausser把这样的DBS图叫作“语义关系图”(the semantic relations graph,简称SRG)。
如果把DBS图中每个结点上的单词替换为代表其词性的字母,那么语义关系图就变成了“词性关系图”(the part of speech signature,或者简写为signature)。上一例句的词性关系图如下所示:
语义关系图和词性关系图是同一句子内容的不同表示,它们表示的内容相同,表示的形式不同。
Hausser在2011年的新书中还提出了另外两个图:一个是“编号弧图”(the numbered arcs graph,简称NAG),另一个是“语表实现图”(the surface realization)。这两个图分别表现如何从内容生成语言的过程和结果。编号弧图表示激活语义关系图的时间线性顺序,也就是说,编号弧图在某种程度上可以说是添加了编号弧的语义关系图。语表实现图表示如何按照遍历顺序生成语言的表层形式。
例如,英语句子“The little girl ate an apple”(这个女孩吃了一个苹果)的语义关系图(SRG)如下:
由于语义关系图(SRG)只表示句子的内容,所以,在这个SRG中,没有表示定冠词the的结点,也没有表示不定冠词an的结点,过去时形式ate用不定式动词eat来表示。
这个句子的词性关系图(signature)如下:
在这个词性关系图中,结点上的单词都替换表示其词性的字母。
这个句子的编号弧图(NAG)如下:
由于编号弧图(NAG)要表示激活语义关系图的时间线性顺序,这种时间顺序用编号弧表示,编号弧用虚线标出,并在虚线旁边用数字注上时间的线性顺序:结点eat首先激活的结点girl(编号弧1);接着,结点girl激活结点little(编号弧2),由于它们之间用垂直竖线“|”相连,因此,可推导出little修饰girl(编号弧3);由于结点girl与结点eat之间用左斜线 “/”相连,因此,可推导出girl是eat的主语(编号弧4);然后,结点eat激活结点apple(编号弧5),由于结点apple与结点eat之间用右斜线 “\\”相连,因此,可推导出apple是eat的宾语(编号弧6)。可以看出,所有表示推导的编号弧的方向都是自底向上的。
这个句子的语表实现图如下:
这个语表实现图中的数字表示单词生成的顺序。
数据库语义学(DBS)有两个基础:一个是左结合语法(LA-grammar),另一个是单词数据库(word bank)。左结合语法和单词数据库在DBS中紧密结合在一起。Hausser把左结合语法比作火车头,把单词数据库比作火车运行必需的铁路系统。
单词数据库存储单词的内容,其存储形式是一种非递归的特征结构,叫作“命题因子”(proplets)注1。英文 “proplet” 取自 “proposition droplet”,表示命题的构成部分。
一个命题因子是“属性-值偶对”(attribute-value pair) 的集合。每个单词或者句子元素的句法语义信息都体现为相应的属性-值矩阵(attribute-value matrix)。例如,汉语“学生”这个单词的属性-值矩阵如下:
这样的属性-值矩阵就是单词数据库的“命题因子”。在这个命题因子中,sur表示“语表”,pyn表示“拼音”,noun表示“名词”,cat表示“范畴”,sem表示“语义”,fnc表示“函词”,mdr表示“修饰”,prn表示“命题”。
左结合语法是按照自然语言的时间线性顺序自左向右结合进行分析与计算的方法。
具体来讲,每个句子的第一个词为整句分析过程中的第一个“句子起始部分”(sentence start),之后输入下“一个词”(next word),二者经过计算构成新的句子起始部分,再继续与下一个输入的单词进行组合计算。这样不断地进行分析,直到句子结束或者出现语法错误才终止。当出现句法歧义或者词汇歧义时,左结合语法允许按照不同的推导路径并行地继续运算。
Hausser将左结合语法与短语结构语法进行了对比分析。他指出,左结合语法与短语结构语法是同质的语言分析方法。它们之间的差异在于:短语结构语法依据的是“替换原则”(the principle of substitution),而左结合语法依据的则是“可接续性原则”(the principle of continuation)。如果以“a,b,c...” 来代表语言符号,以“+” 代表串联符,那么,左结合语法的计算过程可以表示如下:
左结合语法在进行推导时,总是按照自左向右和自底向上的顺序,沿着树结构的左侧,一步一步地把单词逐一地结合起来的。树结构中的推导顺序如下:
例如,英语句子“Every girl drunk water”(每一个女孩都喝了水)的推导顺序如下:
从这个树结构中可以看出,推导从左侧开始,首先把every与girl结合起来,形成(np),然后把(np)与drank结合起来,形成(np’v),最后把(np’v)与(sn)结合起来,形成(v)。
整个推导过程遵循时间线性(time linearity)的原则。所谓“时间线性”,就是“以时间为序,与时间同向”(linear like time and in the direction of time),也就是说,在推导时,要按照时间前后的顺序进行,要沿着时间的方向推进。
上面我简要地介绍了Hausser的主要理论和方法,希望这些介绍能够帮助读者更好地理解这本《自然语言交流的计算机模型——数据库语义学下的语言理解、推理和生成》。
本书共分三个部分。第一部分介绍了SLIM语言理论的基本框架,包括认知主体的外部界面、数据结构和算法。这一部分涉及很多对整个系统至关重要的问题,比如概念的本质、概念在识别和行动中的作用、不同符号的指代机制、语境层的形式结构,等等。
第二部分系统分析了自然语言的主要结构,以英语在听话人和说话人模式下的示意推导为例。听话人模式下的分析主要介绍如何严格按照时间线性顺序将函词-论元结构(hypotaxis)和并列结构(parataxis)编码为命题因子,并把共指(coreference)作为推理基础上的二级关系来分析。说话人模式下的分析主要介绍如何在词库内进行以提取内容为基础的自动导航,如何按照相应语言的语法要求输出正确的词形、语序,如何析出适当的功能词,等等。
第三部分介绍英语断片,作者构建了一个功能完整但覆盖面有限的英语交流体系。这部分详细介绍了如何理解和生成小样本文本,对词汇、LA-hear、LA-think和LA-speak进行了明确定义。
本书为计算语言学相关的研究人员、学生和软件工程师等提供了一个对自然语言交流进行理论分析的功能框架,这个框架可以适用于任何自然语言的自动处理。
本书译者冯秋香是大连理工大学外国语言学及应用语言学硕士,计算机科学与技术方向博士,具备良好的语言学和计算机科学的跨学科背景,又有很扎实的英语功底。她从2009年10月开始,到德国爱尔兰根-纽伦堡大学学习,师从Hausser教授研究“左结合语法”。她熟悉Hausser教授的计算语言学理论,对于Hausser的“数据库语义学”和“语表组合线性内部匹配”理论有深入的了解。我觉得,冯秋香是本书最适合的中文译者,这个中文译本忠实于原文,译文准确精当,通顺流畅,可读性强。
商务印书馆请我审校此书。我对照本书的英文原文《A Computational Model of Natural Language Communication—Interpretation,Inference and Production in Database Semantics》,仔细地审校了冯秋香的中文译本,并参照有关材料,在这里介绍一些与本书有关的背景知识,希望对于读者理解本书有所帮助。我相信,本书中译本的出版,一定会增进我国语言学界对于当前国外计算语言学独创性理论的了解,从而推进我国计算语言学研究的发展。
冯志伟
2014年2月4日,于杭州仓前