%0 Thesis %T Expressing discourse dynamics through continuations %T Expression de la dynamique du discours à l'aide de continuations %+ Semantic Analysis of Natural Language (SEMAGRAMME) %A Lebedeva, Ekaterina %N 2012LORR0025 %I Université de Lorraine %Y Philippe de Groote (Philippe.deGroote@loria.fr) %Z Nicholas Asher (rapporteur) %Z Reinhard Muskens (rapporteur) %Z Paul Egré (examinateur) %Z Jean-Marie Pierrel (examinateur) %8 2012-04-06 %D 2012 %K computational linguistics %K natural language semantics %K Montague semantics %K dynamic semantics %K continuations %K exceptions %K presuppositions %K conversational implicatures %Z Computer Science [cs]/Computation and Language [cs.CL]Theses %X This thesis develops a theoretical formalism of formal semantics of natural language in the spirit of Montague semantics. The developed framework satisfies the principle of compositionality in a simple and elegant way, by being as parsimonious as possible: completely new formalisms or extensions of existing formalisms with even more complex constructions to fit particular linguistic phenomena have been avoided; instead, the framework handles these linguistic phenomena using only basic and well-established formalisms, such as simply-typed lambda calculus and classical logic. Dynamics is achieved by employing a continuation-passing technique and an exception raising and handling mechanism. The context is explicitly represented by a term, and, therefore, can be easily accessed and manipulated. The framework successfully handles cross-sentential anaphora and presuppositions triggered by referring expressions and has potential to be extended for dealing with more complex dynamic phenomena, such as presuppositions triggered by factive verbs and conversational implicatures. %G English %2 https://theses.hal.science/tel-01749193v2/document %2 https://theses.hal.science/tel-01749193v2/file/Thesis-submitted_version.pdf %L tel-01749193 %U https://theses.hal.science/tel-01749193 %~ CNRS %~ INRIA %~ INRIA_TEST %~ INRIA-LORRAINE %~ LORIA2 %~ INRIA-NANCY-GRAND-EST %~ TESTALAIN1 %~ UNIV-LORRAINE %~ INRIA2 %~ LORIA %~ LORIA-NLPKD %~ THESES-UL