範疇文法

範疇文法（はんちゅうぶんぽう、）は自然言語の統語論において、統語成分が関数やその引数の結合であるとの仮説に基づいて編成された形式主義文法理論である。範疇文法は、構文カテゴリーが意味の型に対応しているとして、に密接な関係を持っているとされる。

1935年にカジミエシュ・アイドゥキエヴィチによって考案され、
（1953年）や（1958年）らによって研究が進んだ。1970年代に類似した観点を持ったリチャード・モンタギューのモンタギュー文法により、範疇文法への関心が高まった。

範疇文法は（依存関係ではなく）項の構成により文の構造を解析するので，これは（依存文法ではなく）句構造文法である．

範疇文法は未だに特に形式意味論の分野において主要なパラダイムの一つとなっている。その発展形にやらによる組み合わせ範疇文法がある。

概要
範疇文法は，語彙と型推論の法則の2つより成る．語彙は記号に型を与える集合であり，型推論は構成される記号の型より文の型をつくる規則を定める．それは型推論が明確に定められる利点を持ち,それゆえ特定の言語の文法は語彙によって完全に決められる．

範疇文法は，単純型付きラムダ計算といくつかの特徴を共有する．
しかしラムダ計算は  という唯一の関数型を持ち，範疇文法は左適用と右適用の2つの関数型があるという特徴がある．
例えば，単純な範疇文法は  と  の2つの関数型でできている．
始めに，  は右から  型の単語を受け取ると  型の単語を返す単語の型であり，
次に，  は左から  型の単語を受け取ると  型の単語を返す単語の型である．

Lambekによると，その記法は代数学に基づく．
分数はその分母を掛けられたとき，分子を返す．
関係が可換でないならば，左から来るか右から来るかにより異なる値を出す．
その関係は，記号を消すためには同じ側からその逆になる記号を掛けることになる．

初めの，かつ最も簡単な範疇文法の例は，basic categorial grammar または時に AB-grammar (Ajdukiewicz と Bar-Hillel が由来) と呼ばれる．
根源的な型の集合  を与えられ，  をそれら根源的な型の組み合わせの集合とする．
先述のbasicな例は，以下を満たす最小の集合である．

  ならば  ．
これらを根源の型により自由に生成された純粋な形式表現と考え，意味の全ては後に加えられる．
一部の著者は根源の型の集合として固定された無限集合を考えることがあるが，根源の型を文法の一部とすることで，すべての構造は有限に保たれる．

basic categorial grammar とは，以下を満たすタプル  のことである．
  は記号の有限集合，
  は根源の型の有限集合，

  は語彙を意味する，型から記号への関係である．すなわち .
語彙が有限ならば，それは,   というような組をリストすることで定められる．

英語における範疇文法では，を基本の型とすることが多い．
可算名詞の型は, 完全な名詞句の型は，そして文の型はである．
ここで形容詞の型はとできる．なぜならば形容詞は後ろの可算名詞と合わさり全体で一つの可算名詞のようにふるまうからだ．
同様に，限定詞はの型を持つ．なぜならば後ろの可算名詞と合わさり完全な名詞となるからだ．
自動詞はの型を持ち，他動詞はの型を持つ．
そうすると，単語の列が適用の結果としての型になる場合，その単語列は文ということになる．

例として，"the bad boy made that mess" の文を考える．
ここで "the" と "that" は限定詞，"boy" と "mess" は名詞，"bad" は形容詞，"made" は他動詞だから，
語彙は

となり，

そしてこの文における型の列はこうなる．

そしてこれらに
 と

の2つの規則を適用していくと，

結果はとなった．この事実はこの文字列が文であることを示し，この簡約の行程は，この文が ((the (bad boy)) (made (that mess))) というように区切られるべきことを示す．

この形(適用規則のみを持つ)の範疇文法は，文脈自由文法程度しか表現能力を持たず，自然言語の構文理論には充分ではない．
だが文脈自由文法とは異なり，範疇文法は語彙化されている，つまり，(言語から独立した)少ない数の規則のみを採用していて，すべての他の構文事象は， 特定の語の語彙入力に由来する．

範疇文法のもう1つの魅力的な面は，構成的意味論を与えるのが多くの場合，容易である点にある．初めに解釈上の型にすべての基本的な範疇を割り当て，そして，派生された範疇に対しても，適切な関数型を割り当てればよい．任意の構成素の解釈は，単に，ある関数にある引数を適用したときの値になる．内包と定量を扱うためにいくつかの修正を行えば，このアプローチは意味論的現象を幅広くカバーできる．

Category:形式言語
Category:文法フレームワーク