[论文解读] Lexical and Derivational Meaning in Vector-Based Models of Relativisation

Michael Moortgat, Gijs Wijnholds|arXiv (Cornell University)|Nov 30, 2017

Natural Language Processing Techniques参考文献 2被引用 7

一句话总结

本文提出了一种用于荷兰语关系化结构的组合分布模型，通过引入带有模态的扩展Lambek演算（$\lozenge, \Box$）解决了主语与宾语关系子句的派生歧义问题。通过在Frobenius代数向量空间中为关系代词引入统一的类型与语义规则，该模型调和了句法歧义与语义组合性之间的矛盾，实现了对荷兰语中两种关系化类型的单一词典解释。

ABSTRACT

Sadrzadeh et al (2013) present a compositional distributional analysis of relative clauses in English in terms of the Frobenius algebraic structure of finite dimensional vector spaces. The analysis relies on distinct type assignments and lexical recipes for subject vs object relativisation. The situation for Dutch is different: because of the verb final nature of Dutch, relative clauses are ambiguous between a subject vs object relativisation reading. Using an extended version of Lambek calculus, we present a compositional distributional framework that accounts for this derivational ambiguity, and that allows us to give a single meaning recipe for the relative pronoun reconciling the Frobenius semantics with the demands of Dutch derivational syntax.

研究动机与目标

• 为解决荷兰语关系子句中的句法歧义问题，其中SOV词序允许主语与宾语关系化结构的双重解读。
• 开发一种组合分布框架，即使在存在歧义的情况下仍能保持语义组合性。
• 通过单一的词典意义规则，统一两种关系化类型中关系代词的解释。
• 将Frobenius代数语义扩展至非英语语言（如荷兰语）中的派生歧义处理。
• 证明单一的关系代词类型分配可通过受控结构重组，同时支持主语与宾语关系化。

提出的方法

• 在Lambek演算中引入伴随模态$\lozenge$与$\Box$，以建模荷兰语SOV结构中的非局部提取与受控重组。
• 使用$\text{NL}_\diamond$演算，并通过右向提取公设$\alpha_\diamond^r, \sigma_\diamond^r$推导出主语与宾语关系化结构的两种解读。
• 应用基于向量的解释同态映射，将句法类型映射到FVect中的向量空间运算，保持组合性。
• 引入一种Frobenius代数运算形式的统一关系代词意义规则，通过复制与删除操作支持交集运算。
• 使用线性lambda项作为证明项，抽象表示派生语义，独立于词汇内容。
• 将派生语义（类型级组合）与词典语义（固定代词规则）相结合，确保各类结构间的一致性。

实验结果

研究问题

• RQ1 如何通过单一的关系代词句法类型分配，解释荷兰语中主语与宾语关系化结构的双重解读？
• RQ2 是否可以在基于向量的模型中定义一个统一的词典意义规则，使其同时支持两种派生路径？
• RQ3 FVect中的Frobenius代数运算如何与$\text{NL}_\diamond$中的受控结构重组相互作用，以保持组合性？
• RQ4 在不牺牲语义统一性的前提下，多大程度上可使用模态化类型演算来建模荷兰语中的派生歧义？
• RQ5 与形式语义学相比，该模型在派生语义与词典语义之间的分工上表现如何？

主要发现

• 扩展的$\text{NL}_\diamond$演算通过使用$\alpha_\diamond^r$与$\sigma_\diamond^r$公设进行受控重组，成功推导出荷兰语中主语与宾语关系化结构的两种解读。
• 单一的关系代词类型$(n\backslash n)/(s/\lozenge\Box np)$同时支持两种关系化类型，解决了句法歧义。
• 关系代词被赋予统一的意义规则$\lambda x^{e\rightarrow t}\lambda y^{e\rightarrow t}\lambda z^e.((x\ z)\wedge(y\ z))$，通过Frobenius复制操作实现交集性解释。
• 该模型将派生语义保持为线性lambda项，抽象于词汇内容，确保了组合性。
• Frobenius代数结构使词典规则能够封装复制操作，在保持派生语义线性的同时实现集合交集。
• 该方法通过镜像相同的分工模式，统一了分布语义与形式语义：派生操作负责组合，词典操作负责意义组装。