[论文解读] A Frobenius Algebraic Analysis for Parasitic Gaps

Michael Moortgat, Mehrnoosh Sadrzadeh+1 more|arXiv (Cornell University)|May 12, 2020

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

一句话总结

本文提出了一种基于弗罗贝尼乌斯代数的自然语言寄生空主语处理方法，在范畴语法框架中通过词汇多态性建模语义重复。通过在兰贝克演算中引入结构控制模态，并在有限维向量空间的紧致闭范畴中解释类型，作者利用弗罗贝尼乌斯代数对广义并列和多态类型模式进行建模，从而在无需显式句法复制的情况下实现对寄生空主语的组合式解释。

ABSTRACT

The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon. Parasitic gaps in adjuncts are analysed as forms of generalized coordination with a polymorphic type schema for the head of the adjunct phrase. For parasitic gaps affecting arguments of the same predicate, the polymorphism is associated with the lexical item that introduces the primary gap. Our analysis is formulated in terms of Lambek calculus extended with structural control modalities. A compositional translation relates syntactic types and derivations to the interpreting compact closed category of finite dimensional vector spaces and linear maps with Frobenius algebras over it. When interpreted over the necessary semantic spaces, the Frobenius algebras provide the tools to model the proposed instances of lexical polymorphism.

研究动机与目标

• 解决在不依赖句法复制的前提下，寄生空主语中非线性语义重复的挑战。
• 在范畴框架中使用多态类型模式对附加语和共论元结构中的寄生空主语进行建模。
• 提供一种组合式、分布式的语义模型，通过向量空间上的弗罗贝尼乌斯代数解释空主语。
• 将关系代词和介词（如“that”、“without”）的处理泛化为在语义类型之间的多态映射。
• 通过抽象出特定实现（如ι映射）来实现词汇项的数据驱动建模。

提出的方法

• 在兰贝克演算中扩展结构控制模态，以管理短语内部假设和结构灵活性。
• 将句法类型到有限维向量空间及其线性映射的紧致闭范畴的组合式翻译。
• 在语义空间上应用弗罗贝尼乌斯代数，以建模引入空主语的词汇项的多态类型模式。
• 通过弗罗贝尼乌斯代数结构将核心名词和动词短语进行广义并列，以此建模寄生空主语。
• 将关系代词和介词表示为多态映射（例如，N⊗S ⇒ N⊗N），并抽象出具体的语义实现。
• 通过ι运算进行秩降低作为初步步骤，后续推广为支持数据驱动学习的更抽象形式。

实验结果

研究问题

• RQ1 如何在范畴语法中不使用显式句法复制来建模寄生空主语？
• RQ2 多态类型模式在附加语和共论元结构中协调多个空主语时起到什么作用？
• RQ3 如何利用向量空间上的弗罗贝尼乌斯代数来建模寄生空主语所需的语义并列？
• RQ4 关系代词和介词的解释能否抽象为支持分布式建模的一般性映射？
• RQ5 结构控制模态在管理空主语依赖关系中的组合式与语义角色是什么？

主要发现

• 本文成功地在不使用句法复制的前提下，通过多态类型模式对附加语和共论元结构中的寄生空主语进行了建模。
• 弗罗贝尼乌斯代数为向量空间语义中的多个空主语的广义并列提供了语义机制。
• 该方法将关系代词和介词的角色泛化为从N⊗S到N⊗N的多态映射，从而支持灵活的意义组合。
• ι映射用于秩降低被识别为初步步骤，未来工作提出了更抽象、数据驱动的替代方案。
• 该模型支持使用向量空间语义对句子如‘papers that Bob rejected without reading’和‘this is a candidate whom I would persuade every friend of to vote for’进行组合式解释。
• 该框架实现了对词汇项更灵活、基于分布的建模，具有在动词消歧和句子相似性任务中的潜在应用价值。