用类型论建模事件完成性与终点达成，支持跨语言分析
A dependently-typed calculus of event telicity and culminativity
- 基于依赖类型构建事件的完成性与终点达成模型
- 明确定义名词短语边界性与动词事件终点的关系
- 适合形式语义、逻辑语法研究者参考
我们提出一个依赖类型化的跨语言框架，用于分析事件的完成性（telicity）与终点达成性（culminativity），并以英语句子为例展示其应用。该框架包含两个部分：在名词领域，建模名词短语的边界性及其与子类型、限定数量和形容词修饰的关系；在动词领域，定义了一个依赖事件演算，将完成性事件建模为受事者具有边界的事件，终点达成事件则为实现内在终点的完成性事件，并考虑副词修饰。在两个领域中均关注相关蕴含关系。该框架扩展了直觉马丁-洛夫依赖类型论，本文中的规则与例子已在Agda证明助手中形式化。
原文摘要 · Abstract (English)
We present a dependently-typed cross-linguistic framework for analyzing the telicity and culminativity of events, accompanied by examples of using our framework to model English sentences. Our framework consists of two parts. In the nominal domain, we model the boundedness of noun phrases and its relationship to subtyping, delimited quantities, and adjectival modification. In the verbal domain we define a dependent event calculus, modeling telic events as those whose undergoer is bounded, culminating events as telic events that achieve their inherent endpoint, and consider adverbial modification. In both domains we pay particular attention to associated entailments. Our framework is defined as an extension of intensional Martin-Löf dependent type theory, and the rules and examples in this paper have been formalized in the Agda proof assistant.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。