Recursion-06: 1 A Tale of Recursion (A very preliminary version) ARAVIND K. JOSHI April (revised May )
Recursion-06: 2 Hauser, M.D., Chomsky, N., and Fitch, W.T The Faculty of Language: What is it, Who Has It, and How did it evolve? Science 298 pp “FLN (faculty of language in the narrow sense) includes recursion and is the only uniquely human component of the faculty of language.” –from the Abstract, p.1569 Recursion as the unique property of the faculty of language
Recursion-06: 3 Is recursion the only unique property of the human language faculty? There may be some other properties unique to the human language faculty Here is a candidate: Every construction in a language has variants, i.e., what is said by using a construction can be said in another way (or other ways) preserving semantics. Thus these variants are syntactic variants. (There will be some frozen expressions which may not have any variants. However, these constructions will not participate in recursion so we can leave them out from our consideration.)
Recursion-06: 4 We will show (by some examples)that the two properties mentioned before interact in the following way: A construction may be unboundedly recursive in one or more of its variants but it is not unboundedly recursive in all its variants We will call this property non-uniformity of recursion Thus our claim will be that language has recursion but it is non-uniform Thus recursion is indirectly bounded!
Recursion-06: 5 An alternate perspectives on LTAG: Flexible composition
Recursion-06: 6 Flexible Composition X Split at x X X supertree of at X subtree of at X Adjoining as Wrapping
Recursion-06: 7 X X X X X wrapped around i.e., the two components and are wrapped around supertree of at X subtree of at X Flexible Composition Adjoining as Wrapping
Recursion-06: 8 S V NP likes NP(wh) e S VP S NP V S*S* think VP substitution adjoining Flexible Composition Wrapping as substitutions and adjunctions NP - We can also view this composition as wrapped around - Flexible composition
Recursion-06: 9 S* V NP likes NP(wh) e S VP S NP V S*S* think VP substitution adjoining Flexible Composition Wrapping as substitutions and adjunctions NP S and are the two components of attached (adjoined) to the root node S of attached (substituted) at the foot node S of Leads to multi-component TAG (MC-TAG)
Recursion-06: 10 Multi-component LTAG (MC-LTAG) The two components are used together in one composition step. Both components attach to nodes in an elementary tree. This preserves locality. Tree local MC-LTAG The representation can be used for both -- predicate-argument relationships -- non-p/a information such as scope, focus, etc.
Recursion-06: 11 Tree-local Multi-component LTAG (MC-LTAG) - Tree-local MC-LTAG - Flexible composition - Tree-local MC-LTAGs are weakly equivalent (?) - However, Tree-local MC-LTAGs provide structural descriptions not obtainable by LTAGs - Increased strong generative power - In the linguistic context there are always constraints among the components (usually two components), constraints such as domination, immediate domination, c-command, co-indexing, etc. These are structural (linguistic) constraints and not processing constraints
Recursion-06: 12 (1) The gardener who the woman kept calling all day finally came. (1’) The gardener finally came who the woman kept calling all day. (2) The gardener who the woman who had lost her keys kept calling all day finally came. *(2’) The gardener who the woman kept calling all day finally came who had lost her keys. Extraposition from NP: An example
Recursion-06: 13 NP VP The gardener finally came S NP VP The gardener finally came S S S who the woman kept calling all day
Recursion-06: 14 NP VP finally came S NP VP The gardener finally came S S S who the woman kept calling all day b1: { b11 b12} NP S NP* S(i) S* S(i) e who the woman kept calling all day ID The gardener NP
Recursion-06: 15 NP VP S S S (i) who had lost her keys NP S The gardener who the woman (i) kept calling all day finally came * Recursion of NP extraposition is constrained (Example 1) Even if it is allowed the result is associated with the semantics of stacked relatives, thus semantically incoherent
Recursion-06: 16 Uniform (U) and non-uniform (NU) recursion Recursion is uniform (U) if a recursive construction is semantically coherent in all its variants, i.e., all the “transformed” versions of the construction. Otherwise it is non-uniform (NU) Center embedding of relative clauses is NU Tree-local MC-LTAG can model this non-uniformity of center embedding Another example: -- Recursive embedding of verbs taking complements– Example 2
Recursion-06: 17 (1)The President will resign today (2) John thinks the President will resign today (3) The President, John thinks, will resign today (4) Mary believes John thinks the President will resign today *(5) Mary believes the President, John thinks, will resign today *(6) The President, Mary believes John thinks, will resign today Uniform and non-uniform recursion This non-uniformity of recursive embedding of verbs taking clausal complements can also be modeled by tree-local MC-LTAG
Recursion-06: 18 Another example – Example 3 (1)Who did Bill invite? (2) Who does John think Bill invited? ? (3) Who did Bill, John thinks, invite? (4) Who does Harry believe John thinks Bill invited? ?? (5) Who does Harry believe Bill, John thinks, invited? ?? (6) Who did Bill, Harry believes John, thinks, invite?
Recursion-06: 19 (1) Hans 1 Peter 2 Marie 3 schwimmen 3 lassen 2 sah 1 (2)) P(N 1, N 2 … N k ) V k V k-1 … V 1 where P is a permutation of k nouns Scrambling (Example 4) Consider the case where the N i V i pairs are purely nested, i.e., (3) N1, N2 … Nk Vk Vk-1 … V1 Clearly, this recursive embedding is uniform (U) Now regard all other permutations of N i as variants of (3) We now have the interesting result …
Recursion-06: 20 Scrambling- Example 4 Tree-local MC-LTAG can generate all permutations of N’s in (3) (3) N1 N2 … Nk Vk Vk-1 … V1 with correct structural descriptions, i.e., correct semantics for up to 2 levels of embedding (k=3) Beyond two levels of embedding, not all permutations of N’s can be generated with the correct structural descriptions (semantics) Recursive embedding of complement clauses is non-uniform, which is modeled by Tree-local MC-TAG
Recursion-06: 21 Scrambling- Example 4 For k=3, all permutations on N’s are possible N1 N2 N3 V3 V2 V1 N1 N3 N2 V3 V2 V1 N2 N1 N3 V3 V2 V1 N2 N3 N1 V3 V2 V1 N3 N1 N2 V3 V2 V1 N3 N2 N1 V3 V2 V1
Recursion-06: 22 Some elementary trees (possibly multi-component) for a verb with a scrambled argument VP Ni VP* VP Ni V e VP* VP Ni VP VP Ni V e VP* VP Ni VP VP Ni V e b1: b2:b3: b31: b32:
Recursion-06: 23 N1 N2 N3 V3 V2 V1 VP N3 VP VP N3 e V3 VP N2 VP VP N2 V2 e VP* VP N1 VP VP N1 V1 e VP*
Recursion-06: 24 N3 N2 N1 V3 V2 V1 VP N3 VP VP N3 e V3 VP N2 VP VP N2 V2 e VP* VP N1 VP VP N1 V1 e VP*
Recursion-06: 25 N2 N3 N1 V3 V2 V1 VP N3 VP* VP N3 e V3 VP N2 VP VP N2 V2 e VP* VP N1 VP* VP N1 V1 e VP* Now how does the top level subordinator compose?
Recursion-06: 26 N2 N3 N1 V3 V2 V1 VP N3 VP* VP N3 e V3 VP N2 VP VP N2 V2 e VP* VP NP VP* VP N1 V1 e VP* VP XP VP* VP* a a1 a2 a3 a3 composes with a2, a1 with a and then the result with a2 ( top level subordinator)
Recursion-06: 27 Scrambling- Example 4 For k=4 N1 N2 N3 N4 V4 V3 V2 V1 N1 N2 N4 N3 V4 V3 V2 V1 N1 N3 N2 N4 V4 V3 V2 V1 N1 N3 N4 N2 V4 V3 V2 V1 N1 N4 N3 N2 V4 V3 V2 V1 N1 N4 N2 N3 V4 V3 V2 V1. (24 in all) Only some of these can be generated with correct structural descriptions with Tree-local MC-TAG
Recursion-06: 28 Scrambling- Example 4 For k=4 Some possible sequences: N1 N2 N3 N4 V4 V3 V2 V1 N4 N3 N2 N1 V4 V3 V2 V1. N1 N4 N3 N2 V4 V3 V2 V1.
Recursion-06: 29 Scrambling- Example 4 For k=4 An impossible sequence:. N4 N1 N3 N2 V4 V3 V2 V1. (The status of remaining 20 sequences has not been worked out yet.)
Recursion-06: 30 Scrambling – Example 4 For all k, at least the following two permutations can always be realized by Tree-local MC-TAG N1 N2 … Nk-1 Nk Vk Vk-1 …V1 Nk Nk-1 … N2 N1 Vk Vk-1 … V1
Recursion-06: 31 Landscape analogy (not completely worked out) All sequences for k=1,2, and 3, and for k= 4.5… the purely nested the purely crossed sequences, and possibly some others are on the flat floor of a valley with steeply rising mountains on either side. All other sequences for k= 4,5,… are on the these steeply rising surfaces of the mountains. (Analogy: Energy landscapes for biological sequences)
Recursion-06: 32 A claim about recursion in language All recursive constructions in language are non-uniform (NU), i.e., -- a recursive construction when viewed across all its variants is non-uniform That is, a recursive construction, although unbounded in one or more of its variants, it is bounded when viewed across all its variants In this sense, recursion is bounded Note that we have not put any explicit bound in the grammar itself The results follow from the notions of locality and flexible composition implicit in Tree-local MC-LTAG
Recursion-06: 33 Psycholinguistic Relevance Non-uniformity of recursion indirectly bounding recursion is a competence property and not a performance property We have not put an arbitrary external bound on recursion -- The indirect bound is a property of the grammar -- This is quite different from putting an arbitrary bound on recursion in a CFG to bound center embedding of relative clauses, for example We are not arguing against processing constraints. Clearly, for the variants with unbounded recursion, processing constraints need to be invoked. However, the non-uniformity of recursion provides a structural bound. Thus, the non- uniformity of recursion may be indirectly bounding all recursion!
Recursion-06: 34 Summary A recursive construction is uniform if all variants of the construction generate correct semantics, otherwise, it is non-uniform For Tree-local MC-LTAG, recursion is uniform for up to two levels of embedding, i.e., three clauses in all, beyond that it is non-uniform A claim: All recursion in language is non-uniform, thus indirectly bounding recursion -- This bound is a formal (competence) property -- Not due to an arbitrary external bound on the grammar A possible challenge to a foundational property of language??