[論文レビュー] Quantifiers, Anaphora, and Intensionality

Mary Dalrymple, John Lamping+2 more|arXiv (Cornell University)|Apr 28, 1995

Natural Language Processing Techniques参考文献 4被引用数 31

ひとこと要約

この論文は、コープ・ストレージのような補助的メカニズムを必要とせず、Lexical-Functional Grammar (LFG) の f-構造を意味的解釈に直接結びつける線形論理に基づくフレームワークを提案する。量化子のスコープ、束縛照応代名詞、および内省的動詞（例：'seek'）を線形論理における証明理論的演算によって符号化することで、de dicto および de re 読みを含むすべての妥当な読みが自然かつ構成的になされる。

ABSTRACT

The relationship between Lexical-Functional Grammar (LFG) {\em functional structures} (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic in a way that correctly explains the constrained interactions between quantifier scope ambiguity, bound anaphora and intensionality. This deductive approach to semantic interpretaion obviates the need for additional mechanisms, such as Cooper storage, to represent the possible scopes of a quantified NP, and explains the interactions between quantified NPs, anaphora and intensional verbs such as `seek'. A single specification in linear logic of the argument requirements of intensional verbs is sufficient to derive the correct reading predictions for intensional-verb clauses both with nonquantified and with quantified direct objects. In particular, both de dicto and de re readings are derived for quantified objects. The effects of type-raising or quantifying-in rules in other frameworks here just follow as linear-logic theorems. While our approach resembles current categorial approaches in important ways, it differs from them in allowing the greater type flexibility of categorial semantics while maintaining a precise connection to syntax. As a result, we are able to provide derivations for certain readings of sentences with intensional verbs and complex direct objects that are not derivable in current purely categorial accounts of the syntax-semantics interface.

研究の動機と目的

• 形式的演繹を用いて LFG の f-構造と意味的解釈の間の直接的かつ構成的リンクを確立すること。
• コープ・ストレージのような追加的メカニズムを排除するため、量化子のスコープを論理的証明に組み込むこと。
• 量化された名詞句、束縛照応代名詞、内省的動詞の間の相互作用を統一的な意味論枠組みで説明すること。
• 型の柔軟性を高めつつも、文法的・意味論的対応の正確さを保ちながら、カテゴリー意味論を拡張すること。
• 追加の規則を用いずに、内省的動詞に量化された目的語を伴う de dicto および de re 読みを導出すること。

提案手法

• 変数束縛とスコープ制約を捉える線形論理の断片を用いて意味的解釈を表現する。
• 各語彙的要素の意味的寄与を、証明における使用が量化子のスコープを決定する論理式として符号化する。
• 線形論理の構造的規則（例：カット、交換、収縮）を用いて一回限りの使用を強制し、スコープのあいまいさを管理する。
• 内省的動詞を、de dicto および de re 読みに対応する複数の有効な証明を生成する論理式でモデル化する。
• 型の変換と量化のための 'cap' および 'cup' 演算子を備えたグルー言語を通じて f-構造と意味的項を統合する。
• 証明理論的メカニズム（例：$orall$-導入、$ ightarrow_{eta}$-簡約）を用いて意味的読みを構成的に導出する。

実験結果

リサーチクエスチョン

• RQ1 補助的ストレージメカニズムを用いずに、どのようにして量化子のスコープのあいまいさを構成的にモデル化できるか？
• RQ2 束縛照応代名詞は、形式的意味論枠組みにおいてどのようにして量化子のスコープと相互作用するか？
• RQ3 同一の仕様に対して de dicto および de re 読みを生成できる論理的メカニズムは何か？
• RQ4 線形論理に基づく演繹系は、構成的整合性を保ちながら LFG における文法と意味論を統合できるか？
• RQ5 このアプローチは、複雑な量化された目的語と内省的動詞を扱う際に、純粋なカテゴリー的アプローチとどのように異なったり拡張されたりするか？

主な発見

• 線形論理フレームワークは、追加のストレージや制約を必要とせず、量化された名詞句を含む文のすべての妥当な読み、特にスコープのあいまいさを正しく導出する。
• 束縛照応代名詞は証明構造を通じて適切に解決され、各有効な証明が異なるスコープ割り当てに対応する。
• 内省的動詞（例：'seek'）は、同じ論理的仕様の異なる証明を通じて de dicto および de re 読みを生成し、追加の規則を必要としない。
• このアプローチは、型上昇や量化インを、別個の文法的操作としてではなく、線形論理の定理として自然に捉える。
• 標準的なカテゴリー的フレームワークで導出できない読み、特に複雑な直接目的語と内省的文脈を含む読みも、このシステムは説明できる。
• 'cap' および 'cup' 演算子を備えたグルー言語の使用により、型の変換を柔軟に可能にしつつも、意味的構成の証明理論的制御を維持できる。