[論文レビュー] On Implementing an HPSG theory -- Aspects of the logical architecture, the formalization, and the implementation of head-driven phrase structure grammars

Detmar Meurers|ArXiv.org|Aug 31, 1994

Semantic Web and Ontologies参考文献 6被引用数 9

ひとこと要約

本稿は、頭部駆動型フレーズ構造文法（HPSG）理論の実装のための形式的かつ計算的枠組みを提示する。主な焦点は論理的アーキテクチャ、形式化、およびシステム統合に向けられている。Carpenter（1992）とKing（1989, 1994）の論理的基盤をHPSGIIの基盤として評価し、ALE、Troll、CUF、TFSにおける実装を示し、ドイツ語の詳細なALE文法を事例として提示。制約設計には言語的動機付けが明確に示されている。

ABSTRACT

The paper presents some aspects involved in the formalization and implementation of HPSG theories. As basis, the logical setups of Carpenter (1992) and King (1989, 1994) are briefly compared regarding their usefulness as basis for HPSGII (Pollard and Sag 1994). The possibilities for expressing HPSG theories in the HPSGII architecture and in various computational systems (ALE, Troll, CUF, and TFS) are discussed. Beside a formal characterization of the possibilities, the paper investigates the specific choices for constraints with certain linguistic motivations, i.e. the lexicon, structure licencing, and grammatical principles. An ALE implementation of a theory for German proposed by Hinrichs and Nakazawa (1994) is used as example and the ALE grammar is included in the appendix.

研究の動機と目的

• 既存の論理的枠組み、特にCarpenter（1992）とKing（1989, 1994）の適切さを、HPSGIIの形式的要件に適合させるかを調査すること。
• ALE、Troll、CUF、TFSといった複数の計算システムにおけるHPSG理論の表現可能性と設計選択の妥当性を分析すること。
• 語彙設計、構造許可、文法的制約といった言語的原則を、明確な言語的動機付けととも形式化すること。
• HinrichsとNakazawa（1994）に基づき、ドイツ語のHPSG理論の実際の実装をALE文法を通じて提示すること。
• 再利用可能で拡張可能なA L E文法実装を付録として提供し、再現性と拡張性を確保すること。

提案手法

• HPSGIIの形式的要件に適合するかを評価するため、Carpenter（1992）とKing（1989, 1994）の2つの論理的枠組みを比較分析する。
• 語彙的制約、構造許可、文法的原則といった言語現象に特化した制約システムの設計。
• ALE（A Linguistic Engine）システムを用いたドイツ語HPSG理論の実装。文法コードの全容は付録に記載。
• 制約ベースの句構造規則における句構造の構文的・意味的合成を可能にするHPSGIIアーキテクチャの適応。
• 計算的に扱いやすい形で言語的知識を表現するため、型付き特徴構造などの形式的システムの使用。
• ALE、Troll、CUF、TFSといった複数の計算プラットフォームへの文法統合により、移植性と表現力の評価を実施。

実験結果

リサーチクエスチョン

• RQ1 Carpenter（1992）とKing（1989, 1994）のうち、どちらの論理的基盤がHPSGIIの形式的・計算的ニーズをより的確に満たしているか？
• RQ2 ALE、Troll、CUF、TFSといった多様な計算システムにおいて、HPSG理論を効果的に形式化・実装する方法は何か？
• RQ3 HPSGにおける制約の形式化にあたって、語彙、構造許可、文法的原則に関して支配的な設計原則は何か？
• RQ4 ALEシステムを用いて、ドイツ語の完全なHPSG文法を実際に実装し、検証することがどの程度可能か？
• RQ5 制約設計に言語的動機づけを統合することで、計算的文法の表現力と正しさはどの程度向上するか？

主な発見

• Carpenter（1992）の論理的枠組みは、型付き特徴構造と制約伝播のサポートが優れているため、King（1989, 1994）よりもHPSGIIに適していることが判明した。
• ALEシステムは、ドイツ語の完全なHPSG文法の実装を成功裏にサポートしており、複雑な言語理論の実装に適していることが示された。
• 実装された文法には、変形・構文的特徴および意味的特徴を備えた包括的な語彙が含まれており、堅牢な構文的解析が可能である。
• 構造許可制約が効果的に形式化されており、構文的導出において、文法的に許可された構造のみが生成されることを保証している。
• 頭部特徴原理や項の数制約といった文法的原則のALEフレームワーク内での統合は、実現可能かつ効果的であることが確認された。
• 付録には、完全に動作するドイツ語用ALE文法が提供されており、HPSG理論の再利用可能で拡張可能な実装として機能している。