[论文解读] Multiset-Valued Linear Index Grammars: Imposing Dominance Constraints on Derivations

Owen Rambow|ArXiv.org|Jun 2, 1994

Natural Language Processing Techniques被引用 4

一句话总结

本文提出了多集值线性索引语法（MVLIGs）和带支配链接的无序向量语法，通过支配约束统一了特征结构建模与词序变异。这些形式系统在弱等价下相互关联，其关键子集为至多上下文有关且可多项式时间解析，为语言形式系统提供了高效的推导控制。

ABSTRACT

This paper defines multiset-valued linear index grammar and unordered vector grammar with dominance links. The former models certain uses of multiset-valued feature structures in unification-based formalisms, while the latter is motivated by word order variation and by ``quasi-trees'', a generalization of trees. The two formalisms are weakly equivalent, and an important subset is at most context-sensitive and polynomially parsable.

研究动机与目标

• 在基于统一的形式系统中，使用一种新型语法形式系统来建模多集值特征结构。
• 解决句法推导中的词序变异与准树状结构问题。
• 将支配约束整合到推导机制中，以改善结构控制。
• 建立多集值线性索引语法（MVLIGs）与无序向量语法之间的弱等价性。
• 证明该形式系统的显著子集至多为上下文有关，并且可多项式时间解析。

提出的方法

• 定义多集值线性索引语法（MVLIGs），以表示具有多集值的特征结构。
• 引入支配链接，以在推导步骤中强制实施结构约束。
• 将无序向量语法形式化为MVLIGs的对偶形式系统，强调推导顺序的独立性。
• 通过翻译机制建立MVLIGs与无序向量语法之间的弱等价性。
• 证明该形式系统的核心子集至多为上下文有关，并支持多项式时间解析。
• 使用支配约束限制推导序列，同时保持生成能力。

实验结果

研究问题

• RQ1 如何在形式语法规则框架内捕捉基于统一的形式系统中的多集值特征结构？
• RQ2 支配约束在语法的推导序列中应如何有效施加？
• RQ3 结合多集特征与支配约束的形式系统能否与另一种形式系统实现弱等价？
• RQ4 此类形式系统的推导计算复杂度如何？
• RQ5 是否存在该形式系统的一个子集，可实现高效且多项式时间的解析？

主要发现

• MVLIGs与带支配链接的无序向量语法在弱等价下成立，即它们生成同一类语言。
• 该形式系统支持对统一语言形式系统中常见的多集值特征结构进行建模。
• 该形式系统的一个显著子集至多为上下文有关，确保了合理的复杂度界限。
• 该子集可多项式时间解析，从而实现对生成字符串的高效识别与解析。
• 支配约束能有效控制推导顺序，而不会牺牲生成能力。
• 该框架提供了一种统一方法，用于处理特征结构的多集值与结构化词序变异。