Models of Adjunction in Minimalist Grammars

Similar documents
Movement-Generalized Minimalist Grammars

Person Case Constraints and Feature Complexity in Syntax

X-bar theory. X-bar :

Sharpening the empirical claims of generative syntax through formalization

Towards an Algebraic Morphosyntax

Model-Theory of Property Grammars with Features

Introduction to Semantics. The Formalization of Meaning 1

Ch. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP].

Unifying Adjunct Islands and Freezing Effects in Minimalist Grammars

Parsing Beyond Context-Free Grammars: Tree Adjoining Grammars

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

Another look at PSRs: Intermediate Structure. Starting X-bar theory

Moreno Mitrović. The Saarland Lectures on Formal Semantics

Tree Adjoining Grammars

Sharpening the empirical claims of generative syntax through formalization

Insertion Minimalist Grammars: Eliminating redundancies between merge and move

Semantics 2 Part 1: Relative Clauses and Variables

A Computational Approach to Minimalism

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars

564 Lecture 25 Nov. 23, Continuing note on presuppositional vs. nonpresuppositional dets.

Surface Reasoning Lecture 2: Logic and Grammar

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

On rigid NL Lambek grammars inference from generalized functor-argument data

Parsing with Context-Free Grammars

Generalized Quantifiers Logical and Linguistic Aspects

Two sets of alternatives for numerals

An Additional Observation on Strict Derivational Minimalism

A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus

Top Down and Bottom Up Composition. 1 Notes on Notation and Terminology. 2 Top-down and Bottom-Up Composition. Two senses of functional application

Semantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context.

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08

A* Search. 1 Dijkstra Shortest Path

On the Logic of LGB Type Structures. Part III: Minimalism

Ling 240 Lecture #15. Syntax 4

Artificial Intelligence

Proving languages to be nonregular

Grammar formalisms Tree Adjoining Grammar: Formal Properties, Parsing. Part I. Formal Properties of TAG. Outline: Formal Properties of TAG

Bringing machine learning & compositional semantics together: central concepts

CAS LX 522 Syntax I Fall 2000 October 10, 2000 Week 5: Case Theory and θ Theory. θ-theory continued

Sharpening the empirical claims of generative syntax through formalization

A proof theoretical account of polarity items and monotonic inference.

Focus in complex noun phrases

Introduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context.

Introduction to Semantics. Common Nouns and Adjectives in Predicate Position 1

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Reference-Set Computation = Minimalism + Transformational Rules?

Parsing with CFGs L445 / L545 / B659. Dept. of Linguistics, Indiana University Spring Parsing with CFGs. Direction of processing

Semantics and Generative Grammar. Quantificational DPs, Part 3: Covert Movement vs. Type Shifting 1

Parsing with CFGs. Direction of processing. Top-down. Bottom-up. Left-corner parsing. Chart parsing CYK. Earley 1 / 46.

Ling 98a: The Meaning of Negation (Week 5)

Theory of Computation

2 A not-quite-argument for X-bar structure in noun phrases

The Semantics of Definite DPs 1. b. Argument Position: (i) [ A politician ] arrived from Washington. (ii) Joe likes [ the politician ].

Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095

Sharpening the empirical claims of generative syntax through formalization

Context Free Grammars

Supplementary Notes on Inductive Definitions

1. Background. Task: Determine whether a given string of words is a grammatical (well-formed) sentence of language L i or not.

Seminar in Semantics: Gradation & Modality Winter 2014

Andrew Carnie, Structural Relations. The mathematical properties of phrase structure trees

Semantics and Generative Grammar. An Introduction to Intensional Semantics 1

Locality and the Complexity of Minimalist Derivation Tree Languages

Computational Semantics Day 4: Extensionality and intensionality

An introduction to mildly context sensitive grammar formalisms. Combinatory Categorial Grammar

A Syntax-based Statistical Machine Translation Model. Alexander Friedl, Georg Teichtmeister

CAS LX 522 Syntax I November 4, 2002 Week 9: Wh-movement, supplement

26. Januar Introduction to Computational Semantics

Proseminar on Semantic Theory Fall 2010 Ling 720. Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification

Natural Language Processing CS Lecture 06. Razvan C. Bunescu School of Electrical Engineering and Computer Science

Decoding and Inference with Syntactic Translation Models

Lecture Notes on Inductive Definitions

Structures mathématiques du langage

Topics in Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple. Xerox PARC. August 1995

Derivational order and ACGs

Lecture Notes on Inductive Definitions

Presuppositions (introductory comments)

Computational Linguistics II: Parsing

Categorial Grammar. Larry Moss NASSLLI. Indiana University

CS Data Structures and Algorithm Analysis

Linguistics 819: Seminar on TAG and CCG. Introduction to Combinatory Categorial Grammar

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University

Parsing. Based on presentations from Chris Manning s course on Statistical Parsing (Stanford)

Dependency grammar. Recurrent neural networks. Transition-based neural parsing. Word representations. Informs Models

CS460/626 : Natural Language

Maschinelle Sprachverarbeitung

Maschinelle Sprachverarbeitung

Chapter 4: Computation tree logic

Foundations of Informatics: a Bridging Course

Natural Logic Welcome to the Course!

CS 730/730W/830: Intro AI

Semantics and Generative Grammar. Quantificational DPs, Part 2: Quantificational DPs in Non-Subject Position and Pronominal Binding 1

MA/CSSE 474 Theory of Computation

The Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple

Lecture Notes on From Rules to Propositions

HPSG: Binding Theory

1 Terminology and setup

Relational Reasoning in Natural Language

HPSG II: the plot thickens

Some Remarks on Locality Conditions and Minimalist Grammars

Transcription:

Models of Adjunction in Minimalist Grammars Thomas Graf mail@thomasgraf.net http://thomasgraf.net Stony Brook University FG 2014 August 17, 2014

The Theory-Neutral CliffsNotes Insights Several properties set adjuncts apart from arguments. Which of these properties do recent proposals fail to capture, and why? Does linguistic adequacy increase formal complexity? Empirical Recursive adjunction poses biggest challenge Formal Optionality and iterability of adjuncts necessarily bring about a certain degree of complexity

Outline 1 Properties of Adjuncts 2 Three MG Models of Adjunction A 1-Slide Intro to MGs Category-Preserving Selection Asymmetric Feature Checking No Feature Checking 3 Formal Comparison

Properties of Adjuncts Adjuncts are characterized by a variety of properties: optional iterable recursive adjunction ordering effects (only some adjuncts) no double adjunction adjuncts don t project 1

Optionality Grammaticality is preserved under removal of adjuncts. (1) a. John suddenly abandoned his team. b. John abandoned his team. c. * John suddenly abandoned. (2) a. John put the book about Categorial Grammar on the shelf. b. John put the book on the shelf. c. * John put the book about Categorial Grammar. 2

Iterability The number of adjuncts per phrase is unbounded. (3) a. the terrible destruction of the city b. the terrible unexpected destruction of the city c. * the terrible destruction of the city of the bridge 3

Recursivity Adjuncts can be adjoined to. (4) a. the unexpected destruction b. the [very unexpected] destruction c. the [definitely [very unexpected]] destruction d. the [[very definitely] [very unexpected]] destruction 4

Ordering effects Some adjuncts (in particular adjectives) exhibit a default word order. Deviating from this order often has semantic effects. (5) a. the big round box b.? the round big box (6) a. a beautiful old clock b.? an old beautiful clock 5

No Double Adjunction An adjunct adjoins to exactly one phrase. (7) the caustic, often acerbic teenage gal the often caustic, often acerbic teenage gal NP NP AP NP AP NP caustic AP NP AP AP teenage gal AdvP AP teenage gal caustic AdvP AP often acerbic often acerbic 6

No Double Adjunction An adjunct adjoins to exactly one phrase. (7) the caustic, often acerbic teenage gal the often caustic, often acerbic teenage gal NP NP AP NP AP NP caustic AP NP AP AP teenage gal AdvP AP teenage gal caustic AdvP AP often acerbic often acerbic 6

Adjuncts Don t Project Adjuncts are part of the phrase they adjoin to. At the same time, they occupy an outer shell compared to arguments. (8) a. John [ VP [ VP met Mary] yesterday], and Bill did [ VP [ VP meet Mary] yesterday], too. b. John [ VP [ VP met Mary] yesterday], and Bill did [ VP [ VP meet Mary] today]. c. * John [ VP met Mary], and Bill did [ VP meet Sue]. 7

Minimalist Grammars (Stabler 1997) Lexical items phonetic exponent :: ordered list of features Structure-building operations : combine two trees in one Move: displace subtrees Operation must be triggered by features of opposite polarity John :: d punched :: = d = d v the :: = n d man :: n 8

Minimalist Grammars (Stabler 1997) Lexical items phonetic exponent :: ordered list of features Structure-building operations : combine two trees in one Move: displace subtrees Operation must be triggered by features of opposite polarity John :: d punched :: = d = d v the :: = n d man :: n 8

Minimalist Grammars (Stabler 1997) Lexical items phonetic exponent :: ordered list of features Structure-building operations : combine two trees in one Move: displace subtrees Operation must be triggered by features of opposite polarity John :: d punched :: = d = d v the :: = n d man :: n 8

Minimalist Grammars (Stabler 1997) Lexical items phonetic exponent :: ordered list of features Structure-building operations : combine two trees in one Move: displace subtrees Operation must be triggered by features of opposite polarity John :: d punched :: = d = d v the :: = n d man :: n 8

Minimalist Grammars (Stabler 1997) Lexical items phonetic exponent :: ordered list of features Structure-building operations : combine two trees in one Move: displace subtrees Operation must be triggered by features of opposite polarity John :: d punched :: = d = d v the :: = n d man :: n 8

Minimalist Grammars (Stabler 1997) Lexical items phonetic exponent :: ordered list of features Structure-building operations : combine two trees in one Move: displace subtrees Operation must be triggered by features of opposite polarity > John :: d John < punched :: = d = d v punched < the :: = n d man :: n the man 8

Adjunction as Category-Preserving Selection (Folklore) Idea from CG: adjuncts have type τ/τ Adjuncts are just lexical items that happen to have category and selector features of the same name. adjunct :: λx[... = x... x...](a) Advantage: no new machinery needed 9

Success 1: Optionality If a adjoins to x, a must have the same category feature as x whatever selects a can also select x without a the :: = n d the :: = n d clock :: n old :: = n n clock :: n 10

Success 2: Iterability Since adjunction is category-preserving, whatever can adjoin to x can also adjoin to it after something else has already adjoined to x. the :: = n d big :: = n n old :: = n n clock :: n 11

Major Shortcomings Treating adjunction as a special case of selection is too restrictive and too permissive. Too Permissive: Double Adjunction A lexical item like bnik :: = a = a a could be interpreted as an adjunct of two adjectives. big :: a bnik :: = a = a a old :: a 12

Major Shortcomings Treating adjunction as a special case of selection is too restrictive and too permissive. Too Permissive: Double Adjunction A lexical item like bnik :: = a = a a could be interpreted as an adjunct of two adjectives. big :: a bnik :: = a = a a old :: a 12

Too Restrictive: Incorrect Projection Adjuncts select the phrase they adjoin to, hence adjuncts project. < the :: = n d the < old :: = n n clock :: n old clock Why It Matters Given how phrasal movement works in MG, this means that a moving XP leaves its adjuncts behind. 13

Too Restrictive: Incorrect Projection Adjuncts select the phrase they adjoin to, hence adjuncts project. < the :: = n d the < old :: = n n clock :: n old clock Why It Matters Given how phrasal movement works in MG, this means that a moving XP leaves its adjuncts behind. 13

Too Restrictive: Ordering Effects Ordering can easily be handled by standard selection, but not by category-preserving selection = adjunction. the :: = n d big :: = n n old :: = n n clock :: n 14

Too Restrictive: Ordering Effects Ordering can easily be handled by standard selection, but not by category-preserving selection = adjunction. the :: = n d old :: = n n big :: = n n clock :: n 14

Too Restrictive: Recursive Adjunction Adjunction to an adjunct gives wrong structure. clock is a noun: clock :: n old modifies clock: old :: = n n very modifies old: very :: = n n This produces a tree where very is an adjunct of clock, not old! very :: = n n old :: = n n clock :: n 15

Too Restrictive: Recursive Adjunction Adjunction to an adjunct gives wrong structure. clock is a noun: clock :: n old modifies clock: old :: = n n very modifies old: very :: = n n This produces a tree where very is an adjunct of clock, not old! very :: = n n old :: = n n clock :: n 15

Too Restrictive: Recursive Adjunction Adjunction to an adjunct gives wrong structure. clock is a noun: clock :: n old modifies clock: old :: = n n very modifies old: very :: = n n This produces a tree where very is an adjunct of clock, not old! very :: = n n old :: = n n clock :: n 15

Too Restrictive: Recursive Adjunction Adjunction to an adjunct gives wrong structure. clock is a noun: clock :: n old modifies clock: old :: = n n very modifies old: very :: = n n This produces a tree where very is an adjunct of clock, not old! very :: = n n old :: = n n clock :: n 15

Too Restrictive: Recursive Adjunction Adjunction to an adjunct gives wrong structure. clock is a noun: clock :: n old modifies clock: old :: = n n very modifies old: very :: = n n This produces a tree where very is an adjunct of clock, not old! very :: = n n old :: = n n clock :: n 15

Too Restrictive: Recursive Adjunction Adjunction to an adjunct gives wrong structure. clock is a noun: clock :: n old modifies clock: old :: = n n very modifies old: very :: = n n This produces a tree where very is an adjunct of clock, not old! very :: = n n old :: = n n clock :: n 15

The Real Problem: Adjuncts Need Special Status Fixing problems with coding tricks backfires: my :: = n d cousin :: n ε :: = a = n n twice :: adv removed :: = adv a The adjunct-marking empty head has an analogous feature type to possessive marker s :: = n = d d, which is not an adjunct. 16

The Real Problem: Adjuncts Need Special Status Fixing problems with coding tricks backfires: my :: = n d cousin :: n ε :: = a = n n twice :: adv removed :: = adv a The adjunct-marking empty head has an analogous feature type to possessive marker s :: = n = d d, which is not an adjunct. 16

Interim Summary Adjunction as category-preserving selection captures optionality and iterability. System must be relaxed to allow for ordering effects and recursive adjunction. A relaxed system can no longer distinguish adjuncts from arguments. Conclusion If we want to capture the properties of adjuncts, they need special status in the system. 17

Asymmetric Feature Checking (Frey and Gärtner 2002) Adjuncts have adjunction features instead of category features, e.g. old :: n Adjunction features are checked by category feature of adjoined phrase, but not the other way round. By stipulation, adjuncts do not project. < the :: = n d Adjoin the > big :: n Adjoin big > old :: n clock :: n old clock 18

Evaluation still captures optionality iterability also captures lack of projection (by stipulation) lack of double adjunction adjunction feature must be checked exactly once still fails ordering effects recursive adjunction adjuncts have no category feature cannot be adjoined to 19

No Feature Checking (Fowlie 2013) Adjuncts are freely inserted into derivation Relation R over category features determines whether adjunct may adjoin to phrase R : d > a > n < the :: = n d Adjoin the > big :: a Adjoin big > old :: a clock :: n old clock 20

No Feature Checking (Fowlie 2013) Adjuncts are freely inserted into derivation Relation R over category features determines whether adjunct may adjoin to phrase R : d > a > n < the :: = n d Adjoin the > big :: a Adjoin big > old :: a clock :: n old clock 20

Adding Order All intervening adjuncts must also be lower on the hierarchy. R : d > size > age > n the :: = n d Adjoin big :: size Adjoin old :: age clock :: n 21

Recursion Adjunct need not be daughter of Adjoin node. R : d > size > age > n deg > size > age the :: = n d Adjoin Adjoin Adjoin very :: deg big :: size old :: age clock :: n 22

Summary of Linguistic Evaluation Cat. Preserv. Asymm. Free optional iterable recursive no double adjunction ordering effects correct projection 23

Overview of Formal Properties Formalisms are minor modifications of the model-theoretic definition of MGs as constraints over derivation trees (Graf 2012a,b, 2013) Complexity = complexity of derivation tree languages Cat.P Asymm. Free Move strictly local vertical swap homogeneous FO[S] FO[<] reg gen. cap. CFL MCFL 24

Overview of Formal Properties Formalisms are minor modifications of the model-theoretic definition of MGs as constraints over derivation trees (Graf 2012a,b, 2013) Complexity = complexity of derivation tree languages Cat.P Asymm. Free Move strictly local vertical swap homogeneous FO[S] FO[<] reg gen. cap. CFL CFL CFL CFL MCFL 24

No Closure Under Regular Intersection All implementations enforce the optionality of adjuncts. Let L be the regular language of trees t such that t contains at least one node labeled very :: = a a, or very :: a, or very :: deg The intersection of L with MG G s derivation tree language cannot be generated by any MG as every MG treats very as optional. Moral O Optionality of adjuncts is incompatible with closure under intersection with regular tree languages. 25

Non-Local Dependency Due to iterability, the distance between a head and the argument it selects is unbounded in the derivation tree. If the category of the argument can be inferred from the category of the adjuncts, it suffices to check the category or adjunction feature of the highest adjunct local dependency But adjuncts are promiscuous (PP may adjoin to VP or NP) must search for category of argument long-distance dependency Moral I Iterability of adjuncts is incompatible with local selection unless the mapping from adjuncts to adjoinable categories is a function. 26

Summary Adjunction can be implemented in a variety of ways. Solution must be flexible to capture all properties of adjuncts, in particular ordering recursive adjunction Irrespective of the chosen implementation this entails: no closure under regular intersection selection is underlyingly a long-distance dependency Cat. Preserv. Asymm. Free optional iterable recursive no double adjunction ordering effects correct projection 27

References References Fowlie, Meaghan. 2013. Order and optionality: Minimalist grammars with adjunction. In Proceedings of the 13th Meeting on the Mathematics of Language (MoL 13), ed. András Kornai and Marco Kuhlmann, 12 20. Frey, Werner, and Hans-Martin Gärtner. 2002. On the treatment of scrambling and adjunction in minimalist grammars. In Proceedings of the Conference on Formal Grammar (FGTrento), 41 52. Trento. Graf, Thomas. 2012a. Locality and the complexity of minimalist derivation tree languages. In Formal Grammar 2010/2011, ed. Philippe de Groot and Mark-Jan Nederhof, volume 7395 of Lecture Notes in Computer Science, 208 227. Heidelberg: Springer. Graf, Thomas. 2012b. Movement-generalized minimalist grammars. In LACL 2012, ed. Denis Béchet and Alexander J. Dikovsky, volume 7351 of Lecture Notes in Computer Science, 58 73. Graf, Thomas. 2013. Local and transderivational constraints in syntax and semantics. Doctoral Dissertation, UCLA. Stabler, Edward P. 1997. Derivational minimalism. In Logical aspects of computational linguistics, ed. Christian Retoré, volume 1328 of Lecture Notes in Computer Science, 68 95. Berlin: Springer. 28