--- title: "Presupposition Accommodation as Exception Handling (2010)" description: "The authors show this works for presuppositions triggered by definite descriptions: proper names… 11 references, cited by 3 papers here." authors: ["Philippe de Groote", "Ekaterina Lebedeva"] year: 2010 venue: "Proceedings of the SIGDIAL 2010 Conference" source: "https://aclanthology.org/W10-4313/" licence: "CC BY-NC-SA 3.0 (ACL Anthology, before 2016)" licence_url: "https://creativecommons.org/licenses/by-nc-sa/3.0/" summary_licence: "Elamur Cosmic License" canonical: "https://research.elamur.ai/free/en/papers/groote-2010-presupposition-accommodation-as-exception-handling/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/groote-2010-presupposition-accommodation-as-exception-handling/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [2010](https://md.research.elamur.ai/free/en/papers/2010/page/2/) / Presupposition Accommodation as Exception Handling # Presupposition Accommodation as Exception Handling **Authors:** Philippe de Groote and [Ekaterina Lebedeva](https://md.research.elamur.ai/free/en/authors/ekaterina-lebedeva/) · **Year:** 2010 · **Venue:** [Proceedings of the SIGDIAL 2010 Conference](https://md.research.elamur.ai/free/en/venues/sigdial-conference/) ([SIGDIAL Conference 2010](https://md.research.elamur.ai/free/en/venues/sigdial-conference/2010/)) · **Publisher:** [Association for Computational Linguistics](https://md.research.elamur.ai/free/en/publishers/association-for-computational-linguistics/) · **Licence:** [CC BY-NC-SA 3.0 (ACL Anthology, before 2016)](https://creativecommons.org/licenses/by-nc-sa/3.0/) **Links:** [Publisher's page](https://aclanthology.org/W10-4313/) · [PDF](https://aclanthology.org/W10-4313.pdf) · [OpenAlex](https://openalex.org/W2146170317) **Citations:** 18 citations (OpenAlex, 2026-10-14) · 3 in our library, of the 141,840 papers whose bibliographies we read ## Summary The paper asks whether van der Sandt's view that presuppositions behave like anaphora can be moved out of DRT and into de Groote's (2006) type-theoretic dynamic semantics. That framework extends Montague's simple type theory with an environment type γ and continuations. The authors show this works for presuppositions triggered by definite descriptions: proper names, pronouns, possessive noun phrases, and referents introduced only implicitly. The environment is enriched so that it stores individuals together with their properties. Each trigger calls a selection function, sel, which looks up a reference marker matching a given property. The framework does not commit to any particular resolution algorithm behind sel. If no suitable marker exists, sel raises an exception that carries the missing property. The discourse update operator catches it, introduces a fresh existentially bound referent with that property, adds it to the environment, and retries the update. Accommodation thus becomes ordinary exception handling. The result is a fully compositional, Montague-style account that also absorbs Geurts' binding theory. The paper is purely formal and contains no empirical evaluation. ## Key points - Types used: ι (individuals), o (propositions), and γ (environment). A dynamic proposition is Ω = γ → (γ → o) → o. NPs have type ((γ → ι) → Ω) → Ω, so individuals are always parameterized by the environment. - The selection function has type sel : (ι → o) → γ → ι. Following the quotation theory of names (Kneale), "John" is interpreted as λP.P(sel(named "John")). The pronoun "he" selects an individual that is human ∧ masculine, which also covers cataphora ("When he woke up, Tom felt better"). - Possessives ("John's car") are handled by nesting selections. A higher-order SEL, defined via sel, works on dynamic propositions. Together with a dynamic conjunction, it builds the 's term compositionally from the possessor NP and the possessed noun. - Implicit referents are handled in the lexicon. The entry for "is married" already selects a wife or husband of x, so "His wife" in the next sentence can bind to that referent. - Discourse update is recursive. On a failure carrying property Q, the handler adds ∃x.(Qx) and pushes the pair (x, Qx) onto the environment, which implements global accommodation. A worked example shows the derivation for "This story is about John. John loves Mary." ## Interesting ideas - When a definite finds no antecedent, this is treated as a typed failure that carries the missing description, and a handler creates the entity and retries instead of silently guessing. - All anaphora resolution sits behind one interface, select(property, environment), so the semantics does not depend on any particular resolver. - The environment stores each referent together with what has been said about it, much like file cards, rather than as a bare list of IDs. - Lexical entries can presuppose related participants, as when "married" brings in a spouse, which lets later possessives bind to referents nobody mentioned explicitly. - Proper names are treated as definite descriptions ("the individual named X"), so names, pronouns and descriptions all share one resolve-or-accommodate mechanism. ## For Mova How these ideas could serve Mova, our small open language model — its files, stages and tests: - **I1** (world): Unresolved definites in the world of the text could raise a "missing entity with property Q" event, and the handler would add the entity and record the accommodation step in the explanation trace. - **I2** (frames): The coreference module could expose exactly this API, so rule-based and learned resolvers can be swapped and compared without touching frame construction. - **I3** (world): Each entity in the text world could carry its accumulated descriptive properties, so later descriptions ("the old man", "his car") can be matched against them. - **I4** (frames): Frames built from VerbNet/FrameNet could declare implicit participants, which become bindable targets for "his wife"-style NPs in fables and tales. - **I5** (world): Names, pronouns and descriptions could share one lookup-or-create path in the entity store, which removes special-case code for first mentions. *Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.* ## Institutions Also on the byline: [Centre Inria de l'Université de Lorraine](https://ror.org/03fcjvn64). 📚 Shelves (4): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 9,085 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 8,888 works · [🎭 Arts and Humanities](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · 9,296 works · [🗣️ Language and Linguistics](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · 9,206 works 🧭 Topics (1): [😉 Implicature](https://md.research.elamur.ai/free/en/topics/implicature/) · 72 works ## Cite Cite as: Philippe de Groote and Ekaterina Lebedeva. 2010. Presupposition Accommodation as Exception Handling. Proceedings of the SIGDIAL 2010 Conference. The paper itself, not this page. BibTeX from the library's record of the work. ```bibtex @inproceedings{groote2010presupposition, title = {{Presupposition Accommodation as Exception Handling}}, author = {Philippe {de Groote} and Ekaterina Lebedeva}, booktitle = {Proceedings of the SIGDIAL 2010 Conference}, year = {2010}, url = {https://aclanthology.org/W10-4313/} } ``` - [← previous Modeling Morphosyntactic Agreement in Constituency-Based Parsing of Modern Hebrew](https://md.research.elamur.ai/free/en/papers/tsarfaty-2010-modeling-morphosyntactic-agreement-constituency-based/) - [next → Combining Manual Rules and Supervised Learning for Hedge Cue and Scope Detection](https://md.research.elamur.ai/free/en/papers/rei-2010-combining-manual-rules-supervised-learning/) - [↑ back to papers of 2010](https://md.research.elamur.ai/free/en/papers/2010/page/2/) ## References 11 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet. 1. Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, (5):56–68. [↗](https://doi.org/10.2307/2266170) 2. de Groote, P. (2006). Towards a montagovian account of dynamics. In Semantics and Linguistic Theory XVI. [↗](https://doi.org/10.3765/salt.v16i0.2952) 3. Geurts, B. (1999). Presuppositions and Pronouns, volume 3 of CRiSPI. Elsevier, Amsterdam. (27) [find](https://scholar.google.com/scholar?q=Geurts%2C+B%2E+%281999%29%2E+Presuppositions+and+Pronouns%2C+volume+3+of+CRiSPI%2E+Elsevier%2C+Amsterdam%2E+%2827%29) 4. Groenendijk, J. and Stokhof, M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1):39–100. (28) [↗](https://doi.org/10.1007/bf00628304) 5. Heim, I. (1982). The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts at Amherst. [↗](https://doi.org/10.5281/zenodo.8100764) 6. Heim, I. (1983). On the projection problem for presuppositions. In Barlow, M., Flickinger, D., and Westcoat, M., editors, Second Annual West Coast Conference on Formal Linguistics, pages 114–126. Stanford University. (29) [find](https://scholar.google.com/scholar?q=Heim%2C+I%2E+%281983%29%2E+On+the+projection+problem+for+presuppositions%2E+In+Barlow%2C+M%2E%2C+Flickinger%2C+D%2E%2C+and+Westcoat%2C+M%2E%2C+editors%2C+Second+Annual+West+Coast+Conference+on+Formal+Linguistics%2C+pages+114%E2%80%93126%2E+Stan) 7. Kamp, H. and Reyle, U. (1993). From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Studies in Linguistics and Philosophy. Springer. [find](https://scholar.google.com/scholar?q=Kamp%2C+H%2E+and+Reyle%2C+U%2E+%281993%29%2E+From+Discourse+to+Logic%3A+Introduction+to+Model%2Dtheoretic+Semantics+of+Natural+Language%2C+Formal+Logic+and+Discourse+Representation+Theory%2E+Studies+in+Linguistics+and+Phil) 8. Karttunen, L. (1976). Discourse referents. In McCawley, J., editor, Syntax and Semantics 2: Notes From the Linguistic Underground, pages 363–385. Academic Press, New York. [find](https://scholar.google.com/scholar?q=Karttunen%2C+L%2E+%281976%29%2E+Discourse+referents%2E+In+McCawley%2C+J%2E%2C+editor%2C+Syntax+and+Semantics+2%3A+Notes+From+the+Linguistic+Underground%2C+pages+363%E2%80%93385%2E+Academic+Press%2C+New+York%2E) 9. Kneale, W. (1962). Modality de dicto and de re. In Nagel, E., Suppes, P., and Tarski, A., editors, Logic, methodology and philosophy of science. Proceedings of the 1960 International Congress, pages 622–633. Stanford University Press. [find](https://scholar.google.com/scholar?q=Kneale%2C+W%2E+%281962%29%2E+Modality+de+dicto+and+de+re%2E+In+Nagel%2C+E%2E%2C+Suppes%2C+P%2E%2C+and+Tarski%2C+A%2E%2C+editors%2C+Logic%2C+methodology+and+philosophy+of+science%2E+Proceedings+of+the+1960+International+Congress%2C+pages+6) 10. Montague, R. (1970). Universal grammar. In Theoria, pages 373–398. [find](https://scholar.google.com/scholar?q=Montague%2C+R%2E+%281970%29%2E+Universal+grammar%2E+In+Theoria%2C+pages+373%E2%80%93398%2E) 11. van der Sandt, R. (1992). Presupposition projection as anaphora resolution. Journal of Semantics, 9:333–377. [↗](https://doi.org/10.1093/jos/9.4.333) *Updated 24 October 2026*