Algorithmique avancée et compilation

Vendredi, 11:00-13:00, Mardi, 15:30-17:3015:00-17:00, salle machine (1er étage, 155-7), 30, rue du château des rentiers
Premier cours : 21 septembre 2006
Pas de séance le 09 octobre, le 30 octobre, le 20 novembre.
Séance supplémentaire le 11 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.
Un autre objectif de ce cours est de constituer une expérience « réaliste » du développement collaboratif (via l'utilisation de subversion).



 

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

  • (21/09/06) Démarrage : création ou re-création d'un parser de formules logique en lex et yacc.
    Démarrage avec subversion. Accès aux sources. Code version 0 (pdf)
    Le code fourni propose un parser simple de formules de λ-calcul (plus ou moins) typé (syntaxe de nltk), qui construit pour chaque formule une représentation arborescente.
    En partant de cette version, le but de la séance est d'augmenter le parser pour qu'il reconnaisse en plus des phrases du langage naturel, auxquelles seront associés des λ-termes (non β-réduits). Cela suppose une gestion du lexique.
  • (25/09/07) À partir de la version 8, qui introduit une gestion du lexique LN sans les lambda-termes, modification de la grammaire pour que les phrases en LN reconnues soient accompagnées d'une formule logique (non réduite).
  • (02/10/07) À partir de la version 11, augmentation de la couverture linguistique, de manière à expérimenter en séance les conflits et la manière de les gérer avec subversion.
    Les phénomènes linguistiques à traiter :
    • Syntagmes nominaux quantifiés
    • Verbes transitifs
    • Relatives sujet
    • Compléments obliques
    • Adjectifs épithètes et attributs
  • (09/10/07) Séance annulée
    Répartition des modules : Voir une liste non définitive de spécifications ICI
  • (16/10/07) Spécifications détaillées
    • Plate-forme de test : Rosa S.
    • Gestion du lexique : Myriam R.
    • Interface graphique : Noémie C.
    • Evaluation dans un modèle : François G.
    • Typage : Pierre M.
  • (23/10/07) Synchronisation des développements séparés
  • (30/10/07) Pas de séance
  • (06/11/07) Synchronisation des développements séparés
    Petit retour sur l'intensionalité
  • (13/11/07) Exposés techniques (5)
  • (20/11/07) Séance annulée
  • (27/11/07)
  • (04/12/07) Exposés (2)
  • (11/12/07) Exposés (3)
 
 

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 February 07 2008