[论文解读] Charts, Interaction-Free Grammars, and the Compact Representation of Ambiguity

Marc Dymetman|ArXiv.org|May 12, 1997

Logic, programming, and type systems参考文献 10被引用 4

一句话总结

本文引入了无交互语法（interaction-free grammars），作为范畴统一语法中模糊特征结构的一种紧凑、无需回溯的表示方法，表明模糊表示可等价地视为生成所有被蕴含结构的语法。该方法将基于图表的推导转化为等价的无交互语法，实现无需显式追踪模糊性的高效解枚举，从而相比单独列出所有解析结果，显著降低了空间和时间复杂度。

ABSTRACT

Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell 96]. This paper clarifies the mathematical foundations of these techniques, provides a uniform framework in which they can be formally studied and eliminates the need for special purpose runtime data-structures recording ambiguity. The paper posits the identity: Ambiguous Feature Structures = Grammars, which states that (finitely) ambiguous representations are best seen as unification grammars of a certain type, here called ``interaction-free'' grammars, which generate in a backtrack-free way each of the feature structures subsumed by the ambiguous representation. This work extends a line of research [Billot and Lang 89, Lang 94] which stresses the connection between charts and grammars: a chart can be seen as a specialization of the reference grammar for a given input string. We show how this specialization grammar can be transformed into an interaction-free form which has the same practicality as a listing of the individual solutions, but is produced in less time and space.

研究动机与目标

• 形式化统一语法中模糊性表示的数学基础，特别是在LFG框架中的应用。
• 消除在解析过程中追踪模糊性所需专用运行时数据结构的需要。
• 通过语法特化视角，为研究特征结构中的模糊性提供统一框架。
• 证明模糊特征结构可等价地表示为无交互语法，该语法生成所有被蕴含的解且无需回溯。

提出的方法

• 提出恒等式：模糊特征结构 = 无交互语法，其中每个模糊结构对应一个生成所有被蕴含特征结构的语法。
• 将参考语法学得至给定输入字符串，生成一个图表，随后将其转化为无交互语法形式。
• 以图表为起点进行语法特化，利用先前研究中已知的图表与语法之间的联系（Billot & Lang, Lang）。
• 将特化后的语法转化为无交互形式，以避免在解枚举过程中发生回溯。
• 采用形式化框架，确保生成的无交互语法与原始模糊结构产生完全相同的解集。
• 证明无交互语法表示在空间和时间复杂度上优于显式列出所有解的方式。

实验结果

研究问题

• RQ1 如何在形式上表示统一语法中的模糊特征结构，使其在解析过程中无需显式追踪模糊性？
• RQ2 在解析背景下，图表、语法与模糊特征结构之间的数学关系是什么？
• RQ3 能否将基于图表的推导转化为一种语法形式，使其在不发生回溯的情况下生成所有解？
• RQ4 语法需具备何种性质，才能紧凑地表示被模糊特征结构所蕴含的所有解？
• RQ5 是否可能在使用更紧凑的、基于语法的表示的同时，实现与单独列出各解析结果相当的实际效率？

主要发现

• 本文确立了模糊特征结构在数学上等价于无交互语法，后者以无回溯方式生成所有被蕴含的特征结构。
• 将图表转化为无交互语法的转换方法，使得解的枚举在时间和空间复杂度上均优于显式列出所有解的方式。
• 无交互语法表示在实用性上与单独列出各解析结果相当，但生成效率更高。
• 该方法消除了对专用数据结构以记录模糊性的需求，简化了实现与运行时管理。
• 该框架为研究统一语法中的模糊性提供了统一且形式化的基础，扩展了先前关于图表-语法关联的研究。
• 该方法适用于LFG及类似框架，为处理基于特征的语法中的模糊性提供了可扩展的解决方案。