Informations pratiques

Lieu Salle Rousselot, ILPGA Salle 310, P7 OdG
Horaires Mercredi, 16h00-18h00

Contrôles

Modalités de contrôle : projet informatique.
  1. Proposer une première implémentation pour la beta-réduction: pour chaque formule qui contient un redex de la forme af(lambda(X,Y),Z), procéder à la beta-réduction complète, sans faire de contrôle pour la capture des variables.
  2. Créer une fonction qui renvoie la liste des variables libres d'une formule.
  3. Créer une fonction qui renomme toutes les variables d'un terme avec des noms de variables nouveaux (i.e. absents d'une liste passée en paramètre).
  4. Proposer une implémentation de la beta-réduction qui éviter les captures de variables en procédant, autant de fois qu'il est nécessaire, au renommage des variables des termes avant les substitutions.
  5. [Bonus] Proposer une représentation des lambda-termes qui utile les indices de De Bruijn, en déduire une implémentation de la beta-réduction.
  6. Ajouter au langage reconnu par le parser ply des "commandes" de la forme
    lex Jean lambda x. (x) Jean
    pour permettre la construction d'un lexique (sous forme d'un dictionnaire) qui associe aux mots des lambda-termes.
  7. Ajouter au langage reconnu par le parser des "commandes" de la forme
    parse Jean dort
    pour déclencher l'analyse syntaxique de la phrase et la construction compositionnelle de sa forme logique.
  8. Faire en sorte de couvrir un fragment comportant des phrases simples (sujet-verbe intransitif), des SN quantifiés (tous_les N, un N) et des verbes transitifs.
On demande un notebook jupyter abondamment commenté et accompagné de traces de jeux d'essais. Fichier au format ipynb et au format PDF.
Date de rendu : mercredi 18 décembre 2019, minuit.

Les manipulations rendues après les cours peuvent apporter des points de bonus.

Séances

2019-09-18 Introduction générale;
Chapitre 1: modèles n-gramme
séance annulée
Chapitre 1: modèles n-gramme slides
Manipulation: travail sur un 5-gramme
2019-09-25 Inférences textuelles (RTE/NLI) slides, poly
à propos de la mesure Kappa: slides empruntées à Bill Hart-Davidson
2019-10-02 Inférences textuelles: TP manipulations
2019-10-09 Résolution de coréférences exemplier
2019-10-15 Résolution de coréférences (suite)
2019-10-23 Pas de séance
2019-10-30 Résolution de coréférences: TP sur l'évaluation poly (évaluation) ; manipulations ; canevas
2019-11-06 Lambda-calcul: le langage pur
2019-11-13 Lambda-calcul: le langage typé
2019-11-20 Ingénierie grammaticale
2019-11-27 TP: implémentation de la beta-réduction parseur de formules en python (utilise ply)
2019-12-04
2019-12-11

Pointeurs