Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand...
Transcript of Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand...
![Page 1: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/1.jpg)
Towards a Grand Unified Theory
of Scope Underspecification
Alexander KollerSaarland University
Saarbrücken, Germany
joint work with
Joachim Niehren, Stefan Thater, Ruth Fuchss
University of Pennsylvania
11 October 2004
![Page 2: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/2.jpg)
Overview
u Ambiguity and underspecification
u Dominance graphs
u Are different underspecification formalisms
equivalent?
u Encoding of MRS nets into dominance nets
u Relevant descriptions are nets
u Harvesting
![Page 3: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/3.jpg)
Ambiguity
u Natural language sentences often have more than one possible meaning, syntactic
structure, etc.
u Example: (syntactic) attachment ambiguity:
John watched the man with the telescope.
u This phenomenon is called ambiguity.
u Ambiguity is one of the great challenges for natural language processing today.
![Page 4: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/4.jpg)
Scope ambiguities
u Scope ambiguity is a kind of semantic ambiguity.
u Example: "Every student reads a book."
1. ..., namely, the one their professor wrote.
∃y book(y) ∧ (∀x student(x) → read(x,y))
2. ..., but not necessarily the same one.
∀x student(x) → (∃y book(y) ∧ read(x,y))
![Page 5: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/5.jpg)
Explosion of Readings
u A sentence with more than one scope ambiguity can have an enormous number of readings:
Most politicians can fool most voters on most issues most
of the time, but no politician can fool every voter on every
single issue all of the time.
(ca. 600 readings, Hobbs)
u Modern large-scale grammars predict a lot of scope readings even for harmless-looking sentences:
But that would give us all day Tuesday to be there.
(ca. 65.000 readings, according to ERG grammar)
u In general, scope ambiguities contribute a number of readings exponential in the number of quantifiers (and other scope bearers).
![Page 6: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/6.jpg)
Semantics construction
Sentence
semantic repres. 1semantic repres. 2semantic repres. 3semantic repres. 4
Syntax
![Page 7: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/7.jpg)
Enumerating readings is expensive
u We'd like to avoid enumerating these many readings.
u Most of the readings were not meant by the speaker.
u Do people enumerate readings of a scope ambiguity?
![Page 8: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/8.jpg)
Scope Underspecification
u So let's avoid enumerating the readings for as long as we can.
u Take a single syntactic analysis and derive a single underspecified semantic representation
from it.
u Possibly perform inferences on underspecified
descriptions to remove unwanted readings.
u Then enumerate readings from description by
need.
![Page 9: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/9.jpg)
Scope Underspecification: The big picture
Sentence
semantic repres. 1semantic repres. 2semantic repres. 3semantic repres. 4
Syntax USR
![Page 10: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/10.jpg)
Dominance graphs
u Semantic representations are e.g. formulas of first-order logic.
u Read these formulas as trees.
u Describe these trees using graphs that can be embedded into them.
u Use special graph edges to represent variable binding (not shown here).
u Equivalent to normal dominance constraints, i.e. both graph view and logic view available.
![Page 11: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/11.jpg)
Describe Trees Using Graphs
"Every student reads a book."∃y book(y) ∧ ∀x.student(x) → read(x,y)
∀x.student(x) → ∃y book(y) ∧ read(x,y)
∀x
student
→
x
@ ∃y
book y
∧
@
read x
y
@
@
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
![Page 12: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/12.jpg)
Describe Trees Using Graphs
∀x
student
→
x
@
read x
y
@
@
∃y
book y
∧
@
"Every student reads a book."∃y book(y) ∧ ∀x.student(x) → read(x,y)
∀x.student(x) → ∃y book(y) ∧ read(x,y)
![Page 13: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/13.jpg)
Solutions of dominance graphs
∀x
student
→
x
@ ∃y
book y
∧
@
read x
y
@
@
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
![Page 14: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/14.jpg)
Solutions of dominance graphs
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
![Page 15: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/15.jpg)
Not a solution
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
∀x
student
→
x
@
read x
y
@
@
∃y
book y
∧
@
foo
a
?
![Page 16: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/16.jpg)
Solutions can be larger than graph
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
bar
baz
foo
![Page 17: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/17.jpg)
Solutions vs. configurations
u A solution is a tree into which the graph can be embedded.
u A configuration is a tree into which the graph's fragments can be configured, i.e. arranged
without adding new nodes.
![Page 18: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/18.jpg)
Underspecification Formalisms
QLF(Alshawi & Crouch 92)
UDRT(Reyle 93)
Hole Semantics(Bos 96)
MRS(Copestake et al. 99)
CLLS(Egg et al. 98)
Dominance constraints/graphs(Koller et al. 00)
LDG(Muskens 95)
. . .
![Page 19: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/19.jpg)
Grand Unified Theory?
u Underspecified descriptions in many of these formalisms look very similar.
u What are the formal relations between them?
u Are the formalisms equivalent?
u At least on some useful fragment of
language?
![Page 20: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/20.jpg)
Resource Sharing
Usp. description(MRS)
Usp. description(dominance)
Large-scalegrammars
Efficient solvers
????
![Page 21: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/21.jpg)
Underspecification Formalisms
QLF(Alshawi & Crouch 92)
UDRT(Reyle 93)
Hole Semantics(Bos 96)
MRS(Copestake et al. 99)
CLLS(Egg et al. 98)
Dominance constraints/graphs(Koller et al. 00)
LDG(Muskens 95)
. . .
![Page 22: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/22.jpg)
Underspecification Formalisms
Hole Semantics(Bos 96)
MRS(Copestake et al. 99)
Dominance constraints/graphs(Koller et al. 00)
QLF(Alshawi & Crouch 92)
UDRT(Reyle 93)
CLLS(Egg et al. 98)
LDG(Muskens 95)
. . .
![Page 23: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/23.jpg)
Underspecification Formalisms
QLF(Alshawi & Crouch 92)
UDRT(Reyle 93)
Hole Semantics(Bos 96)
MRS(Copestake et al. 99)
CLLS(Egg et al. 98)
Dominance constraints/graphs(Koller et al. 00)
LDG(Muskens 95)
. . .
� � � � � � � � �� � � � � �� � � � �
![Page 24: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/24.jpg)
MRS (simplified)
u Underspecified descriptions can be seen as graphs.
u Configure nodes into a tree such that dominance wishes are respected.
u All holes must be "plugged".
u A node can have more than one label.
![Page 25: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/25.jpg)
The example in MRS
"Every student reads a book."
∀x
student
→
x
@
read x
y
@
@
∃y
book y
∧
@
![Page 26: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/26.jpg)
Description has exactly two solutions
∀x
student
→
x
@ ∃y
book y
∧
@
read x
y
@
@
∀x
student
→
x
@
∃y
book y
∧
@
read x
y
@
@
![Page 27: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/27.jpg)
Translating MRS to dominance graphs
Usp. description (MRS) Usp. description (dominance)
![Page 28: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/28.jpg)
Almost correct ...
u Solutions of the MRS description correspond to configurations of the dominance graph.
u This is pretty nice.
u But: Configurations are not the standard
notion of solutions for which e.g. dominance solvers are defined.
![Page 29: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/29.jpg)
... but not quite
≠≠≠≠
Usp. description (MRS) Usp. description (dominance)
solution solution
![Page 30: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/30.jpg)
Why not?
u So, strictly speaking, the translation is not correct!
u Crucial case: Graph contains subgraph of the following kind:
u Does this situation ever occur in practice?
(If no, the translation works well enough!)
![Page 31: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/31.jpg)
Nets
u A dominance graph is hypernormally connected (or a net) iff every pair of nodes is
connected by a simple hypernormal path.
u Hypernormal paths: undirected paths that do
not use adjacent dominance edges out of the same leaf:
ga
b
f f
ga
b b
![Page 32: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/32.jpg)
Equivalence of Nets
u The MRS-to-dominance translation is correct on all nets.
u The Hole Semantics-to-dominance translation and its reverse are correct on all nets.
K., Niehren, Thater EACL 2003Niehren & Thater ACL 2003
MRS dominance
nets netstranslation
Hole Sem.
netsequivalence
![Page 33: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/33.jpg)
Are real descriptions nets?
u Equivalence results very satisfying, but: Are the equivalent fragments practically relevant?
u For small fragments of English, this can be proved (K., Niehren, Thater 2003).
u For large-scale grammars, proof is infeasible.
u But: Empirical evaluation.
![Page 34: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/34.jpg)
The Net Hypothesis
MRS dominance
nets nets
Sentences
u Net hypothesis: All useful underspecified descriptions are hypernormally connected.
parser translation
![Page 35: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/35.jpg)
Evaluation of the Net Hypothesis
MRS
NetsRedwoodsTreebank(6200 sentences) 83% are nets
17% seem to besystematically incomplete
English ResourceGrammar
Fuchss et al., ACL 2004
![Page 36: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/36.jpg)
Non-nets seem to be incomplete
"A cafeteria and a sauna are available."
![Page 37: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/37.jpg)
Completions are nets
"A cafeteria and a sauna are available."
![Page 38: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/38.jpg)
Taking stock
u Equivalence results for the hypernormally connected fragments of dominance graphs,
MRS, and Hole Semantics.
u Most (or all!) relevant underspecified
descriptions are indeed hypernormally connected.
u What does this give us?
![Page 39: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/39.jpg)
Harvesting 1: Sharing resources
Usp. description(MRS)
Usp. description(dominance)
Large-scalegrammars
Efficient solvers
TranslationTranslationTranslationTranslation
Large-scale grammarsfor dom. graphs
Efficient solversfor MRS
![Page 40: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/40.jpg)
Efficient solving
Factor 50Factor 50Factor 50Factor 50
Factor 500Factor 500Factor 500Factor 500
Fuchss et al., ACL 2004
![Page 41: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/41.jpg)
Harvesting 2: Grammar verification
u When developing a large grammar, it is not trivial to keep track of interdependencies and
long-range effects of changes.
u Semantic output is hard to verify.
u If all correct underspecified descriptions are hnc, non-nets may be a warning sign for
errors in the grammar's semantics component.
![Page 42: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/42.jpg)
Harvesting 3: Expressivity of atoms
u Different usp. formalisms use different atoms to talk about formulas.
u MRS can express things that dominance graphs can't:
– "equality up to quantifiers" (restricted form of dominance): empirically shown to be
unnecessary
– can label the same node with multiple
labels: never necessary in nets
![Page 43: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/43.jpg)
Conclusion
u Underspecification: deal with (scope) ambiguity by delaying enumeration of readings.
u Many different underspecification formalisms -but are they really different?
u Yes, they are!
u But relevant fragments (nets) of dominance graphs, MRS, and Hole Semantics are indeed equivalent.
u Sharing of resources.
![Page 44: Towards a Grand Unified Theory of Scope Underspecificationkoller/talks/gut.pdf · Towards a Grand Unified Theory of Scope Underspecification Alexander Koller Saarland University Saarbrücken,](https://reader034.fdocuments.us/reader034/viewer/2022051921/600db4ad83bd9f0aa64c32bc/html5/thumbnails/44.jpg)
Future Work
u Extend equivalence results to other underspecification formalisms.
u Develop and implement efficient test for hypernormal connectedness, and re-run
evaluation on new version of grammar.
u Closer inspection of non-nets from the
treebank.
u Let's get on with underspecification work,
instead of inventing new formalisms!