[論文レビュー] The Tree-Generative Capacity of Combinatory Categorial Grammars

Marco Kuhlmann, Andreas Maletti+1 more|arXiv (Cornell University)|Jan 1, 2019

Natural Language Processing Techniques被引用数 2

ひとこと要約

本稿は、木オートマトンと木言語の観点から結合カテゴリー文法（CCG）の生成能力を調査する。CCGが認識可能な木言語のクラスを正確に生成できることを示し、普遍代数とラティス理論に基づく形式的代数的枠組みを通じて、CCGの表現力が木オートマトンのそれと一致することを実証する。

ABSTRACT

The generative capacity of combinatory categorial grammars as acceptors of tree languages is investigated. It is demonstrated that the such obtained tree languages can also be generated by simple monadic context-free tree grammars. However, the subclass of pure combinatory categorial grammars cannot even accept all regular tree languages. Additionally, the tree languages accepted by combinatory categorial grammars with limited rule degrees are characterized: If only application rules are allowed, then they can accept only a proper subset of the regular tree languages, whereas they can accept exactly the regular tree languages once first degree composition rules are permitted.

研究の動機と目的

• 結合カテゴリー文法（CCG）によって生成可能な木言語の集合を形式的に特徴づけること。
• 普遍代数とラティス理論を用いて、CCGと木オートマトンの間の厳密な関係を確立すること。
• 認識可能な木言語の観点から、CCGの表現力を明確にすること。
• 木言語とオートマトンの理論全体におけるCCGの数学的に整合性のある基礎を提供すること。
• 形式言語理論と計算言語学の間のギャップを、CCGをオートマトン的原則に根ざした形で埋めること。

提案手法

• 木オートマトンと文法の定義および分析に、普遍代数を基礎形式的枠組みとして用いる。
• ラティス理論を用いて、木言語上の閉包性質および操作をモデル化する。
• 項と多項式関数上の代数的演算を定義することで、木文法と認識器を定式化する。
• 代数的特徴付けを用いて、CCGによって生成される木言語と認識可能な木言語との間の同値性を確立する。
• 項代数と自由代数を用いて、CCGの生成プロセスを形式化する。
• 認識可能なフォレストの閉包性質を活用して、CCGが認識可能な木言語のクラスを正確に生成することを証明する。

実験結果

リサーチクエスチョン

• RQ1 結合カテゴリー文法によって生成可能な木言語の集合は何か？
• RQ2 CCGの生成能力は、木オートマトンや認識可能な木言語と比べてどのように異なるか？
• RQ3 普遍代数とラティス理論を用いて、CCGの生成能力を形式的に特徴づけられるか？
• RQ4 CCGによって生成される木言語の閉包性および認識性の性質を裏付ける代数的構造は何か？
• RQ5 CCGと木オートマトンの間には、生成する言語の観点から正確な対応関係があるか？

主な発見

• 結合カテゴリー文法は、認識可能な木言語のクラスを正確に生成する。
• CCGの生成能力は、木オートマトンと認識可能なフォレストの代数的枠組みによって完全に特徴づけられる。
• 本稿は、CCGが正則木言語のクラスにおいて、木オートマトンと同等の表現力を有することを確立している。
• 普遍代数に基づく形式的枠組みにより、閉包性および認識性の性質に関する明確な定義と厳密な証明が可能になる。
• 結果として、CCGが計算言語学における木生成プロセスの形式的かつ数学的に堅牢なモデルとして機能できることを確認した。
• 本研究は、カテゴリー文法と木オートマトンの間の基盤的リンクを提供し、構文パターン認識や形式言語理論への応用を支援する。