[论文解读] Principle Based Semantics for HPSG

Anette Frank, Uwe Reyle|ArXiv.org|Oct 5, 1994

Natural Language Processing Techniques被引用 34

一句话总结

本文提出了一种基于原则的头驱动短语结构语法（HPSG）语义形式，采用未指定话语表示（UDRSs）来处理德语中的量化范围歧义以及整体/分配歧义。通过在量化范围上整合句法约束，并通过修改后的Cooper存储机制分配语义特征，该方法实现了单调的、增量式的解释过程，而无需生成多个完整解释，从而支持高效的消歧和推理。

ABSTRACT

The paper presents a constraint based semantic formalism for HPSG. The advantages of the formlism are shown with respect to a grammar for a fragment of German that deals with (i) quantifier scope ambiguities triggered by scrambling and/or movement and (ii) ambiguities that arise from the collective/distributive distinction of plural NPs. The syntax-semantics interface directly implements syntactic conditions on quantifier scoping and distributivity. The construction of semantic representations is guided by general principles governing the interaction between syntax and semantics. Each of these principles acts as a constraint to narrow down the set of possible interpretations of a sentence. Meanings of ambiguous sentences are represented by single partial representations (so-called U(nderspecified) D(iscourse) R(epresentation) S(tructure)s) to which further constraints can be added monotonically to gain more information about the content of a sentence. There is no need to build up a large number of alternative representations of the sentence which are then filtered by subsequent discourse and world knowledge. The advantage of UDRSs is not only that they allow for monotonic incremental interpretation but also that they are equipped with truth conditions and a proof theory that allows for inferences to be drawn directly on structures where quantifier scope is not resolved.

研究动机与目标

• 开发一种基于约束的HPSG语义形式，以处理由语序重排或移动引发的量化范围歧义。
• 解决由复数名词短语的整体/分配区别引发的歧义。
• 确保句法-语义接口直接编码量化范围和分配性的句法条件。
• 通过未指定语义表示（UDRSs）实现单调的、增量式解释，而非生成多个完整解释。
• 将真值条件和证明理论整合到未指定结构中，实现在不解析范围的情况下进行推理。

提出的方法

• 通过在CONTENT特征结构中引入QSTORE，修改HPSG的Cooper存储机制，即使在未检索时也能保留量化词的意义。
• 用可灵活插入任意位置的列表替代基于栈的QUANTS列表，使顺序与范围解析解耦。
• 通过语法层面的限制（例如，主语NP始终具有最广范围，量化词受小句边界限制）引入对范围的句法约束，并通过特征继承强制执行。
• 使用UDRSs作为部分语义表示，其中量化范围尚未确定，允许单调地添加约束。
• 定义一种语义原则，仅从语义核心投影NUCLEUS，而QUANTS则通过从QSTORE检索逐步构建。
• 在句法、语义与语境/语用知识之间建立清晰接口，支持与推理模块的交互。

实验结果

研究问题

• RQ1 如何修改HPSG语义以表示量化范围歧义，而无需生成多个完整解释？
• RQ2 如何在语法中直接编码量化范围的句法约束（例如，主语NP具有最广范围、量化词受小句边界限制）？
• RQ3 如何在统一的语义框架内处理复数NP的整体与分配解读？
• RQ4 未指定表示如何支持单调的、增量式解释与推理？
• RQ5 如何在部分指定的语义结构中保持真值条件与证明理论？

主要发现

• 所提出的形式化系统为每个句子生成单一的未指定UDRS，避免了生成多个替代表示的需要。
• 量化范围歧义通过向UDRS添加约束实现逐步解析，而非通过筛选预先计算的解释。
• 句法-语义接口直接编码了句法限制，例如主语NP始终具有最广范围。
• 通过禁止在边界节点之间投影被量化NP的意义，强制实现量化词的句法边界性。
• UDRS框架即使在范围未确定时，也支持真值条件与证明论推理。
• 该方法实现了高效的消歧，并支持与语境和语用推理模块的集成。