[论文解读] Quantifiers, Anaphora, and Intensionality

Mary Dalrymple, John Lamping+2 more|arXiv (Cornell University)|Apr 28, 1995

Natural Language Processing Techniques参考文献 4被引用 31

一句话总结

本文提出了一种基于线性逻辑的框架，可直接将词汇功能语法（LFG）的f-结构映射到语义解释，无需借助Cooper存储等辅助机制。通过在线性逻辑的证明理论操作中编码量词作用域、受控回指以及模态动词（如‘seek’），该方法自然且组合性地推导出所有可接受的解读——包括de dicto和de re解读。

ABSTRACT

The relationship between Lexical-Functional Grammar (LFG) {\em functional structures} (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic in a way that correctly explains the constrained interactions between quantifier scope ambiguity, bound anaphora and intensionality. This deductive approach to semantic interpretaion obviates the need for additional mechanisms, such as Cooper storage, to represent the possible scopes of a quantified NP, and explains the interactions between quantified NPs, anaphora and intensional verbs such as `seek'. A single specification in linear logic of the argument requirements of intensional verbs is sufficient to derive the correct reading predictions for intensional-verb clauses both with nonquantified and with quantified direct objects. In particular, both de dicto and de re readings are derived for quantified objects. The effects of type-raising or quantifying-in rules in other frameworks here just follow as linear-logic theorems. While our approach resembles current categorial approaches in important ways, it differs from them in allowing the greater type flexibility of categorial semantics while maintaining a precise connection to syntax. As a result, we are able to provide derivations for certain readings of sentences with intensional verbs and complex direct objects that are not derivable in current purely categorial accounts of the syntax-semantics interface.

研究动机与目标

• 通过形式化演绎建立LFG f-结构与语义解释之间的直接、组合性关联。
• 通过在逻辑证明中编码量词作用域，消除对Cooper存储等额外机制的需求。
• 在一个统一的语义框架中解释量词短语、受控回指与模态动词之间的相互作用。
• 在保持精确句法-语义对应关系的同时，扩展范畴语义的类型灵活性。
• 在不引入临时规则的前提下，为带有量词宾语的模态动词推导出de dicto与de re两种解读。

提出的方法

• 使用能捕捉变量绑定与作用域约束的线性逻辑片段来表示语义解释。
• 将每个词素的语义贡献编码为一个逻辑公式，其在证明中的使用方式决定了量词作用域。
• 利用线性逻辑的结构规则（如合用、交换、收缩）强制单次使用语义并管理作用域歧义。
• 通过生成多个有效证明的逻辑公式来建模模态动词，对应于de dicto与de re解读。
• 通过包含‘cap’与‘cup’等算子的胶合语言将f-结构与语义项整合，实现类型转换与量化。
• 应用证明理论机制（如$orall$-引入、$ ightarrow_{eta}$-约化）组合性地推导语义解读。

实验结果

研究问题

• RQ1 如何在不依赖辅助存储机制的前提下，组合性地建模量词作用域歧义？
• RQ2 在形式语义框架中，受控回指如何与量词作用域相互作用？
• RQ3 何种逻辑机制可使单一模态动词的规范生成de dicto与de re两种解读？
• RQ4 基于线性逻辑的演绎系统能否在保持组合完整性的同时统一LFG的句法与语义？
• RQ5 与纯粹的范畴化处理相比，该方法在处理复杂量词宾语与模态语境时有何扩展或差异？

主要发现

• 该线性逻辑框架在无需额外存储或约束的情况下，正确推导出包含作用域歧义的量词短语句子的所有可接受解读。
• 受控回指通过证明结构得到恰当解析，每个有效证明对应一个独立的作用域分配。
• 模态动词（如‘seek’）通过同一逻辑规范的不同证明生成de dicto与de re解读，无需临时规则。
• 该方法自然地将类型提升与量化内化作为线性逻辑的定理，而非作为独立的句法操作。
• 该系统能够解释在标准范畴化框架中不可推导的解读，尤其是涉及复杂直接宾语与模态语境的情形。
• 使用包含‘cap’与‘cup’算子的胶合语言，可在保持证明理论对语义组合的控制力的同时实现灵活的类型转换。