[論文レビュー] Linear Logic for Meaning Assembly

Mary Dalrymple, John Lamping+2 more|ArXiv.org|Apr 18, 1995

Natural Language Processing Techniques参考文献 25被引用数 36

ひとこと要約

この論文は、意味の構成をLFG（Lexical-Functional Grammar）で行うための帰納的枠組みを提案する。線形論理を意味をf-構造から組み立てる「接着剤」として用いる。線形論理のリソース感受性に基づく推論により、柔軟で順序に依存しない構成が可能となり、量化子のスコープ、変数の束縛、修飾の処理を自然に扱える。同時に完全性と整合性を保証する。これは、構文と意味のインターフェースに一貫性があり、言語に依存しない適用が可能な解決策を提供する。

ABSTRACT

Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts. Meanings are often assumed to combine via function application, which works well when constituent structure trees are used to guide semantic composition. However, we believe that the functional structure of Lexical-Functional Grammar is best used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format. It has been difficult, however, to reconcile this approach with the combination of meanings by function application. In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure. Our use of linear logic as a `glue' for assembling meanings allows for a coherent treatment of the LFG requirements of completeness and coherence as well as of modification and quantification.

研究の動機と目的

• 従来の意味論における剛直な階層的構成と、LFGの順序に依存しない平坦なf-構造との間の不一致を解消すること。
• 関数適用や属性値構造の限界を克服し、変数の束縛や量化子のスコープに関する制約を表現すること。
• LFGの文法的表現を尊重しつつ、英語のような句の順序に強制されない、一貫性のある言語に依存しない意味構成メカニズムを構築すること。
• 意味の導出において完全性と整合性を保証する形式的枠組みを提供することと、修飾や内省性を適切に扱うこと。

提案手法

• 線形論理をLFGのf-構造と意味解釈の関係を表現する帰納的枠組みとして用いる。
• 語彙的エントリをリソース感受性のある含意を伴う線形論理の論理式として符号化し、意味的構成要素の制御された、一度きりの使用を可能にする。
• 意味の導出に焦点化された証明探索を適用し、証明構築の選択が異なるスコープ読み（例：∀∃ と ∃∀）に対応する。
• 量化子と修飾語を高階の論理式として表現し、構造的証明規則によって変数を束縛し、スコープを制御する。
• 意味的構成要素を再利用可能で制約付きのリソースとして扱うことで、複雑な述語の形成と構造共有を可能にする。
• 動詞意味のカリー化形（例：appointed₁ と appointed₂）を用いて、異なる構成順序を探索し、異なる意味的読みを導出する。

実験結果

リサーチクエスチョン

• RQ1 文法的構成要素の順序に依存しない意味構成が、LFGにおいても正しく完全に保たれる方法は何か？
• RQ2 線形論理は、変数の束縛と量化子のスコープをサポートする形で、語彙的意味の一度きりの使用をどのように表現・強制できるか？
• RQ3 同じf-構造から、固定された構成順序を課さずに、複数の明確に異なる読み（例：∀∃ と ∃∀）を導出できる形式的メカニズムは何か？
• RQ4 修飾や複雑な述語の形成は、リソース感受性のある意味枠組み内でどのように自然にモデル化できるか？
• RQ5 このアプローチは、表面構造が構成をガイドしない自由語順言語（例：Warlpiri）やVSO言語（例：アイルランド語）を一貫して扱えるか？

主な発見

• この枠組みは、'Every candidate appointed a manager' といった文の ∀∃ 読みと ∃∀ 読みの両方を正しく導出でき、適切な量化子スコープ行動を示している。
• 線形論理の使用により、各語彙的意味が正確に一度だけ使用され、階層的順序に縛られない構成性の制約を満たしている。
• 束縛された代名詞や内省性も、複雑な意味的ユニットと変数の束縛を含む導出を通じて自然に処理されている。
• 焦点化された証明探索により、システムはすべての可能な導出を体系的に探索し、データが要請する意味的に整合性のある読みのみを出力する。
• この枠組みは構造共有と複雑な述語の処理を洗練された形で扱っており、LFGに基づく意味論の適用範囲を単純な文を超えて拡張している。
• 言語特有の文法的補助構造を必要としないため、多様な語順を有する言語の分析に適している。