09.07.2015 Views

Practical Information - Generative Linguistics in the Old World

Practical Information - Generative Linguistics in the Old World

Practical Information - Generative Linguistics in the Old World

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Covert without overt: QR for movementless pars<strong>in</strong>g frameworksAsad Sayeed and Vera Demberg, MMCI Cluster of Excellence, Saarland UniversityAfter a two-decade period of relative absence, rich l<strong>in</strong>guistic representation is return<strong>in</strong>g toeng<strong>in</strong>eer<strong>in</strong>g applications, particularly <strong>in</strong>cremental pars<strong>in</strong>g and spoken dialogue systems. However,for reasons of structural ambiguity avoidance and representational convenience, movementlessformalisms dom<strong>in</strong>ate <strong>the</strong> landscape, ma<strong>in</strong>ta<strong>in</strong><strong>in</strong>g <strong>the</strong> on-go<strong>in</strong>g disconnection with potentiallyuseful generalizations from syntactic and semantic <strong>the</strong>ory. We suggest that one importantarea <strong>in</strong> which <strong>the</strong>se generalizations can be restored to eng<strong>in</strong>eer<strong>in</strong>g-oriented formalisms is<strong>in</strong> <strong>the</strong> representation of scope ambiguity.We propose a new way of represent<strong>in</strong>g quantifier scope ambiguities and <strong>the</strong>ir resolutions thatis derived entirely from neo-Davidsonian semantic expressions. We use a limited form of movementand simple restrictions <strong>the</strong>reon <strong>in</strong> order to implement covert movement without impos<strong>in</strong>gaspects of movement-based formalisms on movementless <strong>in</strong>cremental parsers. Implement<strong>in</strong>gonly covert movement <strong>the</strong>refore allows <strong>the</strong> pars<strong>in</strong>g algorithm to proceed unchanged.The problem of scope ambiguity <strong>in</strong> <strong>the</strong> output representation has recently become a matter ofdebate (e.g. Joshi et al., 2008) <strong>in</strong> <strong>the</strong> pars<strong>in</strong>g literature. Many of <strong>the</strong> current solutions proposedfor Tree-Adjo<strong>in</strong><strong>in</strong>g Grammars (TAGs), comb<strong>in</strong>atory categorial grammars (CCGs), and so onhave <strong>the</strong> property that <strong>the</strong> ambiguous structures are represented <strong>in</strong> <strong>the</strong> lexicon along with <strong>the</strong>scope items as logical forms. Ruys and W<strong>in</strong>ter (2010) compare <strong>the</strong>se logical approaches toquantifier rais<strong>in</strong>g (QR; May, 1985) approaches from <strong>the</strong>oretical syntax and f<strong>in</strong>d that <strong>the</strong> logicalapproaches do not capture some of <strong>the</strong> island generalizations that QR approaches do. Attemptsto handle scope ambiguity through logical operations such as type-rais<strong>in</strong>g (Champollion, 2011)also require <strong>the</strong> bottom-up revision of semantic structures, which is <strong>in</strong>crementality-unfriendly.A controversial example comes from Romero and Kallmeyer (2005), for which we give aneo-Davidsonian representation:(1) a. Two politicians spied on someone from every city.b. 2x 1 Politician(x 1 )&∃x 2 Person(x 2 )&∀x 3 City(x 3 )&From(x 2 , x 3 ) →∃eSpyer(e, x 1 )&SpiedUpon(e, x 2 )&Spy(e)Neo-Davidsonian semantics (Parsons, 1990) uses existentially-quantified event variables (<strong>in</strong>this example, e) to connect verb predicates with <strong>the</strong>ir arguments, and to assign <strong>the</strong>ta roles toarguments. Conjunctions are used to produce a flat semantic representation, which simplifies<strong>the</strong> <strong>in</strong>ferences required to update <strong>the</strong> semantic expression dur<strong>in</strong>g <strong>in</strong>cremental pars<strong>in</strong>g and allowsadjuncts to be <strong>in</strong>tegrated <strong>in</strong>to <strong>the</strong> expression without already know<strong>in</strong>g <strong>the</strong>ir hosts.In this example, Romero and Kallmeyer claim that valid scope orders <strong>in</strong>clude 2 > ∃ > ∀,2 > ∀ > ∃, ∀ > ∃ > 2, and ∃ > ∀, 2, where ∀ is <strong>in</strong> <strong>the</strong> restrictor of ∃. However, ∀ >2 > ∃ is excluded. With<strong>in</strong> <strong>the</strong> TAG framework, Joshi et al. accommodate <strong>the</strong>se read<strong>in</strong>gs us<strong>in</strong>gmulti-component trees with ambiguous attachments <strong>in</strong> <strong>the</strong> syntax. Dur<strong>in</strong>g an <strong>in</strong>cremental parse,commitments may have been made that would thus have to be undone <strong>in</strong> an ad hoc manner <strong>in</strong>order to accommodate multiple read<strong>in</strong>gs.We reconcile <strong>the</strong>se read<strong>in</strong>gs with<strong>in</strong> a covert-only movement-based framework us<strong>in</strong>g a typeof structure we call a variable scope tree (VST). O<strong>the</strong>r approaches to scope ambiguity that<strong>in</strong>volve <strong>the</strong> construction of a graph structure alongside <strong>the</strong> parse tree <strong>in</strong>clude Koller et al. (2003),which is fully lexicalized and non-<strong>in</strong>cremental. We construct VSTs from neo-Davidsonianexpressions us<strong>in</strong>g <strong>the</strong> follow<strong>in</strong>g algorithm:• F<strong>in</strong>d <strong>the</strong> root event e correspond<strong>in</strong>g to <strong>the</strong> outermost/matrix clause.• F<strong>in</strong>d every predicate <strong>in</strong> <strong>the</strong> expression mention<strong>in</strong>g e.• For every variable v o<strong>the</strong>r than e mentioned <strong>in</strong> <strong>the</strong>se predicates,– Make v a child of e <strong>in</strong> <strong>the</strong> VST. Label v’s node with v’s quantifier.1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!