Les effects et les handlers dans le langage naturel

Ces travaux s’interessent a la modelisation formelle de la semantique des langues naturelles. Pour cela, nous suivons le principe de compositionnalite qui veut que le sens d’une expression complexe soit une fonction du sens de ses parties. Ces fonctions sont generalement formalisees a l’aide du [lambda]-calcul. Cependant, ce principe est remis en cause par certains usages de la langue, comme les pronoms anaphoriques ou les presuppositions. Ceci oblige a soit abandonner la compositionalite, soit modifier les structures du sens. Dans le premier cas, le sens n’est alors plus obtenu par un calcul qui correspond a des fonctions mathematiques, mais par un calcul dependant du contexte, ce qui le rapproche des langages de programmation qui manipulent leur contexte avec des effets de bord. Dans le deuxieme cas, lorsque les structures de sens sont ajustees, les nouveaux sens ont tendance a avoir une structure de monade. Ces dernieres sont elles-memes largement utilisees en programmation fonctionnelle pour coder des effets de bord, que nous retrouvons a nouveau. Par ailleurs, s’il est souvent possible de proposer le traitement d’un unique phenomene, composer plusieurs traitements s’avere etre une tâche complexe. Nos travaux proposent d’utiliser les resultats recents autour des langages de programmation pour parvenir a combiner ces modelisations par les effets de bord. Pour cela, nous etendons le [lambda]-calcul avec une monade qui implemente les effects et les handlers, une technique recente dans l’etude des effets de bord. Dans la premiere partie de la these, nous demontrons les proprietes fondamentales de ce calcul (preservation de type, confluence et terminaison). Dans la seconde partie, nous montrons comment utiliser le calcul pour le traitement de plusieurs phenomenes linguistiques : deixis, quantification, implicature conventionnelle, anaphore et presupposition. Enfin, nous construisons une unique grammaire qui gere ces phenomenes et leurs interactions.