Structures logiques et informatique pour la modélisation du langage

3 ECTS | Enseignants : Benoît Crabbé et Philippe de Groote | Validation : CC + examen
Horaires : Lundi 12h45-15h45 en salle 1004 | Mutualisé avec : M2 MPRI
Cours dispensé en anglais si au moins un étudiant le demande ; en français sinon

Titre en anglais : Computational and Logical Structures for Linguistic Modelling

Ce cours présente les contenus structurés autour de trois sous-domaines importants de la linguistique (morphologie, syntaxe et sémantique), en présentant à chaque occasion certains des modèles associés et les questions algorithmiques correspondantes.

Programme détaillé (2024-2025)

1. Introduction générale (23 septembre 2024)

• Introduction générale : Le langage a une structure. Langage et inférence. L’importance de l’ambiguïté. Le langage et le monde.
• Bases linguistiques pour la linguistique computationnelle. Propriétés statistiques des mots, analyses constitutives et de dépendance, calcul des dénotations sémantiques et calcul des similarités sémantiques.
• Bases d’apprentissage automatique pour la linguistique computationnelle. Codage des symboles discrets en vecteurs (word embeddings), rappel d’optimisation.

2. Modélisation des séquences (30 septembre 2024)

• Modélisation des séquences : Présentation de problèmes typiques impliquant la modélisation de séquences
• Modèles génératifs : modèles de langage, modèles de Markov cachés, PCFG
• Modèles discriminatifs : champs aléatoires conditionnels
• Algorithmes : Viterbi et méthodes approximatives
• Méthodes basées sur l’apprentissage profond

3. Modélisation de la syntaxe (14 octobre 2024)

• Grammaire de structure de phrase
• Grammaire d’adjonction d’arbres
• Syntaxe de dépendance
• Grammaire catégorielle

4. Algorithmes d’analyse syntaxique (21 octobre 2024)

• CKY et Earley : Introduction aux CKY et Earley pondérés
• Shift Reduce et Eisner : pour la syntaxe de dépendance
• CKY pour la grammaire d’adjonction d’arbres

5. Représentations sémantiques (28 octobre 2024)

• Logiques modales, logiques d’ordre supérieur

6. Interface Syntaxe/Sémantique (4 novembre 2024)

• Compositionalité, syntaxe d’ordre supérieur, grammaires catégorielles abstraites

7. Sémantique de Montague (18 novembre 2024)

• Sémantique théorique des modèles, intensionnalité

8. Analyse du discours (25 novembre 2024)

• Théorie de la représentation du discours, résolution d’anaphore, logique dynamique théorique des types

9. Examen (2 décembre 2024)

Projet

Un projet est prévu pour la première moitié du cours.