[論文レビュー] Memoization in Constraint Logic Programming

Mark Johnson|ArXiv.org|Apr 11, 1994

Logic, Reasoning, and Knowledge参考文献 12被引用数 7

ひとこと要約

この論文は、一般化された語句構造文法（GPSG）や語彙機能文法（LFG）における解析など、複雑な制約の入れ違いを伴う自然言語処理タスクにおいて、制約論理プログラミング（CLP）のパフォーマンス最適化を図るためのメモ化技術を導入する。部分目標とその答えの置換をキャッシュすることで、再帰的およびコルーチン処理のワークロードにおける重複計算を削減し、著しく効率性を向上させる。

ABSTRACT

This paper shows how to apply memoization (caching of subgoals and associated answer substitutions) in a constraint logic programming setting. The research is is motivated by the desire to apply constraint logic programming (CLP) to problems in natural language processing that involve (constraint) interleaving or coroutining, such as GB and HPSG parsing.

研究の動機と目的

• 制約の入れ違いを伴う自然言語処理タスクに適用された制約論理プログラミングにおけるパフォーマンスのボトルネックを解消すること。
• HPSG や GB などの言語的形式主義で一般的な再帰的およびコルーチン処理の CLP プログラムにおける重複計算を削減すること。
• 関数型プログラミングで一般的に用いられるメモ化を、制約論理プログラミングのパラダイムに適応すること。
• 文法解析や言語的分析における複雑で入れ違いのある制約の効率的取り扱いを可能にすること。
• 部分目標と関連する答えの置換をキャッシュできる、実用的な CLP システムへの拡張を提供すること。

提案手法

• 実行中に部分目標とその関連する答えの置換をキャッシュするメモ化メカニズムを導入する。
• 標準的な制約論理プログラミングの実行モデルを拡張し、部分目標とその計算済みの答えをキャッシュする仕組みを追加する。
• キーが部分目標（制約を含む）で、値が答えの置換の集合であるキーバリュー・ストアを用いる。
• 再帰的またはコルーチン処理の文脈で同一の部分目標を再計算しないために、メモ化を部分的に適用する。
• 宣言的意味論を変更せずに実行エンジンにメモ化を統合する。
• 事前に計算された結果を再利用することで、段階的かつ段階的な制約解決を可能にする。

実験結果

リサーチクエスチョン

• RQ1 メモ化を制約論理プログラミングに効果的に適用することで、重複計算をどのように削減できるか？
• RQ2 自然言語処理における CLP システムにおいて、部分目標と答えの置換をキャッシュすることで得られるパフォーマンス上の利点は何か？
• RQ3 メモ化は文法解析における制約の入れ違いとコルーチン処理とどのように作用するか？
• RQ4 メモ化を CLP に統合しても、言語の宣言的意味論が破壊されないか？
• RQ5 HPSG や GB などの複雑な言語的形式主義の解析において、メモ化の実用的影響は何か？

主な発見

• 再帰的およびコルーチン処理のパターンを含む制約論理プログラムにおいて、メモ化は重複計算を顕著に削減する。
• 元の CLP 実行モデルの正しさを保ちながら、効率性を向上させる。
• 部分目標とその答えの置換をキャッシュすることで、複雑な制約依存関係を持つ解析タスクで測定可能なパフォーマンス向上が得られる。
• 制約の入れ違いが一般的な HPSG や GB などの文法形式主義において、この手法は有効である。
• メモ化の統合はプログラマーに対して透明であり、プログラムの論理的定義を変更する必要がない。
• 論文の実験結果から、複雑な言語的構造の解析時間において、メモ化が顕著な高速化をもたらすことが示された。