[論文レビュー] Charts, Interaction-Free Grammars, and the Compact Representation of Ambiguity

Marc Dymetman|ArXiv.org|May 12, 1997

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

ひとこと要約

本稿では、統一文法における曖昧な特徴構造をコンパクトでバックトラックのない表現として導入するための相互作用フリーな文法を提案する。曖昧な表現が、すべての包含される構造を生成する文法として同等に見なせることを示している。この手法により、チャートベースの導出を同等の相互作用フリーな文法に変換し、明示的な曺 ambiguity 追跡を伴わずに効率的な解の列挙が可能になる。その結果、個々にすべての解析を列挙するのと比較して、空間的・時間的計算量が削減される。

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 統一文法における曖昧な特徴構造は、パース中に明示的な曺 ambiguity 追跡を伴わずに、どのように形式的に表現できるか？
• RQ2 パースの文脈において、チャート、文法、曖昧な特徴構造の間の数学的関係は何か？
• RQ3 チャートベースの導出は、バックトラックを伴わずにすべての解を生成する文法形式に変換可能か？
• RQ4 曖昧な特徴構造に含まれるすべての解をコンパクトに表現するためには、文法が満たすべき性質は何か？
• RQ5 個々の解を列挙する実用的効率を維持しつつ、よりコンパクトな文法ベースの表現を用いることは可能か？

主な発見

• 本稿では、曖昧な特徴構造が、バックトラックを伴わずにすべての包含される特徴構造を生成する相互作用フリーな文法と数学的に同等であることを確立している。
• チャートを相互作用フリーな文法に変換することで、明示的な列挙と比較して、時間的・空間的計算量を削減したすべての解の列挙が可能になる。
• 相互作用フリーな文法表現は、個々の解析を列挙するのと同等の実用性を維持しているが、より効率的に生成される。
• 曺 ambiguity を記録するための特別なデータ構造の必要性が排除され、実装およびランタイム管理が簡素化される。
• このフレームワークは、統一文法における曖昧性を研究するための一様で形式的な基盤を提供し、チャートと文法の関係に関する先行研究を拡張する。
• このアプローチは LFG や類似のフレームワークにも適用可能であり、特徴ベースの文法における更 ambiguity のスケーラブルな解決策を提供する。