[論文レビュー] Compiling HPSG type constraints into definite clause programs

Thilo Goetz, Detmar Meurers|ArXiv.org|May 2, 1995

Natural Language Processing Techniques被引用数 5

ひとこと要約

この論文は、ヘッドドリvenフレーズ構造文法（HPSG）の型制約を、手動翻訳を必要とせず直接実行可能な効率的な確定節プログラムに変換するコンパイラを提示している。オフラインでの制約継承とコード最適化を実行することにより、言語理論の整合性を保ちながらHPSG処理の高い性能を達成している。

ABSTRACT

We present a new approach to HPSG processing: compiling HPSG grammars expressed as type constraints into definite clause programs. This provides a clear and computationally useful correspondence between linguistic theories and their implementation. The compiler performs off-line constraint inheritance and code optimization. As a result, we are able to efficiently process with HPSG grammars without having to hand-translate them into definite clause or phrase structure based systems.

研究の動機と目的

• HPSGにおける言語理論と計算的実装のギャップを埋めるために、文法の自動コンパイルを実現すること。
• HPSG文法を論理形式やフレーズ構造形式に手動で翻訳する必要を排除すること。
• 型制約の事前最適化により、HPSG処理の効率を向上させること。
• HPSG型制約とProlog風の確定節プログラムとの間で明確で実行可能な対応関係を確立すること。
• スケーラブルで保守可能なHPSGベースの自然言語処理システムを支援すること。

提案手法

• コンパイラは、型制約として表現されたHPSG文法を、Prologにおける同等の確定節プログラムに変換する。
• 静的解析を用いて、文法の階層全体にわたる型制約の伝搬と単純化を実行する。
• 制約継承はコンパイル時に解決され、実行時の計算負荷が低減される。
• コード最適化技術を適用して、効率的なPrologコードを生成する。
• 生成されたコードは、実行時の型チェックや手動での再書き換えなしに、完全なHPSG処理をサポートする。
• このアプローチは、実行にあたり標準的な論理プログラミングインfraを活用する。

実験結果

リサーチクエスチョン

• RQ1 HPSG型制約を、体系的かつ実行可能な確定節プログラムにコンパイルする方法は何か？
• RQ2 HPSG処理の効率を向上させるために、事前に適用可能な最適化は何か？
• RQ3 HPSGからPrologへの直接的で理論を保存するコンパイルによって、文法の手動再書き換えの必要性は排除できるか？
• RQ4 静的制約解析とコード生成によって、どの程度のパフォーマンス向上が達成できるか？
• RQ5 コンパイルされたシステムは、実行速度の向上を図りながらも、言語的表現力をどのように維持するか？

主な発見

• コンパイラは、言語的表現力に損なわれることなく、効率的で実行可能な確定節プログラムにHPSG文法を成功裏に変換した。
• 事前の制約継承と最適化により、解析時の実行時オーバーヘッドが顕著に低減された。
• 手動翻訳や実行時型チェックを回避することで、HPSG処理における高いパフォーマンスを達成した。
• このアプローチは、言語理論と実装との間で明確で計算的に有用な対応関係を提供する。
• 生成されたコードは保守可能で効率的であり、実世界のNLPアプリケーションに適している。
• この手法は、確立された論理プログラミング実行モデルを活用することで、スケーラブルなHPSG処理を可能にする。