“by” をヘッドとする前置詞句を表す。

“(…)” は省略可能を示す。

VP に与えられる。受動態の素性を持つことを示

す。

5.2.3 メタ規則

語彙的 ID 規則を語彙的 ID 規則に写像するためのものメタ規則

【例】ID 規則（能動形動詞句）―写像→ ID 規則（受動的動詞句） 受身化メタ規則：

VP → W, NP ⇒ VP[PAS] → W, (PP[by]) ID 規則 VP → W, NP があるときには、　　 VP[PAS] → W, (PP[by]) の ID 規則もある

5.2.3 メタ規則

VP → H[2], NP ― メタ規則適用→ VP[PAS] → H[2], (PP[by])

He broke the window.

受身化

The window was broken (by him).

その他　・疑問文に関する主語助動詞入替えメタ規則

5.2.4 素性例示規則　(1) 写像 φ

ID 規則中の範疇の素性は構文木のノードの素性にそのまま写像される

X → Y, Z X

Y Z素性

素性

素性

素性

拡張されている

拡張

ノードには他の素性を付け加えられる

5.2.4 素性例示規約　(1) 写像 φ

X → Y, VP

X

Y VP

⇒X

Y VP

．．．

<VFROM, FIN>

<VFROM, FINorINF>

写像 φ 拡張

拡張された素性

FCR を満たさなければならない

拡張された素性値

FSD に従わなければならない

構文木の中での範疇に関する写像 φ の制約

FCR ：素性間の共起に　　　関する制約FSD ：素性に対して特定の　　　素性を仮定しておくこと

等しい

素性値の拡張

5.2.4 素性例示規約

(2) ユニフィケーション

二つの範疇 A および B に対して、次の条件が満たされるとき、範疇 A は範疇 B の拡張であるとする。

範疇 A 範疇 B< 素性標識 A ，素性値（アトム） >< 素性標識 B ，素性値（範疇） >< 素性標識 C ，素性値（アトム） >

範疇に関する拡張の定義

< 素性標識 A ，素性値（アトム） >< 素性標識 B ，素性値（範疇） >< 素性標識 C ，素性値（アトム） >

二つの範疇 A および B に対して、範疇 A は範疇 B の拡張であり、かつ範疇 B は範疇 A の拡張であるとき二つの範疇 A と B は等しい。

二つの範疇が等しいことの定義

構文木において、範疇の拡張はユニフィケーションにより行われる。

5.2.4 素性例示規約

(2) ユニフィケーション

・拡張の定義　⇒　素性集合間の半順序関係を定義

・ユニフィケーション　→　半順序関係が作る束における最小上限で定義

ユニフィケーション

(1) 範疇 C がある範疇の集合に含まれるすべての範疇の拡張であるとき、 上限範疇と呼ぶ。拡張が半順序関係であるので、上限範疇は複数個ありうる。(2) 範疇集合 S の上限範疇の中で、他のすべての上限範疇が 1 つの上限範疇 C　　の拡張であるときその上限範疇 C を範疇集合 S のユニフィケーションと呼ぶ。

5.2.4 素性例示規約

(3) 素性例示規約の種類

X

Y Z

⇒X

Y Z

．．．

．．．伝播

伝播

　　　　　＊＊＊素性例示規約＊＊＊

構文木中の素性の分布：

構文木中の範疇の順序：

•Head Feature Convention•Foot Feature Principle•Control Agreement Principle

Liner Precedence Statements

写像 φ は構文木に関する制約を持つ

ノード φ(C0) を規定する素性の中で、 HEAD 素性のみを取り出したもの

を表す

5.2.4 素性例示規約

(4) Head Feature Convention (HFC)

Head Feature Convention (HFC)構文木において親ノードの HEAD 素性はそのヘッド娘の HEAD 素性に等しい

HFC: φ(C0) | HEAD = φ(Ch) | HEAD

C0,Ch ： ID 規則中の親範疇とヘッド娘範疇φ(C0),φ(Ch) ：構文木中の親ノードとヘッド娘ノードXXX | YYY ”： 関数 XXX のドメインを YYY に制限する“

　　　を表す

ノード φ(Ci) を規定する素性の中で、範疇 Ciを規定する素性でない FOOT 素性のみを取り

出したもの

5.2.4 素性例示規約

(5) Foot Feature Principle (FFP)

Foot Feature Principle (FFP)構文木のいかなる娘ノードからでも FOOT 素性を伝播させることを規定（ FOOT 素性の伝播は HFC によって規定されない）

FFP: φ(C0) | FOOT - C0 = U1 ＜ i ＜ n φ(Ci) | FOOT - Ci

ノード Ci に規定されていない FOOT 素性

FFP は親ノードに対して例示された FOOT 素性はそのすべての娘ノードに対して例示された FOOT 素性を集めたものに等しくなければならない。

FFP

HFC

ヘッド娘

5.2.4 素性例示規約

(5) Foot Feature Principle (FFP)

文： He sees a table.

VP → H[2], NP

VP

V NP

sees a table

名詞句： the table that he sees VP ／ NP

V NP ／ NP

sees φ

　　　　　　　　　　　　　　 ^“VP → H[2], NP” の NP が欠落したもの

消失要素FOOT 素性としてのSLASH 素性“ / NP”

消失構成素を持つ構成素の範疇は“ /” で表す。“NP/NP” は名詞句の中で名詞句が消失した構成を表す

*SLASH 素性： p163

5.2.4 素性例示規約

(6) Control Agreement Principle (CAP)

Control Agreement Principle (CAP)一致素性に関する規約。 AGR 素性として表される。

動詞を規定する｛人称、数、性｝の AGR 素性

主語（名詞句）を規定する｛人称、数、性｝の AGR 素性一致

*AGR 素性： p163

5.2.4 素性例示規約

(7) Liner Precedence Statements (LPS)

Liner Precedence Statements (LPS)構文木中の娘ノードの順序を記述する。

ノードはLP,FCR,FSD,HFC,FFP,CAP を同時に満たさなければならない

5.2.5 解析

ID 規則を使って部分解析木を順じ作り上げていくことにより行う

メタ規則で拡張されたものも使う

*LP,FCR,FSD:p.164 HFC,FFP,CAP:p.170-172

5.2.5 解析

(1) メタ規則による ID 規則の展開

(2) 語彙冗長規則による範疇拡張

(3) 語彙同定規則による語彙項目の同定

(4) 解析

CAP （一致素性） ,HFC （親、娘の素性は等しい）の制約を満たすパーサは展開された ID 規則を使って解析する。

語彙冗長規則： FCR,FSD を使って、素性の規定が不完全な範疇に対して、　　　完全に規定された範疇を生成する。

語彙同定規則：範疇を語彙項目に対応付ける写像。文中の語の範疇を求める。

完全に規定された範疇に対してそれを右辺とするような ID 規則を見つける。【条件】 ID 規則の娘範疇に対して LP 規則の条件を満たす　　　　部分解析木中の親範疇、娘範疇間で CAP,HFC,FFP を満たす

5.2.5 解析

GPSG における文解析　→　ボトムアップ

•メタ規則による ID 規則の展開•部分解析木、階層構造中での素性例示規約の同時適用

　処理量が爆発

実験的な解析プログラムを作る目的においての規則適用順序META ＜ CAP ＜ FFP ＜ FSDlex ＜ HFC ＜ FSDnonlex ＜ LP

*FSDlex ：語彙的、 FSDnonlex ：非語彙的