範疇文法のソースを表示

{{翻訳中途|1=[http://en.wikipedia.org/w/index.php?title=Categorial_grammar&oldid=529998875 英語版 "Categorial grammar" 16:30, 27 December 2012 UTC]|date=2013年2月}}

'''範疇文法'''（はんちゅうぶんぽう、{{lang-en-short|Categorial grammar}}）は[[自然言語]]の[[統語論]]において、[[構成素|統語成分]]が[[関数 (数学)|関数]]やその[[引数]]の結合であるとの仮説に基づいて編成された[[形式主義]]文法理論である。範疇文法は、構文カテゴリーが意味の型に対応しているとして、{{link-en|構成性原理|principle of compositionality|d=統語・意味合成}}に密接な関係を持っているとされる。

1935年に[[カジミエシュ・アイドゥキエヴィチ]]によって考案され、{{link-en|イェホシュア・バル＝ヒレル|Yehoshua Bar-Hillel}}
（1953年）や{{link-en|ヨアヒム・ランベック|Joachim Lambek}}（1958年）らによって研究が進んだ。1970年代に類似した観点を持った[[リチャード・モンタギュー]]の[[モンタギュー文法]]により、範疇文法への関心が高まった。

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

範疇文法は未だに特に[[形式意味論]]の分野において主要な[[パラダイム]]の一つとなっている。その発展形に{{link-en|マーク・スティードマン|Mark Steedman}}や{{link-en|アンナ・サボルチ|Anna Szabolcsi}}らによる[[組み合わせ範疇文法]]がある。

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

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

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

初めの，かつ最も簡単な範疇文法の例は，basic categorial grammar または時に AB-grammar (Ajdukiewicz と Bar-Hillel が由来) と呼ばれる．
根源的な型の集合 <math>\text{Prim}\,\!</math> を与えられ， <math>\text{Tp}(\text{Prim})\,\!</math> をそれら根源的な型の組み合わせの集合とする．
先述のbasicな例は，以下を満たす最小の集合である．
* <math>\text{Prim}\subseteq \text{Tp}(\text{Prim})</math>
* <math>X, Y\in \text{Tp}(\text{Prim})</math> ならば <math>(X/Y), (Y\backslash X) \in \text{Tp}(\text{Prim})</math> ．
これらを根源の型により自由に生成された純粋な形式表現と考え，意味の全ては後に加えられる．
一部の著者は根源の型の集合として固定された無限集合を考えることがあるが，根源の型を文法の一部とすることで，すべての構造は有限に保たれる．

basic categorial grammar とは，以下を満たすタプル <math>(\Sigma, \text{Prim}, S, \triangleleft)</math> のことである．
* <math>\Sigma\,\!</math> は記号の有限集合，
* <math>\text{Prim}\,\!</math> は根源の型の有限集合，
* <math>S \in \text{Tp}(\text{Prim})</math>
* <math>\triangleleft</math> は語彙を意味する，型から記号への関係である．すなわち <math>(\triangleleft) \subseteq \text{Tp}(\text{Prim}) \times \Sigma</math>.
語彙が有限ならば，それは,  <math>TYPE\triangleleft\text{symbol}</math> というような組をリストすることで定められる．

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

例として，"the bad boy made that mess" の文を考える．
ここで "the" と "that" は限定詞，"boy" と "mess" は名詞，"bad" は形容詞，"made" は他動詞だから，
語彙は
<math>NP/N\triangleleft\text{the},</math>
<math>NP/N\triangleleft\text{that},</math>
<math>N\triangleleft\text{boy},</math>
<math>N\triangleleft\text{mess},</math>
<math>N/N\triangleleft\text{bad},</math>
<math>(NP\backslash S)/NP\triangleleft\text{made}</math>
となり，

そしてこの文における型の列はこうなる．
<math>
{\text{the}\atop {NP/N,}}
{\text{bad}\atop {N/N,}}
{\text{boy}\atop {N,}}
{\text{made}\atop {(NP\backslash S)/NP,}}
{\text{that}\atop {NP/N,}}
{\text{mess}\atop {N}}
</math>

そしてこれらに
<math> X\leftarrow X/Y,\; Y</math> と
<math> X\leftarrow Y,\; Y\backslash X</math>
の2つの規則を適用していくと，

<math>.\qquad NP/N,\; N/N,\; N,\; (NP\backslash S)/NP,\; \underbrace{NP/N,\; N}</math><br>
<math>.\qquad NP/N,\; N/N,\; N,\; \underbrace{(NP\backslash S)/NP, \quad NP}</math><br>
<math>.\qquad NP/N,\; \underbrace{N/N,\; N}, \qquad (NP\backslash S)</math><br>
<math>.\qquad \underbrace{NP/N,\; \quad N},\; \qquad (NP\backslash S)</math><br>
<math>.\qquad \qquad\underbrace{NP,\; \qquad (NP\backslash S)}</math><br>
<math>.\qquad \qquad\qquad\quad\;\;\; S</math>

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

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

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

{{DEFAULTSORT:はんちゆうふんほう}}
[[Category:形式言語]]
[[Category:文法フレームワーク]]