[论文解读] Ellipsis and Quantification: a substitutional approach

Richard Crouch|arXiv (Cornell University)|Feb 13, 1995

Natural Language Processing Techniques参考文献 9被引用 23

一句话总结

本文提出了一种替代性消去理解方法，通过将语义解释视为构建语义组合的描述而非直接执行组合，从而避免了高阶合一的顺序敏感性与计算复杂性。该方法在覆盖范围上与Dalrymple等人提出的方程法相当，同时实现了与顺序无关的处理，消除了过度生成问题，并避免了对量词使用高阶合一。

ABSTRACT

The paper describes a substitutional approach to ellipsis resolution giving comparable results to Dalrymple, Shieber and Pereira (1991), but without the need for order-sensitive interleaving of quantifier scoping and ellipsis resolution. It is argued that the order-independence results from viewing semantic interpretation as building a description of a semantic composition, instead of the more common view of interpretation as actually performing the composition

研究动机与目标

• 为解决Dalrymple等人在消去理解中采用高阶合一方法所面临的计算局限性，特别是其对顺序的敏感性以及对量词依赖复杂合一的问题。
• 解决现有理论中的过度生成问题，尤其是无法区分同指与共指标（角色关联）表达的问题。
• 通过将量词作用域与消去理解解耦，实现对流水线架构的可实现性。
• 保留组合性区分（如同指与共指标），这些区分在标准组合语义中会丢失。
• 提供一种计算上可行、与顺序无关的消去理解处理方式，同时保持对量化和作用域平行性复杂交互的覆盖能力。

提出的方法

• 将消去理解表示为对先行语义表示的替换集合，而非执行完整的语义组合。
• 将语义解释视为构建预期组合的（部分）描述，而非直接执行组合过程。
• 使用替换机制通过类别、时态、体貌和特征结构匹配与替换术语，对冲突特征采用优先并集。
• 将严格同一性与松散同一性的概念扩展至量词项与短语，以支持作用域平行性。
• 通过合并先行语与消去结构的类别和时态特征实现上下文敏感的消去理解，必要时可撤销先前的时态解析。
• 利用简化的准逻辑形式（QLF）记法表示语义组合，包括索引、量词、限制条件和作用域标记，从而支持精确的替换规则。

实验结果

研究问题

• RQ1 在将量词作用域与指代解析分离的系统中，如何实现消去理解的与顺序无关？
• RQ2 替代性方法能否消除在处理量化消去时对高阶合一的需求？
• RQ3 如何以一种保留语义区分且不产生过度生成的方式，区分同指与共指标表达？
• RQ4 在多大程度上可将语义解释视为构建组合描述，而非实际执行组合？
• RQ5 如何在先行语与消去结构之间合并类别和时态特征，以在非平行结构中确定正确的动词短语形式？

主要发现

• 该替代性方法在覆盖范围上与Dalrymple等人采用的高阶合一方法相当，但无需依赖作用域与消去理解解析的顺序敏感性交错处理。
• 该方法通过区分共指标（角色关联）与仅同指的表达，消除了过度生成问题，解决了DSP理论中的一个关键缺陷。
• 该方法仅需高阶合一中的二阶匹配，避免了更高阶的复杂性，显著降低了对量化消去的计算复杂度。
• 该方法支持与顺序无关的处理，适合在自然语言处理系统中常见的流水线架构中实现。
• 通过将解释视为描述构建，该方法保留了语言学上有意义的结构区分（如同指与共指标），这些区分在标准组合语义中会丢失。
• 该框架通过合并类别特征并重新评估消去结构重建后的时态解析，自然地处理了作用域平行性以及非平行时态/体貌形式。