[论文解读] A Computational Approach to Aspectual Composition

Michael Wood White|ArXiv.org|Jul 1, 1995

Syntax, Semantics, Linguistic Variation参考文献 18被引用 25

一句话总结

本文提出了一种基于杰肯道夫跨领域类型区分的计算框架，用于范畴化组合，综合了欣里希斯、克里夫卡和杰肯道夫的见解。该框架表明，类型区分能够解释边界性、量词短语以及事件与过程之间的区别等时态现象，并引入了一个可实现的事件体演算，能够生成关键的语言推理。

ABSTRACT

In this paper, I argue, contrary to the prevailing opinion in the linguistics and philosophy literature, that a sortal approach to aspectual composition can indeed be explanatory. In support of this view, I develop a synthesis of competing proposals by Hinrichs, Krifka and Jackendoff which takes Jackendoff's cross-cutting sortal distinctions as its point of departure. To show that the account is well-suited for computational purposes, I also sketch an implemented calculus of eventualities which yields many of the desired inferences. Further details on both the model-theoretic semantics and the implementation can be found in (White, 1994).

研究动机与目标

• 挑战语言学与哲学中普遍存在的观点，即类型方法在时态组合中本质上缺乏解释力。
• 开发一个统一框架，利用杰肯道夫的跨领域类型区分作为基础，整合欣里希斯、克里夫卡和杰肯道夫的时态理论。
• 证明类型区分能够支持具有解释力且计算上可行的时态组合模型。
• 实现一个事件体演算，捕捉关键的时态推理，如边界性、持续时间和量词短语等。
• 表明基于事件体的表征能够自然解释时态结构中时间与空间副词的语法正确性与语义解释。

提出的方法

• 以杰肯道夫的跨领域类型区分作为核心语义框架，将事件体分类为事件、过程及其他类型。
• 采用结构化的属性-值表示法编码事件体，明确标注其类型（事件、过程、物体、物质等）。
• 引入“组成”映射，将复杂事件体建模为较简单事件体的聚合，尤其适用于过程。
• 将时间和空间的量词短语（如“二十分钟”、“两英里”）视为结构化量词短语，用以施加边界性或范围。
• 区分有界路径与无界路径，以解释距离与持续时间副词的语法正确性。
• 采用模型论语义学，辅以形式化谓词约束（例如，距离仅适用于有界路径），推导出句法合法性的条件。

实验结果

研究问题

• RQ1 类型方法在时态组合中是否能够具有解释力，从而反驳语言学与哲学界的普遍共识？
• RQ2 如何利用杰肯道夫的跨领域类型区分来统一欣里希斯与克里夫卡的时态理论？
• RQ3 类型区分在决定事件体的边界性或无界性方面起什么作用？
• RQ4 为何某些量词短语（如“两英里”）在某些语境中语法正确，而在其他语境中却不合法？
• RQ5 已实现的事件体演算如何生成时态结构的正确推理？

主要发现

• 本文成功证明了类型区分能够解释时态现象，特别是与时间和空间量词短语相关的边界性。
• 该框架通过区分无界路径，解释了句子如“杰克沿着河跑了两英里”语法正确的现象，因为无界路径支持近端距离，但不支持总距离。
• 它解释了“杰克朝桥跑了两英里”为何不合法，因为当路径已明确指定时，‘for’无法引入有界路径的总测量。
• 已实现的事件体演算能从单一过程表征中生成正确的推理，例如“杰克往桶A倒水持续了二十秒”。
• 该模型表明，事件与过程事件体可被形式化地区分与组合，支持自然语言理解中的非特定性与推理。
• 该框架通过不同但兼容的表征，支持结构不同的句子之间的相互蕴含关系（例如，“杰克沿着河跑了两英里”与“杰克沿河跑了两英里”）。