[論文レビュー] Lexical and Derivational Meaning in Vector-Based Models of Relativisation

Michael Moortgat, Gijs Wijnholds|arXiv (Cornell University)|Nov 30, 2017

Natural Language Processing Techniques参考文献 2被引用数 7

ひとこと要約

本稿は、モダリティ（$\lozenge, \Box$）を備えた拡張された Lambek 論理を用いて、主語と対象の相対節の文法的曖昧さを解消する、オランダ語の合成的分布的モデルを提示する。Frobenius代数的ベクトル空間における相対代名詞の均一な型と意味のレシピを導入することで、文法的曖昧さと意味的合成性を調和させ、オランダ語における両相対対象化タイプに共通する単一の語彙的解釈を可能にする。

ABSTRACT

Sadrzadeh et al (2013) present a compositional distributional analysis of relative clauses in English in terms of the Frobenius algebraic structure of finite dimensional vector spaces. The analysis relies on distinct type assignments and lexical recipes for subject vs object relativisation. The situation for Dutch is different: because of the verb final nature of Dutch, relative clauses are ambiguous between a subject vs object relativisation reading. Using an extended version of Lambek calculus, we present a compositional distributional framework that accounts for this derivational ambiguity, and that allows us to give a single meaning recipe for the relative pronoun reconciling the Frobenius semantics with the demands of Dutch derivational syntax.

研究の動機と目的

• オランダ語の相対節における文法的曖昧さに対処すること。特に、SOV語順により主語と対象の両方の相対節解釈が可能となること。
• この曖昧さにかかわらず意味的合成性を維持する合成的分布的フレームワークを構築すること。
• 主語と対象の両方の相対化タイプにわたる相対代名詞の解釈を統一する、単一の語彙的意味レシピを実現すること。
• Frobenius代数的意味論を、オランダ語のような非英語言語における構文的曖昧さの処理に拡張すること。
• 相対代名詞に単一の型割り当てを適用することで、制御された構造再編を介して主語と対象の両方の相対化を可能にする、という点を示すこと。

提案手法

• オランダ語の SOV 構造における非局所的抽出と制御された再編をモデル化するため、Lambek 論理に随伴モダリティ $\lozenge$ と $\Box$ を拡張する。
• $\text{NL}_\diamond$ 論理を用い、右方向抽出の仮定 $\alpha_\diamond^r, \sigma_\diamond^r$ を導入することで、主語と対象の両方の相対節解釈を導出する。
• 合成性を保持するように、句法学的型を FVect 内のベクトル空間操作に写像するベクトルベースの解釈ホモモーティズムを適用する。
• Frobenius代数的演算としての形式で、相対代名詞の均一な意味レシピを導入し、コピーと削除を介して集合の積を実現する。
• 線形ラムダ項を証明項として用い、語彙的内容に依存しない抽象的な導出意味論を表現する。
• 導出意味論（型レベルの合成）と語彙的意味論（固定された代名詞レシピ）を組み合わせることで、構文的構成にわたる一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 オランダ語の相対代名詞に対して単一の句法学的型割り当てが、主語と対象の両方の相対節解釈をどのように説明できるか。
• RQ2 ベクトルベースのモデルにおいて、主語と対象の両方の導出経路をサポートする、相対代名詞の均一な語彙的意味レシピを定義できるか。
• RQ3 FVect 内の Frobenius代数的演算は、$\text{NL}_\diamond$ 内の制御された構造的再編とどのように作用し、合成性を保つのか。
• RQ4 導出的曖昧さを、意味の均一性を損なわずに、モダライズド型論理でどれほど正確にモデル化できるか。
• RQ5 本モデルは、形式的意味論と比較して、導出的意味論と語彙的意味論の役割分担において、どのように異なるか。

主な発見

• 拡張された $\text{NL}_\diamond$ 論理は、$\alpha_\diamond^r$ および $\sigma_\diamond^r$ 仮定を用いた制御された再編を通じて、オランダ語における主語および対象の両方の相対節解釈を成功裏に導出する。
• 単一の相対代名詞型 $(n\backslash n)/(s/\lozenge\Box np)$ が、両方の相対化タイプをサポートし、文法的曖昧さを解消する。
• 相対代名詞に、Frobeniusコピーを介して集合的解釈を可能にする均一な意味レシピ $\lambda x^{e\rightarrow t}\lambda y^{e\rightarrow t}\lambda z^e.((x\ z)\wedge(y\ z))$ が与えられる。
• モデルは、語彙的内容から抽象化された線形ラムダ項としての導出意味論を維持し、合成性を保証する。
• Frobenius代数的構造により、語彙的レシピがコピーをカプセル化でき、導出意味論における線形性を保ちつつ、集合の積を可能にする。
• 分布的意味論と形式的意味論を統合するアプローチであり、同じ役割分担を模倣する：導出操作が合成を処理し、語彙的操作が意味の構成を処理する。