Computational semantics

6 ECTS | Validation : CC + examen | Mutualisé avec : M1 LI (Linguistique)

(Cours en anglais)

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.

Méthode pédagogique

Les cours magistraux seront complétés par des séances de travaux dirigés sur papier, ponctuées de travaux pratiques sur machines.

Sujets abordés

• Bases de la logique et de la sémantique formelle
• Lambda-calcul
• Interface syntaxe-sémantique
• Grammaire de Montague
• Grammaires catégorielles combinatoires (CCG)
• Résolution des coréférences
• Représentations sémantiques en linguistique computationnelle