Computational semantics

SL5BE011

Dans ce cours, nous étudierons la sémantique computationnelle en traitant essentiellement de ses aspects symboliques.
Nous étudierons donc les bases de la logique et de la sémantique formelle. Après avoir introduit le lambda-calcul, nous aborderons la question de l'interface syntaxe-sémantique à travers la grammaire de Montague et les grammaires catégorielles combinatoires (CCG). Enfin, nous changerons de perspective en étudiant notamment la tâche de résolution des coréférences et en effectuant un rapide tour d'horizon des différents types de représentations sémantiques utilisées en linguistique computationnelle.
Les cours magistraux seront complétés par des séances de travaux dirigés sur papier, ponctuées de travaux pratiques sur machines.