Representing the Effort in Resolving Ambiguous Scope Asad Sayeed (Saarland University) By definition, incrementality forces representations of the input to be only partially available, and yet linguistic constraints on interpretation are sometimes created by objects that are late in appearing. Predictive frameworks for syntactic parsing perform well in matching human behaviour in experimental settings by employing underspecification. At each step, the parser posits a maximum hypothesized structure with constraint-laden placeholders for as-yetunavailable structure. Prediction quality and its match to human behaviour is controlled by fine-tuning the appearance of these placeholders and the costs of satisfying their constraints. The same method could be used for quantifier scope ambiguity (Koller et al., 2013). The difference with syntactic parsing is that scope ambiguities and their associated structure belong to the covert part of the grammar with no direct observation available on the string. It could be that an underspecification approach is sufficient if the parser is “shallow” and only assigns semantic representation for which there is evidence in the surface string. The alternative, reanalysis, posits that the “deeper” interpretive constraints proposed by theories like quantifier raising (QR) apply at processing time. If reanalysis approaches can be empirically validated for scope ambiguity, then constraints on quantifier raising would need to be built into the semantic representation. Dotlaˇcil and Brasoveanu (2014) test sentences like these on adult speakers: (1) A caregiver (x) comforted a child (y) every night (n). a. The caregivers wanted the children to get some rest. (∀n > ∃x∃y) b. The caregivers wanted the child to get some rest. (∀n > ∃x) Using eye-tracking, D&B presented a sentence like (1) to a given subject with a continuation from (1a,b) as well as “caregiver”-singular controls. They found in (1a) facilitation of the plural reading of “caregiver” on the plural reading of “child”. Otherwise, the presence of a singular reading of “child” after a plural reading of “caregiver” (1b) forces regressions and rereadings. In a purely underspecified framework, the readings of “caregiver” and “child” should be independent of one another; the opposite would imply a default structure already posited by the parser, defeated by the forced raising of “every night” on encountering the plural. While D&B present evidence for the dynamic reanalysis of scope relations, there is even evidence for within-sentence covert movements of quantifiers, particularly from antecedentcontained deletion (ACD). Hackl et al. (2012) used self-paced reading to show that a quantifier in the matrix clause of an ACD sentence helps facilitate the resolution of the ACD itself, as opposed to a definite NP. Syrett and Lidz (2011) found that children and some adults do not respect a tensed clause barrier in ACD interpretation; they suggest that online processing capacity affects QR-constraining ability. Sayeed and Demberg (2012, 2013) proposed a neo-Davidsonian formalism to represent semantics fully incrementally. Neo-Davidsonian events provide a great deal of representational flexibility. It allows the expression to grow mostly rightwards: (2) a. A caregiver comforted . . . b. ∃xcaregiver(x) ∧ ∃ecomfort(e) ∧ agent(x, e) c. A caregiver comforted a child. d. ∃xcaregiver(x) ∧ ∃ecomfort(e) ∧ agent(x, e) ∧ ∃ychild(y) ∧ patient(y, e) S&D’s system represents ambiguous variable scopes without resorting to inference rules that directly edit the semantic representation. They propose a parallel structure called a “variable scope tree” (VST), in which strictly the participants in covert operations (event and entity variables) are contained in relations analogous to a syntactic tree. Then QR-style restrictions can be

imposed over an operation called VST-move, which uses the event variable as a phase-like ceiling over QR. Results such as Syrett and Lidz can be explained by memory constraints “blurring” event variables together, creating escape-hatches for otherwise illicit raising. We propose improvements to their system that enhance the generally rightward expansion of semantic expressions under parsing while allowing us to account for observations such as those of D&B and Syrett and Lidz. To proceed, when we include “every night” as in (1) in the expressions in (2b,d), the universal quantifier must take precedence over the existentially quantified event, requiring late leftward insertion of the universal quantifier: (3) ∃xcaregiver(x)∧∀nnight(n) → ∃ecomfort(e)∧OCCUR(n, e)∧agent(x, e)∧∃ychild(y)∧ patient(y, e) This late insertion also forces an incorrect default scope order, as well as requiring complex inference rules. Rather than have the quantifiers mixed among the predicates, we hold quantifier bindings entirely in the VST and concatenate predicates more consistently rightward: (4) caregiver(x)•comfort(e)•agent(x, e)•child(y)•patient(y, e)•night(n)•OCCUR(n, e) where • ∈ {∧, →}, to be left underspecified until quantifier order selects a final interpretation. VSTs are built top-down, with e as a kind of maximal projection that is expanded every time a two-place predicate with a quantified entity variable appears, as in (5a), in which ∀n scopes correctly over the event and under other quantifiers as in linear scope. The top-down approach assures that inverse scope is achieved principally by raising and that the event variable can act as VST-move’s ceiling; a bottom-up method would not describe all the relationships between event and entity variables necessary to make interim incremental judgements about scope. Reaching the interpretation of (1a) corresponds to (5b), a single VST-move and an additional VST-move for (1b) to reach (5c), parallel with D&B’s experimental data. Repopulating the expression in (4) with quantifiers and logical operators is straightforward and can be done as necessary. This structure represents a limited degree of underspecification, without requiring the semantics to parallel a full bottom-up syntax, while leaving a structure in which the experimentally-observed reanalysis takes place. (5) a. e c. e b. e ∃x

∀n

e ∃y

e ∀n ∃e

∃y

e ∃x

∀n

e ∃y

e ∃x

e tn

e

∃e

e ty

e tn

∃e

J. Dotlaˇcil and A. Brasoveanu. (2014) The manner and time course of updating quantifier scope representations in discourse. Lang., Cog., and Neuro. M. Hackl, J. Foster-Hale, and J. Varvoutis. (2012) Quantification and ACD: evidence from real-time sentence processing. Semantics. A. Koller, J. Niehren, and S. Thater. (2003) Bridging the gap between underspecification formalisms: hole semantics as dominance constraints. EACL. A. Sayeed and V. Demberg. (2012) Incremental neo-Davidsonian semantic construction for TAG. TAG+11. A. Sayeed and V. Demberg. (2013) Covert without overt: QR for movementless parsing frameworks. GLOW 36. K. Syrett and J. Lidz. (2011) Competence, Performance, and the Locality of Quantifier Raising: Evidence from 4-Year-Old Children. Ling. Inq.

Sayeed_A. Representing the Effort in Resolving Ambiguous Scope.pdf

Representing the Effort in Resolving Ambiguous Scope.pdf. Sayeed_A. Representing the Effort in Resolving Ambiguous Scope.pdf. Open. Extract. Open with.

27KB Sizes 0 Downloads 140 Views

Recommend Documents

Representing and resolving ambiguities in ontology ...
Jul 30, 2011 - ?c rdf:type geo:city . ?c geo:population ?p . } ORDER BY .... VP. V has. DP2 ↓ geo:flowsThrough (y,x). (DP1,x),(DP2,y) yˆgeo:river. S. DP1 ↓.

Ambiguous Business Cycles
NBER WORKING PAPER SERIES. AMBIGUOUS BUSINESS CYCLES. Cosmin Ilut. Martin Schneider. Working Paper 17900 http://www.nber.org/papers/w17900.

Ambiguous pattern variables - The ML Family Workshop
Jul 29, 2016 - Let us define .... where the Bi,k are binding sets, sets of variables found ... new rows bind to a different position. [Bi,1 ... Bi,l. | K(q1,...,qk) pi,2.

towards resolving ambiguity in understanding arabic ... - CiteSeerX
deal strides towards developing tools for morphological and syntactic analyzers .... ﻪﺗاذ ﲎﺒﳌا ﰲ. The meeting were attended in the same building (passive voice).

Resolving Multidimensional Ambiguity in Blind ... - Semantic Scholar
component in a variety of modern wireless communication ..... is the corresponding (K + L + 1) × (K + L) matrix. Define. ˜F = diag{¯F1, ¯F2,..., ¯FNt } ..... Labs Tech.

Resolving Multidimensional Ambiguity in Blind ... - Semantic Scholar
component in a variety of modern wireless communication systems. ... applications. In [11] ...... on UWB Communication Systems—Technology and Applications.

the camel's head: representing unseen animals in ...
For a European audience, a battlescene, a plant, and ... Collaert's Asia echoes the Dürer Renaissance of the Rudolphine court, where the ..... was obviously born from the union of a camel and panther.46 ..... do justice to nature's munificence.

Representing China in the South Pacific .pdf
Page 1 of 25. 1. Representing China in the South Pacific. Jonathan Sullivan and Bettina Renz, University of Nottingham. This is a pre-pub version of a paper ...

representing the human body
Scientific entrepreneurs were eager to exploit ..... Some of Bidloo's arguments actually foreshadowed the ideas of Rau and Boerhaave. For ...... the preparations survive today, a simple web search reveals more than 100 copies of the Anatomia.

On the Relationship of Arousals and Artifacts in Respiratory Effort ...
plethysmography sensor (RIP) during whole-night polysomnog- raphy (including sleep stage and arousal annotations done with. EEG) and annotated the ...

Wage and effort dispersion
choose how much capital to purchase. While they address the ... the paper.1 A worker exerts a continuous effort e, which yields one of two levels of output. With .... it will get at least as many workers in expectation if not more, and will have larg

effective effort - GitHub
These can make a big difference! ... Need to “link” data. Distance data/detection function. Segment data. Observation data to link segments to detections ...

Logical Effort - Semantic Scholar
D What is the best circuit topology for a function? .... Logical effort extends to multi-stage networks: ..... Asymmetric logic gates favor one input over another.

Informational efficiency with ambiguous information
Jan 24, 2011 - seminar and conference audiences for helpful discussion. Condie ..... We show that the projection of the set of all solutions to the system into ...

Representing metarepresentations
b University of Pennsylvania, Department of Psychology, USA ... Available online xxxx ...... Language, Speech, and Hearing Service in Schools, 34, 236–252.

Effort Meter.pdf
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Effort Meter.pdf.

Resolving the Missing Deflation Puzzle
Jun 26, 2018 - Kimball aggregator: demand elasticity for intermediate goods increasing function of relative price. Dampens firms'price response to changes in ...

Representing and Visualizing Vectorized Videos through the ...
information about the polytope hidden within this subset of vertices. .... Representing and Visualizing Vectorized Videos thorugh the Extreme Vertices Model .

Dru C. Gladney, "Representing Nationality in China: Refiguring ...
Studies, University of California, Berkeley; the China Seminar of the University ... Great Wall, happily proclaiming in the caption, “I love the Great Wall” (China ... State Commission for Nationality Affairs, the ministry charged with administra

pdf-1232\the-pantheon-representing-the-fabulous-histories-of-the ...
pdf-1232\the-pantheon-representing-the-fabulous-historie ... -illustrious-heroes-of-antiquity-in-a-short-pla-by-f.pdf. pdf-1232\the-pantheon-representing-the-fabulous-histories ... t-illustrious-heroes-of-antiquity-in-a-short-pla-by-f.pdf. Open. Extr

The weight of representing the body: addressing the ...
illustration. We re-evaluate .... showed that no tactile feedback has a differential effect on the perceived .... body representations, but provides a simple example.

Subthreshold Logical Effort
account. Wederive a closed-form solution for the correct sizing applications. ... that of regular strong-inversion circuits (Vdd>Vth) due to the small. 2. CONVENTIONAL LOGICALEFFORT ... power savings seen in subthreshold designs. is the logical effor