[論文レビュー] Plurals: individuals and sets in a richly typed semantics

Bruno Mery, Richard Moot+1 more|arXiv (Cornell University)|Jan 3, 2014

Logic, programming, and type systems参考文献 6被引用数 6

ひとこと要約

この論文は、型適合、意味の転送、型多相性を統合することで、自然言語意味論における複数の意味解釈（集団的、分配的、被覆的）を形式的に扱える、豊かに型付けされた多相的型理論的枠組み（$ abla Ty_n$）を提示する。主な貢献は、Grailパーサー内での計算可能で実装可能な意味論であり、英語、フランス語、日本語における曖昧な複数表現の正確なモデル化を可能にする。

ABSTRACT

We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning, transfers, (in)felicitous co-predication. In this setting we see how the various readings of plurals (collective, dis- tributive, coverings,...) can be modelled.

研究の動機と目的

• 既存の語彙的・構文的意味論の型理論的枠組みと統合可能な、複数の意味解釈を統一的に扱う形式的意味論の構築を目的とする。
• 集団的・分配的・被覆的解釈という複数の意味解釈を、一つの整合的な型システム内でモデル化する課題に取り組むこと。
• 構文的・意味論的パーサーツール（例：Grail）と互換性を持つ、計算的に実装可能な複数意味論の説明を提供すること。
• モンテューグラムマティックの枠組みを超えて、型適合や意味の転送といった語彙的現象を統合すること。

提案手法

• 論文は、型適合をサポートする多相的型理論的枠組み$ abla Ty_n$を採用し、複数表現の柔軟な解釈を可能にする。
• 個体と集合の間のラティス的構造を導入し、合成集合を形成するための結合演算$\oplus$と、集合への属する関係$\leq_i$を用いて集合の構造を定義する。
• 分配的解釈はスター演算子$P^*$によりモデル化され、これは集合のすべての原子的部分に述語を適用することで、集団的および分配的解釈を可能にする。
• 型適合機構は高階関数として形式化され、例として$\Lambda\alpha\lambda P^{\alpha\rightarrow t}\lambda Q^{\alpha\rightarrow t}.\forall x^\alpha. Q(x) \Rightarrow P(x)$のような関数が用いられ、動詞が集合に適用可能になるようにする。
• この枠組みは構文的パーサー（Grail）と統合されており、英語、フランス語、日本語における複数表現を含む文の自動的意味解析を可能にする。
• 英語、フランス語、日本語（例：-tachi接尾語）の例が、集合を表す項と意味の転送を用いて形式化され、言語固有の複数の形態に適合する。

実験結果

リサーチクエスチョン

• RQ1 集団的・分配的・被覆的解釈という複数の意味解釈を、一つの型理論的枠組み内で形式的に区別し、モデル化する方法は何か？
• RQ2 型適合と多相性が、同じ複数表現に対して複数の解釈を可能にする役割は何か？
• RQ3 集合を表す名詞（例：'committee', 'police'）と複数形語尾（例：日本語の-tachi）を、構文的意味論において一貫して扱う方法は何か？
• RQ4 同じ動詞（例：'meet', 'record'）が文法的・意味的文脈によって異なる解釈を生じる仕組みは何か？
• RQ5 複数の意味論を、構文と意味の両方をサポートする計算パーサーでどのように実装できるか？

主な発見

• この枠組みは、'The committees met'のような曖昧な複数表現を成功裏にモデル化し、異なる型適合経路により集団的・集団的解釈と集団的・分配的解釈を区別可能にしている。
• 型適合の使用により、動詞'meet'が個人の集合やグループの集合に適用可能となり、後者では各委員会が独立した会議を別個に開催できる。
• JimiとDustyが歩いているという分配的解釈は、個体に対する全称的量化により捉えられ、各主語が個別に歩いていることを保証する。
• The students recorded a songの被覆的解釈は、全員が少なくとも1回の録音に参加することを許容する形でモデル化され、単一の共同イベントを要件としない。
• 日本語の-tachiのような言語固有の複数形形態は、個体からその周囲（entourage）を生成する集合生成演算子を定義することで、このシステムが一貫して扱える。
• Grailパーサーへの実装により、この枠組みが計算的に実行可能であり、コーパスから半自動的に得られた文法と互換性があることが示された。