[論文レビュー] Applying Constraint Handling Rules to HPSG

Gerald Penn|ArXiv.org|Jul 7, 2000

Natural Language Processing Techniques参考文献 5被引用数 9

ひとこと要約

この論文は、ヘッド・ドリven フレーズ構造文法（HPSG）の文法開発を強化するために、制約処理ルール（CHR）を属性論理エンジン（ALE）に統合することを提案している。これにより、特徴共現や再帰的関係といった複雑な制約の効率的で宣言的な処理が可能となり、非終了のリスクを排除し、SICStus Prologの従来の遅延機構よりも最大60倍の性能向上を達成する。

ABSTRACT

Constraint Handling Rules (CHR) have provided a realistic solution to an over-arching problem in many fields that deal with constraint logic programming: how to combine recursive functions or relations with constraints while avoiding non-termination problems. This paper focuses on some other benefits that CHR, specifically their implementation in SICStus Prolog, have provided to computational linguists working on grammar design tools. CHR rules are applied by means of a subsumption check and this check is made only when their variables are instantiated or bound. The former functionality is at best difficult to simulate using more primitive coroutining statements such as SICStus when/2, and the latter simply did not exist in any form before CHR. For the sake of providing a case study in how these can be applied to grammar development, we consider the Attribute Logic Engine (ALE), a Prolog preprocessor for logic programming with typed feature structures, and its extension to a complete grammar development system for Head-driven Phrase Structure Grammar (HPSG), a popular constraint-based linguistic theory that uses typed feature structures. In this context, CHR can be used not only to extend the constraint language of feature structure descriptions to include relations in a declarative way, but also to provide support for constraints with complex antecedents and constraints on the co-occurrence of feature values that are necessary to interpret the type system of HPSG properly.

研究の動機と目的

• HPSGの文法開発における制約論理プログラミングの非終了問題を解消するため、手動の遅延文をCHRに置き換えること。
• タイプ付き特徴構造内において、特徴共現や再帰的関係といった複雑な制約の宣言的仕様を可能にすること。
• CHRの効率的なルール適用と包含チェックを活用することで、文法開発システムのパフォーマンスとスケーラビリティを向上させること。
• 現在のProlog実装における制限、特に特徴付き変数と全称的量化の欠如を特定し、将来の言語レベルの拡張を要請すること。

提案手法

• ALEのプレプロセッサを拡張し、HPSGにおけるタイプ付き特徴構造上の制約をCHRルールで管理する。
• CHRの包含チェックを用いて、変数が束縛された場合にのみルール適用をトリガーし、早期または無駄な計算を回避する。
• 高水準の制約を、ガードとユニフィケーションを介して型制約と特徴構造の拡張を処理する原子的CHRルールにコンパイルする。
• ガードベースのメカニズムを採用し、特徴構造の整合的拡張の数（0、1、または>1）を数え、それに応じて失敗または拡張を誘導する。
• CHRの⇐>構文を用いて、整合的拡張の数に基づき統合または失敗するサブタイプ被覆ルールを実装する。
• ドイツ語HPSG文法をコンパイルし、実行速度を測定することで、SICStus Prologのwhen/2と性能を比較評価する。

実験結果

リサーチクエスチョン

• RQ1 CHRを用いることで、HPSGの文法開発における再帰的制約論理プログラミングの非終了問題をどのように解消できるか？
• RQ2 CHRは、Prologにおける従来のコルーチン機構と比較して、制約処理の表現力と効率性をどのように向上させるか？
• RQ3 CHRは、文法解析および生成タスクにおいて、SICStus Prologのwhen/2に比べてどのようなパフォーマンス上の利点を提供するか？
• RQ4 現在のProlog実装における制限、特に特徴付き変数と全称的量化の欠如が、効率的な特徴構造処理を妨げる理由は何か？
• RQ5 複雑な型システムを備えた実世界のHPSG文法において、CHRベースの制約処理は効果的にスケーリング可能か？

主な発見

• CHRは、再帰的かつ複雑な制約をHPSGで宣言的かつ堅牢に管理する手段を提供し、手動の遅延文の必要性を排除する。
• CHRの包含チェックは、変数が束縛された場合にのみルール適用をトリガーするため、when/2のようなコルーチン機構よりも効率的で信頼性が高い。
• SICStus Prologにおいて、CHRによる直接実装は、同じシステム内でのwhen/2ベースのアプローチと比較して最大60倍遅いことが判明し、現在のCHRライブラリ実装に非効率性が存在することが示された。
• それでも本論文は、CHRが宣言的意味論と制約依存関係の適切な処理を備えているため、文法開発において根本的により適していると主張する。
• パフォーマンスのボトルネックは、SICStus Prologの下位互換の特徴付き変数実装に起因しており、これが効率的な特徴構造符号化を妨げている。
• 著者らは、制約の全称的量化のための将来の言語レベルのサポートと、より効率的な特徴付き変数の実装が、CHRをHPSGシステムで最大限に活用するために不可欠であると特定した。