===== 49NE03LI - Sémantique computationnelle =====



==== Objectifs et contenu principal ====

Ce cours est organisé autour de trois objectifs: d'une part, délimiter le domaine empirique de la sémantique formelle contemporaine (sémantique compositionnelle dans la continuité du programme de Montague), en particulier en relation avec le domaine émergent de la pragmatique formelle ; d'autre part, maîtriser les outils mathématiques utilisés dans la modélisation des phénomènes sémantiques (et à l'interface syntaxe-sémantique): formalismes logiques et théorie des modèles, lambda- calcul, quantificateurs généralisés... enfin, mettre en œuvre de façon concrète le traitement informatique des problèmes de sémantique formelle, en particulier dans l'environnement nltk.

Irene Heim & Angelika Kratzer, Semantics in the Generative Grammar , Blackwell Publishers, 1998. \\
Johan Bos & Patrick Blackburn, Computational semantics, CSLI, 2003.
==== Informations historiques ====