[论文解读] A Deductive Account of Quantification in LFG

Mary Dalrymple, John Lamping+2 more|ArXiv.org|Apr 27, 1994

Natural Language Processing Techniques参考文献 26被引用 28

一句话总结

本文提出了一种基于线性逻辑的演绎框架，用于在词汇功能语法（LFG）中建模量化，其中量词作用域和受控回指通过证明理论机制推导得出。该框架通过将语义贡献编码为线性逻辑公式，消除了对辅助机制（如Cooper存储）的需求，确保每个量词仅被使用一次，从而正确捕捉作用域歧义和回指依赖关系。

ABSTRACT

The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic in a way that explains correctly the constrained interactions between quantifier scope ambiguity and bound anaphora. The use of a deductive framework to account for the compositional properties of quantifying expressions in natural language obviates the need for additional mechanisms, such as Cooper storage, to represent the different scopes that a quantifier might take. Instead, the semantic contribution of a quantifier is recorded as an ordinary logical formula, one whose use in a proof will establish the scope of the quantifier. The properties of linear logic ensure that each quantifier is scoped exactly once. Our analysis of quantifier scope can be seen as a recasting of Pereira's analysis (Pereira, 1991), which was expressed in higher-order intuitionistic logic. But our use of LFG and linear logic provides a much more direct and computationally more flexible interpretation mechanism for at least the same range of phenomena. We have developed a preliminary Prolog implementation of the linear deductions described in this work.

研究动机与目标

• 为LFG中的量化提供一种组合性、演绎性的解释，避免使用Cooper存储等临时机制。
• 利用线性逻辑中的形式证明，建模量词作用域歧义与受控回指之间的相互作用。
• 将线性逻辑的应用扩展至LFG的句法-语义接口，实现灵活、顺序无关的语义组合。
• 证明线性逻辑自然地强制执行每个量词在解释中仅被使用一次的约束。
• 为自然语言中量化名词短语的解释提供一种计算上可行且通用的框架。

提出的方法

• 将量词的语义贡献表示为线性逻辑公式，使用$ hd$（胶合）关系将f-结构与意义联系起来。
• 利用线性逻辑的结构规则——尤其是无指数、资源敏感的特性——确保每个语义单元仅被使用一次。
• 将f-结构编码为特征结构，并将其映射为$̳$-项，再通过$ hd$关系与意义项关联。
• 在线性逻辑中应用证明理论演绎以推导语义解释，其中证明结构本身编码了作用域和回指依赖关系。
• 利用Curry-Howard同构性，将证明视为意义计算推导，其中逻辑连接词对应语义组合。
• 在Prolog中实现该系统，以在自然语言实例上验证该方法的可行性和正确性。

实验结果

研究问题

• RQ1 如何在不依赖Cooper存储等辅助存储机制的前提下，建模LFG中的量词作用域歧义？
• RQ2 如何在一个统一的演绎框架中捕捉量词作用域与受控回指之间的相互作用？
• RQ3 鉴于其资源敏感的特性，线性逻辑是否可作为LFG中组合语义的合适逻辑基础？
• RQ4 该方法在多大程度上可推广至其他现象，如模态动词和复杂谓词构造？
• RQ5 与现有范畴化方法相比，该框架在处理作用域和回指方面表现如何？

主要发现

• 线性逻辑框架在无需额外机制的情况下，正确推导出所有可能的作用域读法。
• 该系统自然地捕捉了量词作用域与受控回指之间的相互作用，确保回指代词在其先行词的作用域内被正确绑定。
• 每个量词在证明中仅被使用一次，这强制执行了语义约束：量词不会被复制或丢弃。
• 该方法成功解释了在范畴化系统中存在困难的语义读法，特别是涉及模态动词和复杂量化的情形。
• 初步的Prolog实现证实了该方法的可行性和计算可处理性。
• 与传统范畴化方法相比，该框架在处理非线性、无序句法结构时，提供了更灵活、更通用的语义组合方式。