[論文レビュー] A Frobenius Algebraic Analysis for Parasitic Gaps

Michael Moortgat, Mehrnoosh Sadrzadeh+1 more|arXiv (Cornell University)|May 12, 2020

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

ひとこと要約

本稿は、自然言語における寄生的欠損を、カテゴリー文法枠組み内での語彙的多形性を通じて意味的重複をモデル化するフロベニウス代数的アプローチを提示する。ラムベック計算に構造的制御モダリティを拡張し、有限次元ベクトル空間のコンパクト閉じた圏において型を解釈することで、著者たちはフロベニウス代数を用いて一般化された協調と多形的型スキーマをモデル化し、明示的な文法的コピーを必要としない寄生的欠損の構文的解釈を可能にする。

ABSTRACT

The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon. Parasitic gaps in adjuncts are analysed as forms of generalized coordination with a polymorphic type schema for the head of the adjunct phrase. For parasitic gaps affecting arguments of the same predicate, the polymorphism is associated with the lexical item that introduces the primary gap. Our analysis is formulated in terms of Lambek calculus extended with structural control modalities. A compositional translation relates syntactic types and derivations to the interpreting compact closed category of finite dimensional vector spaces and linear maps with Frobenius algebras over it. When interpreted over the necessary semantic spaces, the Frobenius algebras provide the tools to model the proposed instances of lexical polymorphism.

研究の動機と目的

• 非線形的意味的重複の問題を、文法的コピーに依存せずに扱うため。
• 補助的構文と共項構文における寄生的欠損を、カテゴリー枠組み内での多形的型スキーマを用いてモデル化するため。
• ベクトル空間上でのフロベニウス代数を用いた、構文的解釈可能な分布的意味論モデルを提供するため。
• 相対代名詞や前置詞（例：'that', 'without'）を、意味的型の間の多形的写像として一般化するため。
• 特定の実装（例：ι写像）から抽象化することで、語彙的項目のデータ駆動型モデリングを可能にするため。

提案手法

• フレーズ内仮説と構造的柔軟性を管理するため、ラムベック計算に構造的制御モダリティを拡張する。
• 文法的型から有限次元ベクトル空間と線形写像のコンパクト閉じた圏への構文的解釈を、構文的翻訳として用いる。
• 語彙的項目が欠損を導入する際の多形的型スキーマをモデル化するため、意味空間上でのフロベニウス代数を適用する。
• 一般化された協調を通じて寄生的欠損をモデル化する：主語名詞句と動詞句がフロベニウス代数構造を通じて協調される。
• 相対代名詞や前置詞を多形的写像（例：N⊗S ⇒ N⊗N）として表現し、特定の意味的実装から抽象化する。
• ランク低下のためのι作用を初期段階として用い、後にデータ駆動型学習を可能にするより抽象的な代替案に一般化する。

実験結果

リサーチクエスチョン

• RQ1 カテゴリー文法において、文法的コピーを明示的に用いずに寄生的欠損をどのようにモデル化できるか。
• RQ2 多形的型スキーマは、補助的構文と共項構文における複数の欠損をどのように協調するか。
• RQ3 ベクトル空間上でのフロベニウス代数は、寄生的欠損に必要な意味的協調をどのようにモデル化できるか。
• RQ4 相対代名詞や前置詞の解釈を、分布的モデリングを支援する一般写像に抽象化できるか。
• RQ5 構造的制御モダリティは、欠損依存関係を管理するために、構文的および意味的役割を果たすか。

主な発見

• 本稿は、文法的コピーを必要とせず、補助的構文と共項構文における寄生的欠損を多形的型スキーマを用いて成功裏にモデル化した。
• フロベニウス代数は、ベクトル空間意味論における複数の欠損の一般化された協調を解釈する意味的メカニズムを提供する。
• 本アプローチにより、相対代名詞や前置詞がN⊗SからN⊗Nへの多形的写像として一般化され、柔軟な意味の合成が可能になった。
• ランク低下のためのι写像は初期段階として特定されたが、将来的にはより抽象的かつデータ駆動型の代替案が提案された。
• 本モデルは、'papers that Bob rejected without reading' や 'this is a candidate whom I would persuade every friend of to vote for' といった文の構文的解釈を、ベクトル空間意味論を用いて可能にした。
• フレームワークは、語彙的項目のより柔軟で分布的根拠に基づくモデリングを可能にし、動詞の意味の多義性解消や文の類似度評価への応用が有望である。