文法形式理論

平易な文脈自由規則を超えて自然言語の統語構造を記述するために用いられる、より豊かな文法システム — 木接合文法、範疇文法、統合に基づく文法 — は、表現力と構文解析可能性のバランスを取る。

Definition

文法形式理論とは、言語の合法的な構造を規定するためのシステムであり、その生成能力、表現手段、および構文解析の複雑さによって特徴づけられる。

Scope

文脈自由文法では扱いにくい統語現象を捉えるために設計された形式理論を対象とする。具体的には、木接合文法（TAG）、結合範疇文法（CCG）、およびHPSGやLFGのような統合または素性に基づく文法が含まれる。本項目では、弱い文脈依存性（mild context-sensitivity）の概念と、言語学的妥当性（linguistic adequacy）と計算的扱いやすさ（computational tractability）との間のトレードオフについて論じる。構成素解析と依存関係解析に特化した構文解析アルゴリズムは別途扱う。

Core questions

• どのような統語現象が文脈自由文法を超える必要性を動機づけるのか？
• 弱い文脈依存性とは何か、そしてなぜそれが言語にとって適切な能力と考えられているのか？
• 統合と素性（feature）は、文法が構造全体で情報を共有することをどのように可能にするのか？
• これらの形式理論は、表現力と効率的な構文解析の間でどのようにトレードオフを行うのか？

Key concepts

• 木接合文法
• 結合範疇文法
• 統合文法
• 素性構造
• 弱い文脈依存性
• HPSG
• LFG
• 下位範疇化

Key theories

弱い文脈依存性

TAGやCCGを含む文法のクラスで、文脈自由文法の能力をわずかに超えることで、交差連続依存関係（cross-serial dependencies）を捉えつつ、多項式時間で構文解析可能である。

結合範疇文法

語彙化された形式理論であり、単語が少数の結合子（combinator）によって結合される機能的範疇を持ち、統語論と構成的意味論を密接に結びつける。

統合に基づく文法

HPSGのような形式理論で、言語学的対象を型付き素性構造として表現し、統合によって結合することで、一致や下位範疇化を宣言的に捉える。

History

1980年代から1990年代にかけて、言語学者は、一致、長距離依存関係、および統語論と意味論のインターフェースを捉えるために、文脈自由文法よりも豊かな形式理論を開発した。Joshiの木接合文法は弱い文脈依存性を形式化し、CCGとHPSGは語彙化された統合に基づく代替案を提供し、これらは理論的および計算言語学の両方において依然として影響力を持っている。

Debates

表現力と扱いやすさのトレードオフ

より強力な形式理論はより多くの現象を記述できるが、構文解析が扱いにくくなるリスクがある。この分野では、データ全体をカバーするのに十分な最小限の能力を好む傾向があり、そのため弱い文脈依存性文法に関心が集まっている。

Key figures

• Aravind Joshi
• Mark Steedman
• Carl Pollard
• Ivan Sag

Seminal works

• joshi1997
• steedman2000
• pollard1994

Frequently asked questions

なぜすべてに文脈自由文法を使わないのか？

オランダ語やスイスドイツ語における交差連続依存関係のような一部の構造は、文脈自由文法では生成できないことが証明されている。弱い文脈依存性形式理論は、それらを効率的に構文解析可能なまま扱うのに十分な能力を追加する。