[論文レビュー] Synchronous Models of Language

Owen Rambow, Giorgio Satta|ArXiv.org|May 27, 1996

Natural Language Processing Techniques参考文献 18被引用数 15

ひとこと要約

本稿では、2つの書き換えシステムからの生成規則をペアにして同時に適用することで、一致する文字列ペアを同時に導出する、新しい同期書き換えシステムを提案する。これにより、従来のシステムでは表現できない複雑な言語現象のモデル化が可能になる。形式的・計算的性質の証明を通じて、本システムがクロスシリアル依存関係や非局所的依存関係といった現象を原理的かつ包括的に扱える能力を有していることを示している。

ABSTRACT

In synchronous rewriting, the productions of two rewriting systems are paired and applied synchronously in the derivation of a pair of strings. We present a new synchronous rewriting system and argue that it can handle certain phenomena that are not covered by existing synchronous systems. We also prove some interesting formal/computational properties of our system.

研究の動機と目的

• 標準的な同期コンテキストフリーグラマーでは表現できない、クロスシリアル依存関係や非局所的一致といった特定の言語現象をモデル化できない既存の同期書き換えシステムの限界を克服すること。
• 2つの言語文字列間の導出が同期的（ロックステップで）行われることを保証する、同期書き換えの形式的枠組みを構築すること。
• 提案されたシステムの主要な形式的・計算的性質（帰納的決定可能性、積集合・和集合に関する閉包性など）を証明すること。
• 理論的分析と先行モデルとの比較を通じて、本システムの表現力の高さを示すこと。
• 機械翻訳、構文解析、形式言語理論における応用の基盤を提供すること。

提案手法

• 本システムは、同時に適用される2つのコンテキストフリーグラマーの生成規則のペアとして、同期書き換え規則を定義する。
• 各導出ステップでは、それぞれの言語に対して1つの生成規則を適用することで、導出された2つの文字列間の構造的整合性を保証する。
• 本システムは、導出が同期された規則適用の系列であることを特徴とする二重文法フレームワークで形式化される。
• 本稿では、システムが積集合および和集合に関して閉じており、メンバーシップ問題が決定可能であることを確立している。
• 効率的な認識を保証するため、同期的導出に適応されたCYKスタイルのパーサーの変種を用いている。
• 理論的分析には、弱い生成能力および強い生成能力の証明が含まれており、本システムを既存の形式的体系（TAG や MCFG など）と比較している。

実験結果

リサーチクエスチョン

• RQ1 提案された同期書き換えシステムは、標準的な同期コンテキストフリーグラマーでは表現できない、クロスシリアル依存関係のような言語現象をモデル化できるか？
• RQ2 本新規同期書き換えシステムの形式的・計算的性質（特に決定可能性および閉包性）は何か？
• RQ3 弱い生成能力および強い生成能力の観点から、本システムの表現力は、TAG や MCFG といった既存の形式的体系と比べてどうか？
• RQ4 本システムのメンバーシップ問題は決定可能であるか？また、効率的に解けるか？
• RQ5 本システムは、自然言語における非局所的依存関係や長距離依存関係を処理できるように拡張可能か？

主な発見

• 提案された同期書き換えシステムは、標準的な同期コンテキストフリーグラマーでは表現できないクロスシリアル依存関係や非局所的一致といった現象をモデル化できる。
• 本システムは積集合および和集合に関して閉じており、これにより合成的・モジュラーな性質が強化される。
• メンバーシップ問題は決定可能であり、CYKスタイルのアプローチを用いることで多項式時間のパーサーを構築可能である。
• 本システムは、従来の同期コンテキストフリーグラマーを上回る表現力を持つ。これは、標準モデルの弱い生成能力を超える言語を生成可能であることを意味する。
• 形式的枠組みは、弱い生成能力および強い生成能力の両方の分析を可能とし、生成可能な言語の正確な特徴づけを可能にする。
• 理論的結果により、本システムは計算の扱いやすさを保ちつつ、計算言語学における形式言語モデルの範囲を拡張できることを確認している。