Coordination, Ellipsis, and Information Structure
Mark Steedman, University of Edinburgh July 19, 2012
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
Coordination, Ellipsis, and Information Structure Mark Steedman, - - PowerPoint PPT Presentation
Coordination, Ellipsis, and Information Structure Mark Steedman, University of Edinburgh July 19, 2012 Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012 1 Outline 1. Introduction: The Problem of Ellipsis 2. Grammatical Ellipsis and the
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
1
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
2
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
3
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
4
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
5
⋄S
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
6
⋄S : think′
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
7
⋆Y
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
8
⋆Y : f
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
9
Marcel proved completeness NP (S\NP)/NP NP
>
S\NP
<
S
I think Marcel proved completeness NP (S\NP)/
⋄S
NP (S\NP)/NP NP
>
S\NP
<
S
>
S\NP
<
S Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
10
Marcel proved completeness NP : marcel′ (S\NP)/NP : prove′ NP : completeness′
>
S\NP : λy.prove′completeness′y
<
S : prove′completeness′marcel′
I think Marcel proved completeness NP : i′ (S\NP)/
⋄S : think′
NP : marcel′ (S\NP)/NP : prove′ NP : completeness′
>
S\NP : λy.prove′completeness′y
<
S : prove′completeness′marcel′
>
S\NP : think′(prove′completeness′marcel′)
<
S : think′(prove′completeness′marcel′)i′ Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
11
⋆Y
⋄Y
⋄Z
⋄Z
×Y
×Z
×Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
12
⋆Y : f
⋄Y : f
⋄Z : g
⋄Z : λz.f(g(z)) >B
×Y : f
×Z : g
×Z : λz.f(g(z)) <B×
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
13
>T <T
>B
<
>T <T
<
>
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
14
>T <T
>B
<
>T <T
<
>
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
15
a man who I think you like arrived (S/(S\NP))/N N (N\N)/(S/NP) S/(S\NP) (S\NP)/
⋄S S/(S\NP) (S\NP)/NP
S\NP
>B >B
S/
⋄S
S/NP
>B
S/NP
>
N\N
<
N
>
S/(S\NP)
>
S
Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
16
Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
17
<T <T <T <T
<B <B
<Φ>
<
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
18
Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
19
Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
20
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
21
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
22
Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
23
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
24
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
25
Anna married Manny . L∗+H LH% H∗ LL%
>T <T
S⊥,θ/(S⊥,θ\NP⊥,θ) (S\NP)/NP S$φ\⋆S$π,η S⊤,ρ\(S⊤,ρ/NP⊤,ρ) S$φ\⋆S$π,η : λ f.f anna λ p.p vτanna
: λf.π(η f H) :
λ p.p vτmanny
>B
S⊥,θ/NP⊥,θ : λx.married x anna λx.married x vτanna
<
Sφ/NP
φ : ⊥(θ
λx.married x anna λx.married x vτanna
Sφ\(Sφ/NP
φ) : ⊤(ρ
λ p.p vτmanny
<
Sφ : ⊤(ρ
λ p.p vτmanny
λx.married x anna λx.married x vτanna
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . S : married manny anna married vτmanny vτanna
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
26
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
27
Anna married
Manny . H∗ LL%
>T <T
S/(S\NP) (S\NP)/NP NP↑/NP↑ S⊤,ρ\(S⊤,ρ/NP⊤,ρ) S$φ\⋆S$π,η : λf.f anna : λx.λy.married xy : λnpλp.npo p∧∀a ∈ {pa}[a p → (a = npo)] :
λ p.p vτmanny
>B >
S/NP S⊤,ρ\(S⊤,ρ/NP⊤,ρ) : λx.married x anna : λp.p manny∧∀a ∈
% <
Sφ/NPφ Sφ\(Sφ/NPφ) : π(η {λx.married x anna}S) : ⊤(ρ
<
Sφ : ⊤(ρ
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . S : married manny anna∧∀a ∈
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
28
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
29
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
30
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
31
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
32
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
33
⋆(S/NP) for relative pronouns in placef of the standard
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
34
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
35
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
36
Anna married Manny and Tom Sue S :
married′vτmanny′vτanna′
⋆X S\((S/NP)/NPSG) :
λtv.tv vτsue′vτtom′
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
37
Z
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
38
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
39
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
40
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
41
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
42
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
43
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
44
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
45
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
46
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012
47
Steedman, U. Edinburgh 19th HPSG Conf. July 19, 2012