[論文レビュー] A Deductive Account of Quantification in LFG

Mary Dalrymple, John Lamping+2 more|ArXiv.org|Apr 27, 1994

Natural Language Processing Techniques参考文献 26被引用数 28

ひとこと要約

本稿は、線形論理を用いた帰納的枠組みを提示し、意味論的証明のメカニズムによって量化のスコープと束縛照応をモデル化するLexical-Functional Grammar (LFG)における量化を扱う。コープ・ストレージのような補助的メカニズムを不要にし、意味的寄与を線形論理の論理式として符号化することで、各量化子が正確に一度だけ使用されることを保証し、スコープの曖昧さと照応的依存関係を的確に捉える。

ABSTRACT

The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic in a way that explains correctly the constrained interactions between quantifier scope ambiguity and bound anaphora. The use of a deductive framework to account for the compositional properties of quantifying expressions in natural language obviates the need for additional mechanisms, such as Cooper storage, to represent the different scopes that a quantifier might take. Instead, the semantic contribution of a quantifier is recorded as an ordinary logical formula, one whose use in a proof will establish the scope of the quantifier. The properties of linear logic ensure that each quantifier is scoped exactly once. Our analysis of quantifier scope can be seen as a recasting of Pereira's analysis (Pereira, 1991), which was expressed in higher-order intuitionistic logic. But our use of LFG and linear logic provides a much more direct and computationally more flexible interpretation mechanism for at least the same range of phenomena. We have developed a preliminary Prolog implementation of the linear deductions described in this work.

研究の動機と目的

• コープ・ストレージのような臨時的メカニズムに依存しない、LFGにおける量化の構成的で帰納的な説明を提供すること。
• 線形論理における形式的証明を用いて、量化子のスコープの曖昧さと束縛照応の相互作用をモデル化すること。
• 線形論理の使用をLFGにおける文法・意味のインターフェースに拡張し、柔軟で順序に依存しない意味的合成を可能にすること。
• 線形論理が、解釈において各量化子が正確に一度だけ使用されることという制約を自然に強制することを示すこと。
• 自然言語における量化された名詞句を解釈するための計算的に扱いやすく一般性の高い枠組みを提供すること。

提案手法

• 量化子の意味的寄与を線形論理の論理式として表現し、f-構造と意味を結ぶ$\rhd$（グルー）関係を用いる。
• 線形論理の構造的規則、特に指数関数的でない、資源に敏感な性質を用いて、各意味的単位が正確に一度だけ使用されることを強制する。
• f-構造を特徴構造として符号化し、それらを$̳$-項に変換し、$\rhd$関係を通じて意味項に結びつける。
• 線形論理における証明理論的帰納を適用して意味的解釈を導出し、証明の構造自体がスコープと照応的依存関係を符号化する。
• カリー＝ホワイトの同型性を用いて、証明を意味の計算的導出として扱い、論理的結合子が意味的合成を模倣する。
• Prologを用いてシステムを実装し、自然言語の例においてこのアプローチの実現可能性と正しさを示す。

実験結果

リサーチクエスチョン

• RQ1 LFGにおける量化子のスコープの曖昧さは、コープ・ストレージのような補助的記憶メカニズムに依存せずにどのようにモデル化できるか？
• RQ2 量化子のスコープと束縛照応の相互作用は、単一で統一的な帰納的枠組み内でどのように捉えられるか？
• RQ3 線形論理は、資源に敏感な性質を有することを踏まえ、LFGにおける構成的意味論の適切な論理的基盤として機能できるか？
• RQ4 このアプローチは、内省的動詞や複雑な述語形成といった他の現象へどの程度一般化可能か？
• RQ5 スコープと照応を処理する点で、この枠組みは既存のカテゴリー的アプローチとどのように比較できるか？

主な発見

• 線形論理の枠組みは、追加のメカニズムを要せず、量化された名詞句のすべての可能なスコープ読みを正確に導出する。
• このシステムは、量化子のスコープと束縛照応の相互作用を自然に捉えており、照応的代名詞がその先行詞のスコープ内に適切に束縛されていることを保証する。
• 証明において各量化子が正確に一度だけ使用されることから、量化子が複製されたり破棄されたりしないという意味的制約が強制される。
• このアプローチは、特に内省的動詞や複雑な量化を含む問題となる読みに対しても、従来のカテゴリー的システムで困難な点をうまく説明する。
• 初期のProlog実装により、このアプローチの実現可能性と計算的扱いやすさが確認された。
• 特に非線形的かつ順序に依存しない文法的構造を扱う点で、従来のカテゴリー的アプローチに比べ、意味的合成の取り扱いがより柔軟で一般性に富んでいる。