[论文解读] Linear Logic for Meaning Assembly

Mary Dalrymple, John Lamping+2 more|ArXiv.org|Apr 18, 1995

Natural Language Processing Techniques参考文献 25被引用 36

一句话总结

本文提出了一种基于线性逻辑的归纳框架，用于词法功能语法（LFG）中的语义组合，以线性逻辑作为‘粘合剂’，从f-结构中构建语义。通过利用线性逻辑的资源敏感推理，该方法实现了灵活、顺序无关的语义组合，自然地处理了量词作用域、变量绑定和修饰语问题，同时确保了完备性与一致性，为句法-语义接口提供了一种统一、跨语言适用的解决方案。

ABSTRACT

Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts. Meanings are often assumed to combine via function application, which works well when constituent structure trees are used to guide semantic composition. However, we believe that the functional structure of Lexical-Functional Grammar is best used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format. It has been difficult, however, to reconcile this approach with the combination of meanings by function application. In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure. Our use of linear logic as a `glue' for assembling meanings allows for a coherent treatment of the LFG requirements of completeness and coherence as well as of modification and quantification.

研究动机与目标

• 解决传统语义学中刚性层级组合与LFG中无序、扁平的f-结构之间的不匹配问题。
• 克服函数应用和属性值结构在表示变量绑定和量词作用域约束方面的局限性。
• 开发一种统一、跨语言适用的语义组合机制，尊重LFG的句法表示，而无需强制采用英语式的短语顺序。
• 提供一个形式化框架，确保语义推导的完备性与一致性，同时处理修饰语和意向性。

提出的方法

• 使用线性逻辑作为演绎框架，表示LFG f-结构与语义解释之间的关系。
• 将词汇条目编码为具有资源敏感蕴含关系的线性逻辑公式，允许对语义成分进行受控且仅使用一次的操作。
• 应用聚焦证明搜索以推导语义，其中证明构造中的选择对应于不同的作用域解读（例如，∀∃ 与 ∃∀）。
• 将量词和修饰语表示为高阶公式，通过结构化证明规则实现变量绑定与作用域控制。
• 通过将语义成分视为可重用的受限资源，支持复杂谓词的形成与结构共享。
• 使用动词意义的柯里化变体（例如，appointed₁ 和 appointed₂）探索不同的组合顺序，推导出不同的语义解读。

实验结果

研究问题

• RQ1 如何在保持正确性与完备性的前提下，使语义组合独立于句法短语顺序，同时适用于LFG？
• RQ2 线性逻辑如何表示并强制实现词汇意义的一次性使用，以支持变量绑定与量词作用域？
• RQ3 何种形式化机制能够从同一f-结构中推导出多种不同解读（例如，∀∃ 与 ∃∀），而无需固定组合顺序？
• RQ4 如何在资源敏感的语义框架中自然地建模修饰语与复杂谓词的形成？
• RQ5 该方法能否统一处理自由词序语言（如Warlpiri）和主-谓-宾语序语言（如爱尔兰语），其中表层结构无法引导组合？

主要发现

• 该框架成功推导出句子如‘Every candidate appointed a manager’的∀∃与∃∀两种解读，展示了正确的量词作用域行为。
• 线性逻辑的使用确保每个词汇意义仅被使用一次，满足组合性约束，同时无需强制层级顺序。
• 该方法自然地处理了受辖回指与意向性，如涉及复杂语义单元与变量绑定的推导所示。
• 通过使用聚焦证明搜索，系统系统性地探索所有可能的推导路径，仅生成数据所要求的语义一致解读。
• 该框架对结构共享与复杂谓词提供了清晰的处理方式，将基于LFG的语义适用范围扩展至复杂句。
• 该方法避免了对语言特定句法支架的依赖，使其适用于多种词序语言的跨语言分析。