[論文レビュー] An Abstract Machine for Unification Grammars

Shuly Wintner|ArXiv.org|Sep 23, 1997

Natural Language Processing Techniques被引用数 14

ひとこと要約

本稿では、型付き特徴構造に基づく未統一文法のための抽象機械AMALIAを提示する。特にHPSGに基づく文法を対象としており、言語的形式的体系を低レベル命令にコンパイルすることで、効率的な解析を実現している。ヘブライ語文法の実装とベンチマークテストを通じて、ALEより2.5倍の高速化を達成し、高いパフォーマンスを示している。

ABSTRACT

This work describes the design and implementation of an abstract machine, Amalia, for the linguistic formalism ALE, which is based on typed feature structures. This formalism is one of the most widely accepted in computational linguistics and has been used for designing grammars in various linguistic theories, most notably HPSG. Amalia is composed of data structures and a set of instructions, augmented by a compiler from the grammatical formalism to the abstract instructions, and a (portable) interpreter of the abstract instructions. The effect of each instruction is defined using a low-level language that can be executed on ordinary hardware. The advantages of the abstract machine approach are twofold. From a theoretical point of view, the abstract machine gives a well-defined operational semantics to the grammatical formalism. This ensures that grammars specified using our system are endowed with well defined meaning. It enables, for example, to formally verify the correctness of a compiler for HPSG, given an independent definition. From a practical point of view, Amalia is the first system that employs a direct compilation scheme for unification grammars that are based on typed feature structures. The use of amalia results in a much improved performance over existing systems. In order to test the machine on a realistic application, we have developed a small-scale, HPSG-based grammar for a fragment of the Hebrew language, using Amalia as the development platform. This is the first application of HPSG to a Semitic language.

研究の動機と目的

• 未統一文法、特にHPSGのための効率的な実行モデルを設計すること。これは、高水準の宣言的プログラムとしてモデル化することを目的とする。
• 高水準の言語的形式的体系と効率的な低レベル実行の間のギャップを、抽象機械アーキテクチャによって埋めること。
• コンパイルされた命令セットとポータブルインタプリタを用いて、複雑な文法のポータブルで効率的かつ正確な解析を可能にすること。
• ヘブライ語の完全なHPSG文法を用いた実装を通じて、このアプローチの実現可能性とパフォーマンスを示すこと。

提案手法

• ALE（型付き特徴構造形式的体系）からの変換を想定した、定義された命令セット、メモリモデル、およびコンパイルパイプラインを有する抽象機械AMALIAの設計。
• 型の階層構造と文法を、効率的な実行を目的とした低レベル機械命令のシーケンスにコンパイルすること。
• 異なるホストアーキテクチャ上でAMALIA命令を実行するためのポータブルインタプリタの使用により、ポータビリティと効率性を確保すること。
• 遅延評価、部分記述、関数的アタッチメントなどの技術を用いて、特徴構造処理の最適化を図ること。
• 解析を操作的意味論として統合し、文法規則を直接特徴構造を操作するマシンコードにコンパイルすること。
• 導出の正しさと完全性を保証するため、マシンレベルでの統一と下位包含チェックを用いること。

実験結果

リサーチクエスチョン

• RQ1 抽象機械モデルは、高いパフォーマンスと正しさを実現する未統一文法のコンパイルと実行に効果的に適用可能か？
• RQ2 HPSGからの型付き特徴構造は、解析のための低レベル命令セットにどのように効率的にコンパイル可能か？
• RQ3 遅延評価や部分記述などの最適化技術は、言語的文脈における特徴構造処理の効率をどのように向上させるか？
• RQ4 AMALIAアーキテクチャは、ALEのような既存のシステムに比べて、解析速度とメモリ使用量の面でどの程度優れているか？
• RQ5 抽象機械モデルは、ヘブライ語文法における空成分や機能的アタッチメントといった複雑な言語現象の実装に使用可能か？

主な発見

• AMALIAは、ヘブライ語文法ベンチマークにおいてALEより2.5倍の高速化を達成し、顕著な効率性の向上を示している。
• HPSG文法をAMALIA命令にコンパイルすることで、正しいかつ完全な導出が得られ、妥当性と完全性が形式的に証明されている。
• ポータブルインタプリタの使用により、異なるハードウェアプラットフォーム上で効率的な実行が可能でありながら、高いパフォーマンスを維持している。
• 遅延評価や部分記述などの最適化技術により、メモリオーバーヘッドが低減され、解析効率が向上している。
• システムは、空成分、機能的アタッチメント、語彙的曖昧性といった複雑な言語現象を正常に処理している。
• マシン内での統一と下位包含チェックの形式的定式化により、すべての導出の正しさが保証されている。