[論文レビュー] 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と順序なしベクトル文法の間の弱い同値性を確立する。
• 形式的体系のコア部分が高々文脈敏感であり、多項式時間での解析が可能であることを証明する。
• 生成能力を保持したまま、導出列を支配制約で制限する。

実験結果

リサーチクエスチョン

• RQ1 統一に基づく形式的体系における多重集合値特徴構造は、どのように形式的文法枠組み内で捉えられるか？
• RQ2 支配制約は、文法の導出列にどのように効果的に適用可能か？
• RQ3 多重集合特徴と支配制約を組み合わせた形式的体系は、他の形式的体系と弱く同値にできるか？
• RQ4 このような形式的体系における導出の計算複雑性はいかほどか？
• RQ5 多項式時間での解析が可能な、形式的体系の部分集合は存在するか？

主な発見

• MVLIGsと支配リンクを備えた順序なしベクトル文法は弱く同値であり、同じ言語クラスを生成する。
• この形式的体系は、統一に基づく言語的形式的体系で一般的に用いられる多重集合値特徴構造のモデリングをサポートする。
• 形式的体系の顕著な部分は高々文脈敏感であり、妥当な複雑性の上限を保証する。
• この部分は多項式時間で解析可能であり、導出された文字列の効率的認識と解析を可能にする。
• 支配制約は、生成能力を損なわせることなく、導出順序を効果的に制御する。
• このフレームワークは、特徴構造の多重集合値と構造的語順変動の両方を統一的に扱う手段を提供する。