範疇文法
範疇文法 (はんちゅうぶんぽう、英語: Categorial grammar) は,構成性原理のもと,統語成分は関数の結合で一般化されるべきであるという見地にしたがって編成された,自然言語の構文論に使われる用語である.範疇文法は(依存関係ではなく)項の構成により文の構造を解析するので,これは(依存文法ではなく)句構造文法である.
1935年にカジミエシュ・アイドゥキエヴィチによって考案され、イェホシュア・バー=ヒレル(1953年)やヨアヒム・ランベック(1958年)らによって研究が進んだ。発展形にマーク・スティードマンによる組み合わせ範疇文法がある。
N P / N , N ⏟ , ( N P ∖ S ) {\displaystyle .\qquad \underbrace {NP/N,\;\quad N} ,\;\qquad (NP\backslash S)} . N P , ( N P ∖ S ) ⏟ {\displaystyle .\qquad \qquad \underbrace {NP,\;\qquad (NP\backslash S)} } . S {\displaystyle .\qquad \qquad \qquad \quad \;\;\;S}
結果は S {\displaystyle S\,\!} となった.この事実はこの文字列が文であることを示し,この簡約の行程は,この文が ((the (bad boy)) (made (that mess))) というように区切られるべきことを示す.
この形(適用規則のみを持つ)の範疇文法は,文脈自由文法程度しか表現能力を持たず,自然言語の構文理論には充分ではない. だが文脈自由文法とは異なり,範疇文法は語彙化されている,つまり,(言語から独立した)少ない数の規則のみを採用していて,すべての他の構文事象は, 特定の語の語彙入力に由来する.
範疇文法のもう1つの魅力的な面は,構成的意味論を与えるのが多くの場合,容易である点にある.初めに解釈上の型にすべての基本的な範疇を割り当て,そして,派生された範疇に対しても,適切な関数型を割り当てればよい.任意の構成素の解釈は,単に,ある関数にある引数を適用したときの値になる.内包と定量を扱うためにいくつかの修正を行えば,このアプローチは意味論的現象を幅広くカバーできる.
自動詞は N P ∖ S {\displaystyle NP\backslash S} の型を持ち,他動詞は ( N P ∖ S ) / N P {\displaystyle (NP\backslash S)/NP} の型を持つ. そうすると,単語の列が適用の結果として S {\displaystyle S\,\!} の型になる場合,その単語列は文ということになる.
例として,"the bad boy made that mess" の文を考える. ここで "the" と "that" は限定詞,"boy" と "mess" は名詞,"bad" は形容詞,"made" は他動詞だから, 語彙は N P / N ◃ the , {\displaystyle NP/N\triangleleft {\text{the}},} N P / N ◃ that , {\displaystyle NP/N\triangleleft {\text{that}},} N ◃ boy , {\displaystyle N\triangleleft {\text{boy}},} N ◃ mess , {\displaystyle N\triangleleft {\text{mess}},} N / N ◃ bad , {\displaystyle N/N\triangleleft {\text{bad}},} ( N P ∖ S ) / N P ◃ made {\displaystyle (NP\backslash S)/NP\triangleleft {\text{made}}} となり,
そしてこの文における型の列はこうなる.