数理言語情報論　第3回 2009年10月21日 数理言語情報学研究室　講師　二宮　崇.

Presentation on theme: "数理言語情報論　第3回 2009年10月21日 数理言語情報学研究室　講師　二宮　崇."— Presentation transcript:

1 数理言語情報論　第3回 2009年10月21日 数理言語情報学研究室　講師　二宮　崇

2 CCG (COMBINATORY CATEGORIAL GRAMMAR) 組合せ範疇文法
今日の講義の予定 CCG (COMBINATORY CATEGORIAL GRAMMAR) 組合せ範疇文法

3 CCG: 導入 長い歴史 範疇文法は、古くは Ajdukievicz (1935) や Bar-Hillel (1953)までさかのぼる Mark Steedman (1996, 2000) によるCCGが有名 講義内容 Mark Steedman (2000) The Syntactic Processから 語彙化文法 文法がなすべき役割を句構造規則ではなく、辞書に書き込むべき、という立場の文法 最新の文法理論はほとんどが語彙化文法

4 CCG: 導入 仕組 意味論 等位接続構造をうまく説明 カテゴリに対する関数適用を繰り返すことによって文を構成する
ラムダ式により語の意味を記述し、統語構造に対応したラムダ関数適用により文の意味表現を導出 M. Steedman は、可能な意味構造をすべて導出できれば、それに対応する統語構造はどれか一つだけあれば構わない、とする 等位接続構造をうまく説明

5 CCG: 形式 カテゴリ 原始カテゴリ (atomic category) 複合カテゴリ (complex category)
N (名詞) や S (文) など 複合カテゴリ (complex category) 他の二つのカテゴリから合成 数学的には、一方を定義域、片方を値域とする関数 X, Yがカテゴリなら、X／Y と X＼Y は複合カテゴリ。どちらもYを引数とし、Xを値とする関数 X／Yは、右側のYと結びついて、Xの記号となるという意味 X＼Yは、左側のYと結びついて、Xの記号となるという意味

6 CCG: カテゴリの例 カテゴリの例 married := (S＼NP)／NP 自動詞: S＼NP 他動詞(TV): (S＼NP)／NP
ditransitive verb(DTV): ((S＼NP)／NP)／NP 目的語 主語

7 CCG: ``pure’’ categorial grammar
関数適用規則 (functional application rules) X／Y Y ⇒ X (>) Y X＼Y ⇒ X (<) 例 Anna married Manny NP (S＼NP)／NP NP S＼NP S Anna married Manny V NP VP S > <

8 CCG: カテゴリの補足 カテゴリに付随する素性 演算は素性の値は単一化により計算される（HPSGの講義の時に詳しく述べる）
NP3s, NP3sfなど 例 Anna married Manny NP3sf (S＼NP3s)／NP NP S＼NP3s S 演算は素性の値は単一化により計算される（HPSGの講義の時に詳しく述べる） > <

9 CCG: 意味論 (1/3) CCGの規則に付随するラムダ式により述語項構造 (predicate-argument structures)を計算 ラムダ計算 λx.λy. marry’ x y ((λx.λy. marry’ x y) manny’) anna’ = (λy. marry’ manny’ y) anna’ =marry’ manny’ anna’ λf.λx. f xという風に関数も引数にとることができることに注意！ λf.λx. f xとλg.λy g y はまったく同じラムダ式であることに注意！

10 CCG: 意味論 (2/3) CCGの規則に付随するラムダ式により述語項構造 (predicate-argument structures)を計算 関数適用規則 (functional application) X／Y:f Y:a ⇒ X:f a (>) Y:a X＼Y:f ⇒ X:f a (<)

11 CCG:意味論(3/3) 例 Anna married Manny
NP3sf : anna’ (S＼NP3s)／NP: λx.λy.marry’ x y NP: manny’ S＼NP3s: λy. marry’ manny’ y S: marry’ manny’ anna’ > <

12 CCG: 等位接続構造 等位接続構造 等位接続規則（簡略版） 太郎と花子が歩いた 太郎が花子に会って、説明した
太郎は花子に、次郎は恵に話した 等位接続規則（簡略版） X CONJ X’ ⇒ X’’ (Φ)

13 CCG: 等位接続構造 例 Anna met and married Manny
NP (S＼NP)／NP CONJ (S＼NP)／NP NP (S＼NP)／NP S＼NP S Φ > <

14 CCG: 等位接続規則の意味論 等位接続規則 例 X :g CONJ:b X:f ⇒ X：λ...b(f...)(g...) (Φn)
Anna met and married Manny NP (S＼NP)／NP CONJ (S＼NP)／NP NP :anna’ :meet’ :and’ :marry’ :manny’ (S＼NP)／NP: λx.λy.and’(meet’ x y)(marry’ x y) S＼NP: λy.and’(meet’ manny’ y) (marry’ manny’ y) S: and’(meet’ manny’ anna’) (marry’ manny’ anna’) Φ > <

15 THE BLUEBIRD (ルリツグミ)

16 The Bluebird: 導入 Anna met and might marry Mannyの解析
met := (S＼NP)／NP marry := (S＼NP)／NP might := (S＼NP) ／(S＼NP) Anna might marry Mannyの解析 (S＼NP) metがMannyを目的語としてとれない！ mightがなければmetとmarryを等位接続できたのに…。 > >

17 The Bluebird 合成規則 (composition rule) 例 X/Y Y/Z ⇒ X/Z (>B)
Anna met and might marry Manny NP (S＼NP)／NP CONJ (S＼NP)／(S＼NP) (S＼NP)／NP NP (S＼NP)／NP S＼NP S >B Φ > <

18 Bluebirdの意味論 合成規則 (composition rule) 例
X／Y: f Y／Z: g ⇒ X／Z: λx.f(g x) (>B) 例 Anna met and might marry Manny NP (S＼NP)／NP CONJ (S＼NP)／(S＼NP) (S＼NP)／NP NP :anna’ :λx.λy.meet’ x y :and’ :λp.λx.might’ (p x) :λx.λy.marry’ x y :manny’ (S＼NP)／NP ：λz. (λp.λx.might’ (p x))((λx.λy.marry’ x y) z) =λz. (λp.λx.might’ (p x))(λy.marry’ z y) =λz. (λx.might’((λy.marry’ z y) x)) =λz. (λx.might’(marry’ z x)) =λx.λy.might’(marry’ x y) (S＼NP)／NP: λx.λy.and’(might’(marry’x y))(meet’ x y) S＼NP: λy.and’(might’(marry’manny y))(meet’ manny’ y) S: and’(might’(marry’manny’ anna’))(meet’ manny’ anna’) >B Φ > <

19 Bluebirdの心とは？ 目的語をまだとっていない大きな動詞句を先につくっていることに相当
目的語をとってから、主語をとる、といった関数適用による順番を変える 後から取るべきカテゴリを先にとって、先に取るべきカテゴリを遅延評価として取る

20 THE THRUSH (ツグミ)

21 The Thrush : 導入 Anna married and I detest Mannyの解析
Anna, I, Manny := NP married, detest := (S＼NP)／NP Bluebirdを使って目的語をとらずに大きな動詞句を作りたいが、、、 先に主語＋動詞をくっつけることができない！

22 The Thrush 型繰り上げ (Type-Raising) 例 NP ⇒ S／(S＼NP) (>T)
Anna married and I detest Manny NP (S＼NP)／NP CONJ NP (S＼NP)／NP NP S／(S＼NP) S／(S＼NP) S／NP S／NP S／NP S >T >T >B >B Φ >

23 Thrushの意味論 型繰り上げ (Type-Raising) 例 X: a ⇒ T／(T＼X): λf. f a (>T)
Anna married and I detest Manny T／(T＼NP) (S＼NP)／NP CONJ T／(T＼NP) (S＼NP)／NP NP :λf.f anna’ :λx.λy.marry’ x y :and’ :λ‘f.f i’ :λx.λy.detest’ x y :manny’ S／NP: λx.marry’ x anna’ S／NP: λx.detest’ x i’ S／NP: λx.and’(detest’x i’)(marry’ x anna’) S: and’(detest’ manny’ i’)(marry’ manny’ anna’) >B >B Φ >

24 Thrushの意味論 Anna married and I detest Manny これがどうやってでてきたのか？bluebirdの規則が
T／(T＼NP) (S＼NP)／NP CONJ T／(T＼NP) (S＼NP)／NP NP :λf.f anna’ :λx.λy.marry’ x y :and’ :λ‘f.f i’ :λx.λy.detest’ x y :manny’ S／NP: λx.marry’ x anna’ S／NP: λx.detest’ x i’ S／NP: λx.and’(detest’x i’)(marry’ x anna’) S: and’(detest’ manny’ i’)(marry’ manny’ anna’) >B >B Φ > これがどうやってでてきたのか？bluebirdの規則が X／Y: f Y／Z: g ⇒ X／Z: λx.f(g x) (>B) なので、出力される意味構造は、 λz.f(g z) s.t. f＝λf.f anna’, g＝λx.λy.marry’ x y = λz.(λf.f anna’)((λx.λy.marry’ x y) z) ＝λz.(λf.f anna’)(λy.marry’ z y) = λz.((λy.marry’ z y) anna’) ＝λz.(marry’ z anna’)

25 Backward BluebirdとThrush
Y＼Z X＼Y ⇒ X＼Z (<B) 例 give a teacher an apple and a policeman a flower (VP／NP)／NP NP NP CONJ NP NP a teacher, a policeman NP ⇒<T (VP／NP)＼((VP／NP)／NP) an apple, a flower NP ⇒ <T (VP＼(VP／NP)) a teacher an apple, a policeman a flower (VP／NP)＼((VP／NP)／NP) (VP＼(VP／NP))⇒<B VP＼((VP／NP)／NP)

26 関係節もできる！ 例 (N＼N)／(S／NP) S／(S＼NP) (S＼NP)／NP (the man) that Anna married
>B >

27 Thrushの心とは？ 動詞が主語をとって文になるのではなく、名詞が動詞句をとって文になる、という解釈 anna := S／(S＼NP)
選択する側、される側が反転していることに注意！

28 STARLING (ムクドリ)

29 The Starling: 導入 Parasitic Gap 関係節の目的語と動名詞の目的語が共有される場合
articles whichi I will filei without readingi

30 The Starling 後ろ向き交差代入 (backward crossed substitution) 例
Y／Z (X＼Y)／Z ⇒ X／Z (<Sx) 例 (articles) which I will file without reading (N＼N)／(S／NP) S／VP VP／NP (VP＼VP)／VPing VPing／NP (VP＼VP)／NP VP／NP S／NP N＼N >B <Sx >B >

31 Starlingの意味論 後ろ向き交差代入 (backward crossed substitution)
Y／Z:g (X＼Y)／Z:f ⇒ X／Z: λx.fx(gx) (<Sx)

32 bird一覧 合成 (functional composition) 型繰り上げ(type-raising)
X／Y Y／Z ⇒ X／Z (>B) X／Y Y＼Z ⇒ X＼Z (>Bx) Y＼Z X＼Y ⇒ X＼Z (<B) Y／Z X＼Y ⇒ X／Z (<Bx) 型繰り上げ(type-raising) X ⇒ T／(T＼X) (>T) X ⇒ T＼(T／X) (<T) 代入(functional substitution) (X／Y)／Z Y／Z ⇒ X／Z (>S) (X／Y)＼Z Y＼Z ⇒ X＼Z (>Sx) Y＼Z (X＼Y)＼Z ⇒ X＼Z (<S) Y／Z (X＼Y)／Z ⇒ X／Z (<Sx)

33 擬似的曖昧性 擬似的曖昧性 (spurious ambiguity)
このような統語構造の順番を無視するような構造をつくると、同じ文に対して可能な解析が爆発的に増えてしまう 特に型繰り上げを使うと、無限に生成できてしまう

34 擬似的曖昧性 Anna married Mannyに対する普通の解析 Anna married Manny
NP: anna’ (S＼NP)／NP: λx.λy.marry’ x y NP: manny’ S＼NP: λy.marry’ manny’ y S: marry’ manny’ anna’ > <

35 擬似的曖昧性 その他の解析1 Anna married Manny
NP: anna’ (S＼NP)／NP: λx.λy.marry’ x y NP: manny’ T／(T＼NP) T＼(T／NP) ：λp.p anna’ :λq.q manny’ S＼NP: λy.marry’ manny’ y S: marry’ manny’ anna’ <T <T < >

36 擬似的曖昧性 その他の解析2 Anna married Manny
NP: anna’ (S＼NP)／NP: λx.λy.marry’ x y NP: manny’ T／(T＼NP) T＼(T／NP) ：λp.p anna’ :λq.q manny’ S／NP: λx.marry’ x anna’ S: marry’ manny’ anna’ <T <T >B <

37 擬似的曖昧性 解析過程や統語構造が異なっていても意味構造は同じ
パーザー(構文解析器）は、与えられた文に対する全ての意味構造に対し、それに対応するいくつかの統語構造さえ出力できれば良い⇦反論: 全ての統語構造を列挙しないと、全ての意味構造を列挙することは難しい⇦反論：普通の句構造解析でも同じようにたくさんの曖昧性はある⇦さらに言えば、実テキストを解析できるシステムが存在する

38 CCGのすごいところ (1/2) どちらが”良い“統語構造か？という長年の言語学的疑問に一つのエレガントな解を与えた⇒意味構造が同じならどちらでも良い 文節文法vs句構造文法 (NP-を (WH 花子が作った)(NP 弁当を)) (PP (NP (WH 花子が作った) 弁当) を) 句構造の曖昧性 Manny might watch Anna with a telescope. 動詞は目的語と結びついた後に助動詞と結びつくか、動詞と助動詞が結びついた後に目的語と結びつくか？ with a telescopeは``watch Anna’‘に結びつくのか、それとも、``might watch Anna’‘に結びつくのか？

39 CCGのすごいところ (2/2) ほとんどの文法理論で失敗している等位接続構造をエレガントに説明できた ?
おじいさんは　山へ芝刈りに　おばあさんは　川へ洗濯に　いきました ?

40 まとめ CCG 次回は、10/28(水) 16:30～ 型付素性構造と単一化とHPSGについて 講義資料 関数適用 bluebird
thrush starling 長所 次回は、10/28(水) 16:30～ 型付素性構造と単一化とHPSGについて 講義資料