[論文レビュー] Montague Semantics for Lambek Pregroups

Giovanni de Felice, Konstantinos Meichanetzidis+1 more|arXiv (Cornell University)|May 17, 2019

Semantic Web and Ontologies被引用数 1

ひとこと要約

この論文は、集合と関係の圏における分布的組立的（DisCo）モデルと関係データベースの間の形式的リンクを確立し、自然言語の断片における文の意味と含意が、結合的クエリ評価および包含に還元されることを示している。さらに、この枠組みにおける質問応答がNP完全であることを示しており、組立的意味論に複雑性理論的基盤を提供している。

ABSTRACT

Distributional compositional (DisCo) models are functors that compute the meaning of a sentence from the meaning of its words. We show that DisCo models in the category of sets and relations correspond precisely to relational databases. As a consequence, we get complexity-theoretic reductions from semantics and entailment of a fragment of natural language to evaluation and containment of conjunctive queries, respectively. Finally, we define question answering as an NP-complete problem.

研究の動機と目的

• 集合と関係の圏におけるDisCoモデルと関係データベースの間の関係を形式化すること。
• 自然言語意味論と含意から、データベースクエリ評価および包含への複雑性理論的還元を確立すること。
• この形式的枠組みにおける質問応答の計算複雑性を特徴づけること。
• 関係構造を用いたカテゴリー的かつ計算的基盤を提供し、組立的分布的意味論を確立すること。

提案手法

• Lambek前群から集合と関係の圏への関手としてDisCo意味論をモデル化すること。
• 語の意味を関係として表現し、前群文法の型を介して文の意味を関係的合成により構築すること。
• 文の含意を関係データベースにおける結合的クエリの包含にマッピングすること。
• 入力の関係データベース表現上で結合的クエリを評価することにより、質問応答を還元すること。
• 関係構造を用いて計算複雑性を分析し、質問応答がNP完全であることを示すこと。
• 既知のデータベースクエリ複雑性結果を活用して、意味的タスクの複雑性上限を導出すること。

実験結果

リサーチクエスチョン

• RQ1 集合と関係の圏におけるDisCoモデルは、関係データベースとどのように関係しているか？
• RQ2 この枠組みにおける文の意味の評価は、データベースにおける結合的クエリ評価に還元可能か？
• RQ3 この形式的枠組みにおける文の含意は、結合的クエリの包含に等しいか？
• RQ4 このモデルにおける質問応答の計算複雑性は何か？
• RQ5 Lambek前群のカテゴリー的構造を用いて、自然言語意味論の複雑性理論的結果を導出可能か？

主な発見

• 集合と関係の圏におけるDisCoモデルは、関係データベースと同型であり、明確なカテゴリー的対応関係を確立している。
• 文の意味評価は、関係データベースにおける結合的クエリの評価に還元される。
• 文の間の含意は、結合的クエリの包含に還元される。
• この枠組みにおける質問応答はNP完全であり、タイトな複雑性バインドが確立されている。
• この形式的枠組みにより、データベースクエリ最適化および複雑性理論の自然言語意味論への応用が可能になる。