Algorithmique avancée et compilation

Vendredi, 11:00-13:00, salle machine (1er étage, 155-7), 30, rue du château des rentiers
Premier cours : 29 septembre 2006
Pas de séance le 13 octobre, ni le 15 décembre

Ce cours se place comme un point de convergence entre les cours de M1 « sémantique computationnelle » et « langages formels ». Avec une méthode de travail essentiellement technique (séances en salle machine, TP à toutes les séances), on étudiera la mise en place concrète de méthodes classiques de compilation, appliquées aux traitement sémantique/logique de la langue.


 

Programme de travail et liens

Objectifs généraux : (1) réaliser une implémentation « réaliste » du programme de Montague pour un fragment non ambigu ; (2) augmenter la couverture linguistique en s'inspirant du manuel (Heim & Kratzer 98) ; (3) aborder le problème de l'ambiguïté syntaxique (problèmes de rattachement, etc) et sémantique (quantificateurs, sous-spécification...)

Programme

  • (29/09/06) Démarrage : re-création du résultat atteint l'an dernier. Système lex & yacc.
  • (06/10/06) Travail à partir du code proposé ICI
  • (13/10/06) Pas de séance, MAIS : mise en ligne de la version 0 du projet :
    • Chaque étudiant doit créer un compte sur http://sourcesup.cru.fr/ (« nouveau compte » en haut à droite), et m'envoyer l'identifiant pour que je puisse l'ajouter au projet.
    • Ensuite, il faut disposer des commandes "subversion" sur votre machine (package svn-client)
    • Dès lors, il suffit de connaître les deux commandes de base de subversion :
      svn checkout --username votre-id http://subversion.cru.fr/ptq/base dir
      Pour créer une copie locale du projet dans le répertoire dir
      svn commit -m "votre-commentaire" .
      Pour transférer, comme une nouvelle version, les modifications que vous avez faites localement.
    • Documentation sur Subversion : voir le site subversion.tigris.org, en particulier la SVN Quick Reference Card, et le Subversion Book
    • La version actuellement en ligne est boguée. Toute amélioration est bienvenue
  • (20/10/06)
    • Retour sur l'algorithme de beta-réduction
    • Fonctionnement de subversion : généralités
    • Conventions d'utilisation de subversion
    • Mise en pratique du subversion : augmentation de la couverture :
      • Coordination
      • Adjectifs intersectifs
      • Compléments obliques
      • Compléments de nom
      • Adjectif attribut + copule
      • Relatives sujet
    • dernier état du projet : http://subversion.cru.fr/ptq/base/
  • (27/10/06)
    • Retour sur la capture de variable
    • Suite de la mise en pratique de subversion
    • Organisation de la suite du cours :
      • Chaque étudiant doit réaliser un des modules proposés (voir specifications)
      • Chaque étudiant devra augmenter le système avec les propositions contenues dans un des chapitres centraux de (Heim & Kratzer 98)
      • Ressources plus confidentielles accessibles ICI
    • Répartition des tâches :
      • Evaluation dans un modèle : GW
      • Introduction du typage : FL
      • Beta-réduction sans capture : KD
      • Plate-forme de test : YG
  • (03/11/06)
    • Synchronisation des développements séparés
    • Suite développement des modules
  • (10/11/06)
    • Synchronisation des développements séparés
    • Suite développement des modules
    • Concernant les chapitres de (Heim & Kratzer 98) à étudier : il faut vous répartir les 4 chapitres 4, 5, 6 et 7. Les séances d'exposé correspondantes sont prévues les 1er et 8 décembre.
  • (17/11/06)
    • Synchronisation des développements séparés
    • Suite développement des modules
    • Répartition des chapitres de (H&K)
      • 4: More of English : KD (01/12)
      • 5: Relative clauses : YG (01/12)
      • 6: Quantificateurs : type sémantique : GW (08/12)
      • 7: Quantificateurs : portée : GW (08/12)
  • (24/11/06)
    • Synchronisation des développements séparés
    • Suite développement des modules
  • (01/12/06) Exposés
  • (08/12/06) Exposés
 

 
 

Contrôles

Modalités
  • Contrôle continu : un travail personnel de TP fourni en continu via le système subversion (collaboration à un projet commun) (50 %), et un travail basé sur la lecture d'un chapitre de (Heim & Kratzer), l'adaptation des propositions qui sont faites, et un bref exposé (50 %).
  • Contrôle final : une épreuve sur machine en temps limité pendant la session d'examen de janvier (100%).
Calendrier
  
 

Bibliographie

Liens

Ma maison-page November 24 2006