Sujet : Sémantique et pragmatique computationnelles

Responsable : Alain Lecomte (UPMF, Grenoble) et Pierre Castéran
Téléphone : (0) 4 76 82 78 71 et 0540006931
e-mail : Alain.Lecomte@upmf-grenoble.fr, casteran@labri.fr
Equipe : LAAA

Présentation du sujet :

La sémantique logique et la pragmatique offrent un champ d'application
nouveau pour les outils logico-informatiques, comme les assistants de
preuve à la Coq. Des réalisations intéressantes ont déjà été ébauchées (cf.
Nait Abdallah, 1995, Nait-Abdallah et Lecomte, 2003) au sujet, notamment,
de la théorie de la présupposition. Il s'avère que la plupart des phénomèmes
langagiers font appel à du traitement d'information partielle : c'est le cas
des présupposés, et d'autres formes implicites (implicatures
conversationnelles, Gricz, 1975), mais aussi de questions d'interprétation en
sémantique, lorsque, par exemple, on doit interpréter les adjectifs en contexte
(qu'est-ce qu'un petit éléphant par rapport à une grosse souris ?).
La logique de l'information partielle est donc à priori un outil précieux à
développer. Il conviendra dans cette thèse, d'une part de développer ces
outils au niveau théorique (en essayant d'élaborer à partir d'eux une
théorie cohérente de l'implicite, qui fasse la différence entre présupposition
et implicaturz par exemple et en proposant une approximation de formalisation
des maximes de Grice), et d'autre part de prouver la validité de ces outils en les implémentant sous forme de recherche de preuves.

Mot-clés : Logique, linguistique, assistants de preuve