_动态句法学_述评
- 格式：pdf
- 大小：320.34 KB
- 文档页数：7
WH 结构 。
第六章研究的是关系句和疑问句中的跨越现象 , 这章还综合讨论了代词释读 、 WH 疑问 句和关系句等问题 。 第七章用动态句法学的框架阐释语义学家一直关注的量词问题 , 这章的重点放在量词的 辖域表达和量化名词上 。 第八章是这一部分的总结 , 提出了动态句法学框架下的语言系统观 : 句法分析是语言系 统的基本属性 ; 语言能力不仅体现在句法上 , 也体现在语用上 。
( 4) 逻辑式 (logical form) 。动态句法学接受了认知科学关于心理表征的理论 , 但在语言
实体的态度上仍采取了形式主义语言学最擅长使用的命题化 , 并继承了蒙塔古语法 ( 1974 ) 开 创的句法和语义结合处理的模式 , 形成对树结构节点描述的一部分 。对意义的操作自然就成 为对具体的逻辑式的推导和运算 。这样做保证了形式化工作的纯一性和精确性 , 在本文的第
( c) : 指示符 , 标示当前正在被操作的节点 。在动态生成树形图的过程中 , 每一步有且
仅有一个指示符 。这是一个很有创新的形式突破 , 因为指示符的引入使形式化工作高度结构
374
当代语言学
化和条理化 ; 其次 , 还得到了认知心理学的支持 , 即每一时刻只有一个处理单元处于焦点状 态 ; 再次 , 它大大方便了在计算机上对自然语言读解程序的编制 。
言理解的加标演绎系统 (labelled deductive system for nat ural language understanding) 发展得较 为成熟 ( 以 Gabbay 1996 和 Kempson 1995 等为标志) 的基础上 , 将它运用于句法的动态分析 过程 , 对一些长期困扰句法学家和语义学家的问题 ( 例如关系从句 、 长距离依存 、 跨越现象 、
WH 成分原位不挪等) 在一个统一的框架内作出了较为满意的解释 。
全书共九章 , 可分为三个部分 , 下面对每部分的内容作一简介 。 第一部分 : 介绍动态句法学的形式化研究框架 , 包括第一至第三章 。 第一章阐述基本立场 , 作者开宗明义地指出 , 对自然语言进行形式化分析是对语言本质 常识性理解的回归 , 这种形式分析实质上就是动态建构语言序列的逻辑式 , 这种动态的句法 分析不同于前人的做法 , 而是将意义理解和结构生成较好地统一了起来 。 第二章概述动态句法学的形式系统 , 解释了原子公式 、 模态符号 、 基本树结构 、 部分树 结构等该模型中的核心概念和符号 。 第三章通过几个简单的实例详细演绎了句法分析的整个过程 , 是对第二章介绍的形式工 具的运用 。 第二部分 : 第四章到第八章 , 这部分将焦点转向具体的语言问题 , 进一步检验动态句法 学理论的有效性 。 第四章将一般句法研究较少涉及的关系从句纳入研究视野 , 并将单一树结构扩展为相连 树结构 。 第五章系统考察了 WH 疑问词的句法解释 , 特别讨论了 WH 成分原位不挪现象和附加
加 ?的方式 , 例如任何树结构的根节点都要求是类型 t , 表示为 ?Ty ( t ) 。这些类型要求式形成 了树结构发展的动态机制 , 只有当所有的要求式都得到满足后 , P TS 才成为 B TS , 语法分析 才完成 。
2. 2. 2 树节点描述
除了形象的树形图外 , 动态句法学的形式机制还包括对树节点的一套独立的符号描述 。 为了方便后面的介绍 , 我们对下面这个典型的节点描述式作一简要说明 。 节点描述式 : { Tn ( a) , ?Ty ( t ) , 〈 ? ↓ Ty ( e) , 〈 ? ↓ Ty ( e → t) , } 0〉 1〉 各组成项说明 ( 其中 ?Ty ( t ) 的意义见 2. 2. 1) :
( 一) 准备阶段 ( 在词汇项进入前准备一个通用树结构)
( 1) { Tn ( a) , ?Ty ( t ) , }
初始化 (initialization)
预设根节点的地址和类型要求 。 ( 2) { Tn ( a) , ?Ty ( t ) , 〈 ? ↓ Ty ( e) , 〈 ? ↓ Ty ( e → t) , } 引入 (introduction) 0〉 1〉 为了在根节点上实现 Ty ( t ) , 引入两个子节点的要求式 , 指示符仍停留在原处 。
《当代语言学》 第 6 卷 2004 年第 4 期 372 - 378 页 , 北京
《动态句法学》 述评
R. Kempson , W. Meyer2Viol , D. Gabbay 著
刘乃实 张韧弦述评
1 . 概述 ( Dy nam ic 2001 年 , 英国的布莱克韦尔出版社出版了 《动态句法学 : 语言理解的流程》
( 3) 从左至右的 (left2to2right ) 。在动态句法学的具体操作上 , 树结构的增量式建构是和
词汇项的依次输入紧密相关的 。由于树结构采用动态的生成方式 , 在最后一个词汇项输入和 进行相关操作前 , 作为语法分析结果的树结构都是不完全的 。语言在空间结构上的呈现是线 性的 , 在书写顺序上也大多采取从左至右的方式 , 动态句法形式机制的核心部分 ( 见后文的 实例) 就是从左至右地依次处理每一个词汇项 , 不断发展树结构 。这种从左至右的工作策略 还为动态句法学进入人工智能领域创造了条件 。
2 . 动态句法学的基本思路 2. 1 宏观理论
动态句法学的总体研究框架可概括为 : 一种以目标为导向的 , 模拟对自然语言序列理解过程的方法 , 具体的模拟表现为一种增 量式的 、 从左至右的建构逻辑式的过程 。 以下进一步阐明以上表述中的几个关键词 :
( 1) 以目标为导向 ( goal2directed) 。这个关键词是动态句法分析的核心 ( Rut h Kempson et
表示当前节点的子节点 。这里的 〈↓ 和 〈↓ 则将子节点的性质进一步规定为主目子节点 0〉 1〉
( argument daughter) 和函项子节点 (f unction daughter) , 并在二叉树形图中约定 : 主目子节点
居左 , 函项子节点居右 。因此 , 上述两项的意义为 : 当前节点要求一个 e 类型的主目子节点 和一个 e → t 类型的函项子节点 。在后面的实例分析中我们将看到 , 这就是简单句动态分析中 的引入操作 。
2. 3 实例分析
动态句法学的形式化理论定义十分严密 , 内容相当复杂 , 以上只是粗略地介绍了其形式 化理论的基本轮廓 , 未能顾及到许多细节 。以下通过对一个具体英语句子的分析进一步揭示 动态分析的基本特点 。 目标句子 : John admires him. 动态语法分析/ 树结构生成过程 :
predicate , Fo ) , 例如函项 Fo ( Admire ( Mary) (John) ) 就是 John admires Mary 的内容公式 。
上面提到的 “完整的树形图” 在动态句法学中被称ure ,
B TS) , 其中每个节点的位置和属性都是确定的 。但在动态语法分析的过程中 , 中间状态的树
al . 2001 : 21) 。动态句法学保留了生成语法学家留下的形式工具 — — — 树结构 , 但在对节点的
描述上却另辟蹊径 。对语言结构分析的成功与否取决于树的根节点是否为一个完整的语义单 位 ( 蒙塔古语法中的 t ) , 这就是全部分析过程的最终目标 , 具体的语法分析 (parsing) 过程正 是对这个目标的细化 、 延伸和实现 。
S y nt ax : T he Flow of L anguage U n derst an di ng ) 一 书 。三 位 作 者 Rut h Kempson , Wilf ried
Meyer2Viol , Dov Gabbay 都长期致力于句法 、 语义 、 语用接面的形式一体化研究 , 在对自然语
形图被称为部分树结构 (partial t ree st ruct ure , P TS) , 其中节点的位置和属性尚未完全确定 , 也可以认为动态语法分析的过程就是 P TS 向 B TS 演化的过程 。对于未定节点的描述为 du・
R , 描述单元 du 后面的 R 是类型要求式 ( requirement ) , 在书写上采取在类型谓词 Ty 前面添
2004 年第 4 期 373
三部分将讨论把动态句法学的宏观形式框架应用于认知单位的可能性 。
2. 2 形式化框架的基本组成 2. 2. 1 树节点结构
动态句法学在语言的形式化处理上继承了生成语法学家的树形图模式 , 而且大大丰富了 树节点的形式描述和动态形成机制 。在一个完整的树形图中 , 每个节点可以用一个确定的描 述单元 ( declarative unit , 简称 du) 加以刻画 。描述单元由两部分组成 : 类型标签 ( type label) 和 内容公式 ( content formula) 。类型标签描述对象的逻辑语义特征 , 在语义的真值观下 , 沿用了 蒙塔古语法的 e ( 例如专有名词) , t ( 一个意义完整的句子) , cn ( 例如普通名词) , 以及由此衍 生的 e → t ( 即蒙塔古语法的 〈e ,t 〉 , 例如不及物动词) , e →( e → t ) ( 例如及物动词 ) 等语类符号 , 并引入类型谓词 ( type predicate , Ty) , 例如函项 Ty ( e) 表示对象的语义类型为 e ; 内容公式是 基于λ算法的命题表达式 , 揭示的是具体词汇项之间的逻辑关系 , 并引入公式谓词 (formula
( 3) { … { 〈↑ Tn ( a) , ?Ty ( e) , } 0〉 { 〈↑ Tn ( a) , ?Ty ( e → t ) }} 预测 (prediction) 1〉
( 2) 增量式 (incremental) 。这个关键词是动态句法形式机制的根本特征 。动态句法学家
与生成语法学家最大的分歧在于承载句法信息的树结构的生成属性上 。各派生成语法学家的 树结构生成观是静态的自上往下的 , 语法分析在结构配置上一步完成 , 在 N P , V P , PP 等标 项的位置和相互关系确定后 , 在底层完成词汇项的插入 ; 而动态句法学的树结构生成观是动 态 , 由下往上的 , 在整个动态的分析过程中会产生一些临时的句法/ 语义实体 , 它们在树结构 的下一步演化中将发生变化 。增量是 “动态” 二字的具体体现 , 在操作上表现为 : ( a) 树结构只 能按增量的方式单向发展 ( 只增不减) ; ( b) 树演化过程中产生的所有临时特征和属性将保留 到最终结构中 ( 只纳不弃) 。
第六章研究的是关系句和疑问句中的跨越现象 , 这章还综合讨论了代词释读 、 WH 疑问 句和关系句等问题 。 第七章用动态句法学的框架阐释语义学家一直关注的量词问题 , 这章的重点放在量词的 辖域表达和量化名词上 。 第八章是这一部分的总结 , 提出了动态句法学框架下的语言系统观 : 句法分析是语言系 统的基本属性 ; 语言能力不仅体现在句法上 , 也体现在语用上 。
( 4) 逻辑式 (logical form) 。动态句法学接受了认知科学关于心理表征的理论 , 但在语言
实体的态度上仍采取了形式主义语言学最擅长使用的命题化 , 并继承了蒙塔古语法 ( 1974 ) 开 创的句法和语义结合处理的模式 , 形成对树结构节点描述的一部分 。对意义的操作自然就成 为对具体的逻辑式的推导和运算 。这样做保证了形式化工作的纯一性和精确性 , 在本文的第
( c) : 指示符 , 标示当前正在被操作的节点 。在动态生成树形图的过程中 , 每一步有且
仅有一个指示符 。这是一个很有创新的形式突破 , 因为指示符的引入使形式化工作高度结构
374
当代语言学
化和条理化 ; 其次 , 还得到了认知心理学的支持 , 即每一时刻只有一个处理单元处于焦点状 态 ; 再次 , 它大大方便了在计算机上对自然语言读解程序的编制 。
言理解的加标演绎系统 (labelled deductive system for nat ural language understanding) 发展得较 为成熟 ( 以 Gabbay 1996 和 Kempson 1995 等为标志) 的基础上 , 将它运用于句法的动态分析 过程 , 对一些长期困扰句法学家和语义学家的问题 ( 例如关系从句 、 长距离依存 、 跨越现象 、
WH 成分原位不挪等) 在一个统一的框架内作出了较为满意的解释 。
全书共九章 , 可分为三个部分 , 下面对每部分的内容作一简介 。 第一部分 : 介绍动态句法学的形式化研究框架 , 包括第一至第三章 。 第一章阐述基本立场 , 作者开宗明义地指出 , 对自然语言进行形式化分析是对语言本质 常识性理解的回归 , 这种形式分析实质上就是动态建构语言序列的逻辑式 , 这种动态的句法 分析不同于前人的做法 , 而是将意义理解和结构生成较好地统一了起来 。 第二章概述动态句法学的形式系统 , 解释了原子公式 、 模态符号 、 基本树结构 、 部分树 结构等该模型中的核心概念和符号 。 第三章通过几个简单的实例详细演绎了句法分析的整个过程 , 是对第二章介绍的形式工 具的运用 。 第二部分 : 第四章到第八章 , 这部分将焦点转向具体的语言问题 , 进一步检验动态句法 学理论的有效性 。 第四章将一般句法研究较少涉及的关系从句纳入研究视野 , 并将单一树结构扩展为相连 树结构 。 第五章系统考察了 WH 疑问词的句法解释 , 特别讨论了 WH 成分原位不挪现象和附加
加 ?的方式 , 例如任何树结构的根节点都要求是类型 t , 表示为 ?Ty ( t ) 。这些类型要求式形成 了树结构发展的动态机制 , 只有当所有的要求式都得到满足后 , P TS 才成为 B TS , 语法分析 才完成 。
2. 2. 2 树节点描述
除了形象的树形图外 , 动态句法学的形式机制还包括对树节点的一套独立的符号描述 。 为了方便后面的介绍 , 我们对下面这个典型的节点描述式作一简要说明 。 节点描述式 : { Tn ( a) , ?Ty ( t ) , 〈 ? ↓ Ty ( e) , 〈 ? ↓ Ty ( e → t) , } 0〉 1〉 各组成项说明 ( 其中 ?Ty ( t ) 的意义见 2. 2. 1) :
( 一) 准备阶段 ( 在词汇项进入前准备一个通用树结构)
( 1) { Tn ( a) , ?Ty ( t ) , }
初始化 (initialization)
预设根节点的地址和类型要求 。 ( 2) { Tn ( a) , ?Ty ( t ) , 〈 ? ↓ Ty ( e) , 〈 ? ↓ Ty ( e → t) , } 引入 (introduction) 0〉 1〉 为了在根节点上实现 Ty ( t ) , 引入两个子节点的要求式 , 指示符仍停留在原处 。
《当代语言学》 第 6 卷 2004 年第 4 期 372 - 378 页 , 北京
《动态句法学》 述评
R. Kempson , W. Meyer2Viol , D. Gabbay 著
刘乃实 张韧弦述评
1 . 概述 ( Dy nam ic 2001 年 , 英国的布莱克韦尔出版社出版了 《动态句法学 : 语言理解的流程》
( 3) 从左至右的 (left2to2right ) 。在动态句法学的具体操作上 , 树结构的增量式建构是和
词汇项的依次输入紧密相关的 。由于树结构采用动态的生成方式 , 在最后一个词汇项输入和 进行相关操作前 , 作为语法分析结果的树结构都是不完全的 。语言在空间结构上的呈现是线 性的 , 在书写顺序上也大多采取从左至右的方式 , 动态句法形式机制的核心部分 ( 见后文的 实例) 就是从左至右地依次处理每一个词汇项 , 不断发展树结构 。这种从左至右的工作策略 还为动态句法学进入人工智能领域创造了条件 。
2 . 动态句法学的基本思路 2. 1 宏观理论
动态句法学的总体研究框架可概括为 : 一种以目标为导向的 , 模拟对自然语言序列理解过程的方法 , 具体的模拟表现为一种增 量式的 、 从左至右的建构逻辑式的过程 。 以下进一步阐明以上表述中的几个关键词 :
( 1) 以目标为导向 ( goal2directed) 。这个关键词是动态句法分析的核心 ( Rut h Kempson et
表示当前节点的子节点 。这里的 〈↓ 和 〈↓ 则将子节点的性质进一步规定为主目子节点 0〉 1〉
( argument daughter) 和函项子节点 (f unction daughter) , 并在二叉树形图中约定 : 主目子节点
居左 , 函项子节点居右 。因此 , 上述两项的意义为 : 当前节点要求一个 e 类型的主目子节点 和一个 e → t 类型的函项子节点 。在后面的实例分析中我们将看到 , 这就是简单句动态分析中 的引入操作 。
2. 3 实例分析
动态句法学的形式化理论定义十分严密 , 内容相当复杂 , 以上只是粗略地介绍了其形式 化理论的基本轮廓 , 未能顾及到许多细节 。以下通过对一个具体英语句子的分析进一步揭示 动态分析的基本特点 。 目标句子 : John admires him. 动态语法分析/ 树结构生成过程 :
predicate , Fo ) , 例如函项 Fo ( Admire ( Mary) (John) ) 就是 John admires Mary 的内容公式 。
上面提到的 “完整的树形图” 在动态句法学中被称ure ,
B TS) , 其中每个节点的位置和属性都是确定的 。但在动态语法分析的过程中 , 中间状态的树
al . 2001 : 21) 。动态句法学保留了生成语法学家留下的形式工具 — — — 树结构 , 但在对节点的
描述上却另辟蹊径 。对语言结构分析的成功与否取决于树的根节点是否为一个完整的语义单 位 ( 蒙塔古语法中的 t ) , 这就是全部分析过程的最终目标 , 具体的语法分析 (parsing) 过程正 是对这个目标的细化 、 延伸和实现 。
S y nt ax : T he Flow of L anguage U n derst an di ng ) 一 书 。三 位 作 者 Rut h Kempson , Wilf ried
Meyer2Viol , Dov Gabbay 都长期致力于句法 、 语义 、 语用接面的形式一体化研究 , 在对自然语
形图被称为部分树结构 (partial t ree st ruct ure , P TS) , 其中节点的位置和属性尚未完全确定 , 也可以认为动态语法分析的过程就是 P TS 向 B TS 演化的过程 。对于未定节点的描述为 du・
R , 描述单元 du 后面的 R 是类型要求式 ( requirement ) , 在书写上采取在类型谓词 Ty 前面添
2004 年第 4 期 373
三部分将讨论把动态句法学的宏观形式框架应用于认知单位的可能性 。
2. 2 形式化框架的基本组成 2. 2. 1 树节点结构
动态句法学在语言的形式化处理上继承了生成语法学家的树形图模式 , 而且大大丰富了 树节点的形式描述和动态形成机制 。在一个完整的树形图中 , 每个节点可以用一个确定的描 述单元 ( declarative unit , 简称 du) 加以刻画 。描述单元由两部分组成 : 类型标签 ( type label) 和 内容公式 ( content formula) 。类型标签描述对象的逻辑语义特征 , 在语义的真值观下 , 沿用了 蒙塔古语法的 e ( 例如专有名词) , t ( 一个意义完整的句子) , cn ( 例如普通名词) , 以及由此衍 生的 e → t ( 即蒙塔古语法的 〈e ,t 〉 , 例如不及物动词) , e →( e → t ) ( 例如及物动词 ) 等语类符号 , 并引入类型谓词 ( type predicate , Ty) , 例如函项 Ty ( e) 表示对象的语义类型为 e ; 内容公式是 基于λ算法的命题表达式 , 揭示的是具体词汇项之间的逻辑关系 , 并引入公式谓词 (formula
( 3) { … { 〈↑ Tn ( a) , ?Ty ( e) , } 0〉 { 〈↑ Tn ( a) , ?Ty ( e → t ) }} 预测 (prediction) 1〉
( 2) 增量式 (incremental) 。这个关键词是动态句法形式机制的根本特征 。动态句法学家
与生成语法学家最大的分歧在于承载句法信息的树结构的生成属性上 。各派生成语法学家的 树结构生成观是静态的自上往下的 , 语法分析在结构配置上一步完成 , 在 N P , V P , PP 等标 项的位置和相互关系确定后 , 在底层完成词汇项的插入 ; 而动态句法学的树结构生成观是动 态 , 由下往上的 , 在整个动态的分析过程中会产生一些临时的句法/ 语义实体 , 它们在树结构 的下一步演化中将发生变化 。增量是 “动态” 二字的具体体现 , 在操作上表现为 : ( a) 树结构只 能按增量的方式单向发展 ( 只增不减) ; ( b) 树演化过程中产生的所有临时特征和属性将保留 到最终结构中 ( 只纳不弃) 。
