第6章 ユニフィケーション解析 ユニフィケーション解析とは？ ユニフィケーション文法を使ってユニフィケーション操作により文構造を解析する方法。 ユニフィケーション文法とは？ 素性を使って文法機能を記述し、文の構成素間の関係をこの素性のユニフィケーションとして表わす文法。

１．１ ユニフィケーション文法 ユニフィケーション文法として最初に提案されたのは、FUG（Functional Unification Grammar）である。 GPSG（Generalized Phrase Structure Grammar)もユニフィケーション文法である。

１．２ ユニフィケーション解析 今回、表層的文法機能により文法を記述し、ユニフィケーション解析により、語彙機能が作る文構造を解析するLFGについて述べる。

２．１ LFG LFG（Lexical-Functional Grammar）では、文法規則として、句構造規則に文法機能を加えたものを使う。 文の構造表現には、構文木を表わすC-構造と文法機能の階層構造を表わすF-構造の二つの階層を使う。

２．２ C-構造 構文木そのものである。これは、ＬＦＧ文法規則の中の句構造規則の部分を使って通常の構文解析を行った結果として得られる解析木を表わす。

２．３ F-構造 C-構造が表わす構文構造に対応させて、文法規則の中に記述されている文法機能の関係を階層的に表わしたものである。 C-構造は、F-構造を求める過程で使われるものであるので、LFGの解析結果はF-構造で表わされる。

２．４ Ｃ-構造の例 Ｈｅ ｓｅｅｓ ｔａｂｌｅｓ に対するＣ-構造 Ｓ ＮＰ ＶＰ ＮＰ Ｎ Ｖ Ｎ he sees tables

２．５ F-構造の例 SUBJ NUM SG PERS ３ GEN MASC CASE NOM PRED ‘PRO’ TENSE PRES ‘SEES〈（SUBJ）（OBJ）〉’ OBJ NUM PL PRED ‘TABLE’

３．１ LFGの文法規則 句構造規則にその句構造規則の中に現れる非終端標識の間の文法機能をつけ加えて表わす。 文法機能は、メタ変数を使って機能スキーマと呼ぶ形で表わす。

３．２ 機能スキーマの例 LR1） S → NP VP LR2） VP →V （NP） （PP） （↑SUBJ）＝↓ ↑＝↓ LR2） VP →V （NP） （PP） （↑OBJ）＝↓ （↑（↓PCASE））＝↓ LR3） VP →V （NP） （NP） （PP*） （↑OBJ）＝↓ （↑OBJ２）＝↓ （↑ADJUNCT）＝↓ LR4） NP→NP （PP*） ↑＝↓ （↑ADJUNCT）＝↓ LR5） NP→（D） （A） N LR6） PP→P NP （↑OBJ）＝↓

３．３ 機能スキーマの意味 ER1） S → NP VP LR1） S → NP VP （↑SUBJ）＝↓ ↑＝↓ この名詞句NPのF-構造は、文Sの主語SUBJのF-構造であることを示す。 文の主語の文法機能は、LR1の句構造規則における主語のNPが持つ文法機能であることが示されている。

機能スキーマ↑＝↓は、句構造規則の右辺の娘ノードの中で、それがつけられているノードがヘッドであることを表わす。 ３．４ ヘッド LR1） S → NP VP （↑SUBJ）＝↓ ↑＝↓ 機能スキーマ↑＝↓は、句構造規則の右辺の娘ノードの中で、それがつけられているノードがヘッドであることを表わす。

３．５ 機能スキーマの記述形式（１） 英語などの配置型言語に対する機能スキーマの与え方 ･最大投射に対しては機能付与式を与える ･その他には↑＝↓を与える。 ･ ↑＝↓を持った大範疇をヘッドと呼ぶ。

３．６ 機能スキーマの記述形式（２） 日本語などの非配置型言語に対する機能スキーマの与え方 ･範疇に素性付与式と機能付与式の両方 を与える。 ･ ↑＝↓も範疇に与える。 ･ ↑＝↓とPREDを持つ大範疇がヘッド。 ･機能付与式は、最大投射だけでなくほか のものにも与えられる。

３．７ 機能スキーマの記述形式（３） 複数個の機能スキーマが同時に与えられたときは、すべての機能スキーマは同時に満たされなければならない。

３．８ 機能スキーマの種類 定義式と制約式の２種類がある。 定義式について ･等号“＝”を使って表わす。 ･左辺および右辺が同一のF-構造を参照 することを示す。

３．９ 制約式 定義式により構成されるＦ-構造に対して適格制約条件を与える。 例： （↑ ＣＡＳＥ）＝ｃ ＮＯＭ （↑ ＣＡＳＥ）＝ｃ ＡＣＣ 名詞句の格役割が主格や対格であることを指示する適格制約条件である。 適格制約条件は、Ｃ-構造の中のほかの部分により正確にかつ完全に規定されなければならない。

３．１０ 適格制約条件 Ｃ-構造を必要以上に抽象化することに対する歯止めであり、次の３つの種類がある。 整合性条件：１つのＦ-構造の中で１つの素性が取り得る素性値は１つであることを示す。 完全性条件：Ｆ-構造の中のＰＲＥＤで下位範疇化が示されている支配可能なすべての文法機能はそのＦ-構造の中に現れなければならないことを示す。 結束性条件：Ｆ-構造の中に現れているすべての支配可能な文法機能はそのＦ-構造の中のＰＲＥＤの中で下位範疇化が示されなければならないことを示す。

４．１ 下位範疇化（１） LR2） VP →V （NP） （PP） ER2） VP → VP PP ER4） VP → V （↑OBJ）＝↓ （↑（↓PCASE））＝↓ ER2） VP → VP PP ER4） VP → V NPが省略されないとき、このNPは親ノードVPの目的語であることが示されている。 LR1） S → NP VP （↑SUBJ）＝↓ ↑＝↓

４．２ 下位範疇化（２） PPのF-構造の中のPCASEの値がVPにおけるPPの機能役割を決めることを示す。 例：英語の動詞ｇｏに対して前置詞ｔｏを持つ前置詞句 目的格を表わすことがあるが、これはＰＰに対する２つの機能スキーマで表わすことができる。 ･（↑ＯＢＬGOAL）＝↓ （素性付与式） ･（↓ＰＣＡＳＥ）＝ＯＢＬＧＯＡＬ （機能付与式） これら２つの式は同時に満たされるべきものであるので、２つを一緒にして、（↑（↓ＰＣＡＳＥ））＝↓と表わす。

４．３ 下位範疇化（３） ＬＳ１） Ｈｅ ｓｗｉｍｓ． ＬＳ２） Ｈｅ ｓａｗ ａ ｔａｂｌｅ． ＬＳ３） Ｈｅ ｇｏｅｓ ｔｏ ｓｃｈｏｏｌ． ＬＳ４） Ｈｅ ｇａｖｅ ａ ｂｏｏｋ ｔｏ ｈｅｒ．

４．４ 動詞句に対する付加詞句 LR3） VP →V （NP） （NP） （PP*） ･ＬＲ３からできる動詞句を持つ文 （↑OBJ）＝↓ （↑OBJ２）＝↓ （↑ADJUNCT）＝↓ ･ＬＲ３からできる動詞句を持つ文 ＬＳ５） Ｈｅ ｇａｖｅ ｈｅｒ ａ ｂｏｏｋ． ＬＳ６） Ｈｅ ｓａｗ ａ ｔａｂｌｅ ｉｎ ｔｈｅ ｒｏｏｍ． ･ＬＲ３、ＬＲ５とＬＲ６を使って表わしたＬＳ６の解析木 （Ｓ（ＶＰ（Ｖ ｓａｗ） （ＮＰ（Ｄ ａ）（Ｎ ｔａｂｌｅ）） （ＰＰ（Ｐ ｉｎ）（ＮＰ（Ｄ ｔｈｅ）（Ｎ ｒｏｏｍ））） ）））

４．５ 名詞句に対する付加詞句 LR4） NP→NP （PP*） ＥＲ５） ＮＰ → ＮＰ ＰＰ ↑＝↓ （↑ADJUNCT）＝↓ ＥＲ５） ＮＰ → ＮＰ ＰＰ ･ＬＲ１とＬＲ４を使ったときのＬＳ６の解析木 （Ｓ（ＶＰ（Ｖ ｓａｗ） （ＮＰ（ＮＰ（Ｄ ａ）（Ｎ ｔａｂｌｅ）） （ＰＰ（Ｐ ｉｎ）（ＮＰ（Ｄ ｔｈｅ）（Ｎ ｒｏｏｍ））） ））） ･ＬＲ３、ＬＲ５とＬＲ６を使って表わしたＬＳ６の解析木 （Ｓ（ＶＰ（Ｖ ｓａｗ） （ＮＰ（Ｄ ａ）（Ｎ ｔａｂｌｅ）） （ＰＰ（Ｐ ｉｎ）（ＮＰ（Ｄ ｔｈｅ）（Ｎ ｒｏｏｍ））） ）））

･右辺はすべて前終端標識であるので、機能スキーマは省略してある。 ４．６ 単純名詞句 LR5） NP→（D） （A） N ＥＲ６） ＮＰ → Ｄ ＮＰ ＥＲ７） ＮＰ → Ａ ＮＰ ＥＲ９） ＮＰ → Ｎ ･右辺はすべて前終端標識であるので、機能スキーマは省略してある。

４．７ 前置詞句 LR6） PP→P NP ＥＲ１０） ＰＰ → Ｐ ＮＰ ･この場合、ＮＰにつけられた機能スキーマの中のＯＢＪは （↑OBJ）＝↓ ＥＲ１０） ＰＰ → Ｐ ＮＰ ･この場合、ＮＰにつけられた機能スキーマの中のＯＢＪは 前置詞Ｐの目的語であり、ＬＲ２やＬＲ３のＯＢＪとは異なる。

４．８ 補文（１） 補文を持つ動詞句の文法規則 ＬＲ ７） ＶＰ → Ｖ Ｓ’ ＬＲ ８） Ｓ’ → ＣＯＭＰ Ｓ ＬＲ ７） ＶＰ → Ｖ Ｓ’ （↑ＣＯＭＰ）＝↓ ＬＲ ８） Ｓ’ → ＣＯＭＰ Ｓ （↑ＣＯＭＰ ＴＨＡＴ）＝ｃ＋ ↑＝↓ ･ＬＲ７においてＳ’が補文である。また、補語機能を持つ要素が文の形をしているときは、文法機能ＣＯＭＰをＳＣＯＭＰと書く場合もある。 ･ＬＲ８では、そのような補文が範疇としての補文標識 ＣＯＭＰと文Ｓからなることを示す。

４．９ 補文（２） ＬＲ７のＣＯＭＰとＬＲ８のＣＯＭＰは、同じ記号を使っていても異なる。 前者は文法機能、後者は非終端標識である。 ･ＬＲ７とＬＲ８から作れる文 ＬＳ７） Ｉ ｌｅａｒｎｅｄ ｔｈａｔ ＬＦＧ ｉｓ ｕｓｅｆｕｌ．

ＬＳ８） Ｙｏｕ ｓｅｅｍ ｔｏ ｌｉｋｅ ＬＦＧ． ４．１０ 不定詞補語 不定詞補語を持つ動詞句の文法規則 ＬＲ９） ＶＰ→Ｖ ＶＰ’ （↑ＣＯＭＰ）＝↓ （↑ＩＮＦ）＝ｃ＋ ＬＲ１０） ＶＰ’→ ＣＯＭＰ ＶＰ （↑ＣＯＭＰ ＴＯ）＝ｃ＋ ↑＝↓ （↑ＩＮＦ）＝ｃ＋ ･これらの規則から作れる文 ＬＳ８） Ｙｏｕ ｓｅｅｍ ｔｏ ｌｉｋｅ ＬＦＧ．