Thème de recherche:
La question des modèles et formats de représentation utilisés dans une approche formelle de la sémantique est des plus brûlantes aujourd'hui. La diversité de ces modèles est un signe de la vitalité des études récentes, et se place manifestement sous le signe d'une mutation profonde : d'une sémantique des conditions de vérité de formules on est passé à une sémantique des états d'information mis à jour par le traitement d'énoncés en contexte. Cela conduit à l'utilisation, systématique ou plus locale, de modèles hybrides, qui ajoutent aux informations vériconditionelles (informations sur le monde décrit) des informations d'un autre ordre. Et c'est précisément sur la nature, le statut, le format et la dérivation de ces informations non-vériconditionnelles à partir de l'énoncé et de son contexte que les modèles actuels offrent des propositions que cette opération aura pour objet de rendre comparables et de discuter. Le noyau de ce groupe réunit un certain nombre de chercheurs dont les compétences semblent particulièrement adaptées à la conduite de ce projet : spécialistes de l'explicitation de formalismes et de leur comparaison raisonnée (M. Chambreuil et le groupe de Clermont), de la théorie des quantificateurs généralisée et de la théorie des représentations du discours (F. Corblin, R. Zuber), spécialistes de Segmented Discourse Representation Theory (P. Amsili et le groupe de Toulouse), de la modélisation des inférences (C. Gardent, J. Jayez, P. Blackburn), de la "théorie des canaux" de Barwise et Seligman (A. Mari). |