Global ETD Search

1	Expression de la dynamique du discours à l'aide de continuations / Expressing Discourse Dynamics Through Continuations Lebedeva, Ekaterina 06 April 2012 (has links) Cette thèse développe un formalisme théorique pour la sémantique du discours. Il s'appuie sur l'extension des grammaires de Montague, sur la notion de continuation et sur les mécanismes de levée et de traitement des exceptions. Le formalisme permet de traiter des phénomènes dynamiques tels que les anaphores d'une phrase à l'autre, les présuppositions déclenchées par des référents et les projections présuppositions. / This thesis develops a theoretical formalism that takes into account semantical discourse dynamics. It focuses on the extension of Montague semantic with the notion of continuation and an exception handling and raising mechanism. The formalism allows to handle dynamic phenomena such as cross-sentential anaphora, presuppositions triggered by referring expressions and presupposition projection. Linguistique informatique Sémantique de Montague Dynamique du discours Continuations Exceptions Présuppositions Computational linguistics Natural language semantics Montague semantics Dynamic semantics Continuations Exceptions Presuppositions Conversational implicatures 410.285 006.35
2	Expression de la dynamique du discours à l'aide de continuations Lebedeva, Ekaterina 06 April 2012 (has links) (PDF) 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. computational linguistics natural language semantics Montague semantics dynamic semantics continuations exceptions presuppositions conversational implicatures

Search results

Expression de la dynamique du discours à l'aide de continuations / Expressing Discourse Dynamics Through Continuations

Expression de la dynamique du discours à l'aide de continuations