[论文解读] Plurals: individuals and sets in a richly typed semantics

Bruno Mery, Richard Moot+1 more|arXiv (Cornell University)|Jan 3, 2014

Logic, programming, and type systems参考文献 6被引用 6

一句话总结

本文提出了一套丰富类型的多态类型理论框架（$ olambda Ty_n$），通过整合强制转换、语义转移和类型多态性，正式建模自然语言语义中的复数，以解释复数的集合性、分配性和覆盖性解读。关键贡献在于该框架在Grail解析器中实现了可计算的语义，能够精确建模英语、法语和日语中复杂数词结构的歧义性。

ABSTRACT

We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning, transfers, (in)felicitous co-predication. In this setting we see how the various readings of plurals (collective, dis- tributive, coverings,...) can be modelled.

研究动机与目标

• 开发一种统一的、形式化的复数语义框架，使其与现有的词汇和组合语义类型理论框架相兼容。
• 解决在单一连贯类型系统中建模复数多种解读（集合性、分配性和覆盖性）的挑战。
• 提供一种与句法和语义解析工具（如Grail）兼容的、可计算实现的复数语义描述。
• 通过引入词汇现象（如强制转换和语义转移）扩展蒙塔古语法对复数的处理。

提出的方法

• 本文采用支持类型强制转换的多态类型理论框架 $\Lambda Ty_n$，允许对复数表达式进行灵活解释。
• 在个体和群体之间引入格理论结构，使用合运算 $\oplus$ 构造复合群体，并利用属于关系 $\leq_i$ 定义群体成员资格。
• 通过星号运算符 $P^*$ 建模分配性解读，该运算将谓词应用于群体的所有原子部分，从而实现集合性和分配性解释。
• 强制转换机制被形式化为高阶函数，例如 $\Lambda\alpha\lambda P^{\alpha\rightarrow t}\lambda Q^{\alpha\rightarrow t}.\forall x^\alpha. Q(x) \Rightarrow P(x)$，使动词能够作用于集合。
• 该框架与组合式解析器（Grail）集成，实现对多语言中复数句子的自动语义分析。
• 通过群体指称术语和语义强制转换，对英语、法语和日语（例如 -tachi 后缀）的实例进行形式化，以捕捉语言特定的复数形态。

实验结果

研究问题

• RQ1 如何在单一类型理论框架中正式区分并建模复数的集合性、分配性和覆盖性解读？
• RQ2 类型强制转换和多态性在使同一复数结构产生多种解读中发挥何种作用？
• RQ3 如何在组合语义中统一处理群体指称名词（如 'committee', 'police'）和复数形态（如日语 -tachi）？
• RQ4 同一动词（如 'meet', 'record'）如何根据句法和语义语境生成不同解读？
• RQ5 复数语义如何在支持句法和语义的计算解析器中实现？

主要发现

• 该框架成功建模了如 'The committees met' 这类具有歧义的复数结构，通过不同的强制转换路径，同时支持集合-集合和集合-分配两种解读。
• 通过类型强制转换，动词 'meet' 可作用于个体集合或群体集合，后者允许每个委员会独立举行会议。
• 通过在个体上进行全称量化，'Jimi and Dusty were walking' 的分配性解读被准确捕捉，确保每位主语独立行走。
• 通过允许每个个体至少参与一次录音，'The students recorded a song' 的覆盖性解读被建模，无需要求单一联合事件。
• 通过定义将个体映射到其邻域的群体生成算子，系统支持语言特定的复数形态，如日语 -tachi。
• 在Grail解析器中的实现表明，该框架在计算上是可行的，并且与从语料库中半自动获取的语法兼容。