LI334(2) : Sémantique computationnelle

2e semestre 2005-2006

CM: Jeudi 11:30-13h30, salle 124 (Château des Rentiers) ; TD: Vendredi 11:30-13:30, salle 155 (CdR)
Premier cours : 19 janvier 2006
Pas de séances les je 09/02, ve 10/02, je 06/04, ve 07/04
Séance annulée le 02/03

Objectif : maîtriser le domaine empirique et les outils de la sémantique formelle (formalismes logiques, théorie des modèles, lambda-calcul...), ainsi que les langages et problèmes liés à l'implémentation des modèles sémantiques.


 

Plan

  • Ch 1 : Domaine empirique (poly)
    1. Introduction
    2. Quelques phénomènes d'ordre sémantique
    3. Relations inférentielles (exos)
  • Ch 2 : Logique du premier ordre
    1. Logique des propositions (exos)
    2. Logique des prédicats (exos)
      1. Syntaxe (poly)
      2. Sémantique (poly)
  • Ch 3 : Compositionalité et lambda-calcul
    1. Le principe de compositionalité
    2. Lambda-calcul (poly, exos)
    3. Grammaire de Montague (fragment)
    4. PTQ (lecture de l'article de Montague)
  • Ch 4 : Pragmatique
  • Ch 5 : Mise en oeuvre d'un programme de sémantique computationnelle : réalisation d'un parser de LN de Jean dort à (dort)j
    • 17 mars : Parser yacc du lambda-calcul typé + construction en mémoire de l'arbre syntaxique des formules.
      Résultat à renvoyer par mail pour le 22 mars au soir.
      Pour inspiration : Ébauche de corrigé dans ce répertoire
    • 23 mars : Implémentation du beta-calcul sur l'arbre construit en mémoire.
      Début de reflexion sur le lexique.
      Suggestions :
      • prévoir une fonction d'affichage de l'arbre
      • prévoir une fonction de duplication d'arbre
      • la gestion des variables libres ou liées se fait simplement en arrêtant la descente récursive dans l'arbre dès qu'on rencontre un lieur de la même variable.
    • 24 mars : Idem (panne salle des machines le 23)
      Résultat à renvoyer par mail pour le 29 mars au soir.
      Ébauche de corrigé: code C
    • 30 mars : Parser du langage naturel et règles de constructions sémantiques associées
      Suggestions :
      • construction du lexique en mémoire : le parser doit pouvoir analyser des lignes de la forme
        lex chat Lx. [C]x
        (attention au variables pré-définies)
      • ajouter ensuite la grammaire de phrases simples, et les règles de construction sémantique associées.
    • 31 mars : suite du parser + généralisation des entrées lexicales.
      Résultat à renvoyer par mail pour le jeudi 6 avril au soir.
      Suggestions pour simplifier la manipulation du lexique : les mots (un, chat, mais aussi x ou P) sont typés "en dur" dans le lexeur, et stockés en dur dans le tableau en mémoire, et les instructions lex ne servent qu'à ajouter dans le tableau le lambda-terme pertinent.
 

Contrôles

Modalités
  • Contrôle continu : un devoir sur table (mi-semestre, 40%) et une épreuve écrite (session d'examen de mai 2006, 60%). Les travaux rendus en TP apportent un éventuel bonus.
  • Contrôle final : une épreuve écrite pendant la session d'examen de mai 2006 (100%). 
  • Session de rattrapage (JUIN) : pour tous : une épreuve écrite pendant la session d'examen de juin (100%). 
  • Aucune note n'est conservée entre les deux sessions d'examen
Calendrier
  • DST : vendredi 3 mars, horaires habituels
  • Epreuve finale : Jeudi 4 mai 2006, 11h30-13h30.
    Jeudi 18 mai 2006, 11h30-13h30, salle 124 (ChdR)
  • Examen de deuxième session : Lundi 19 juin, 9h-11h, salle 105 îlot Jussieu

Annales : voir ma page d'archives

 
 

    Bibliographie

    Le domaine empirique (ch. 1), et en particulier les notions d'implication et de présupposition, est présenté dans le 1er chapitre de (Chierchia & McConnel-Ginet, 90). On trouve aussi une bonne introduction au début de (Dowty, Wall and Peters 81). Une des meilleures introductions en français au programme montagovien se trouve dans (Galmiche, 91).
    Les ouvrages de référence en logique pour la linguistique (ch. 2) sont (Gamut, 91 ; Dowty, Wall and Peters 81 ; Partee, ter Meulen & Wall, 93). Une bonne introduction à la logique en français, qui demande peu de compétences en mathématiques se trouve dans (Salem, 87).
    Parmi les références les plus complètes (et les plus formelles) pour le lambda-calcul, on peut citer (Krivine, 1990) et (Hindley & Seldin 86) (ainsi que l'article original de Church). On trouve aussi des présentations plus orientées vers la grammaire de Montague (langage typé) dans (Gamut, 91 ; vol 2, chap 4) ainsi que dans (Partee et al, 93 ; partie D « English as a Formal Language »), où on trouve aussi une discussion sur le principe de compositionalité. Enfin, il y a sur le site de Chantal Berline (équipe PPS, Paris 7) de nombreuses notes de cours sur le lambda-calcul (point de vue formel).
    La théorie des quantificateurs généralisés est formulée essentiellement dans (Barwise & Cooper 1981) (bien qu'elle aie une origine plus ancienne). On en trouve une formulation complète bien qu'assez technique dans (Westerståhl 1989). L'article (Keenan & Stavi 1986) propose une étude des déterminants dans ce cadre qui fait toujours référence. Pour des présentations moins techniques, on peut se tourner vers (de Swart, 1998, ch. 8) ou (Gamut, 1991 ; vol 2, pp. 223-257).
    Pour un survol relativement accessible du domaine de la pragmatique, on peut consulter (Armengaud, 85) (avec quelques imprécisions concernant les implicatures à la Grice, à propos desquelles il est bon de consulter l'article de Grice lui-même (Grice, 67)). Le reader de (Davis, 1991) comprend ce dernier article et la plupart des autres articles importants en pragmatique. Enfin, toujours à propos des implicatures, on peut consulter l'article correspondant de l'Encyclopédie de Philosophie de Stanford.

    On trouve sur le web un excellent cours de sémantique computationnelle, à consulter.

    • Armengaud, Françoise. La pragmatique, Que-sais-je n° 2230, PUF, 1985.
    • Jon Barwise, Robin Cooper, « Generalised Quantifiers and Natural Language », Linguistics and Philosophy, 4(2), 1981.
    • Gennaro Chierchia et Sally McConnel-Ginet, Meaning and Grammar. An Introduction to Semantics, The MIT Press, 1990.
    • Stephen Davis, Pragmatics : a Reader, Oxford University Press, 1991. (Recueil d'articles fondamentaux en pragmatique).
    • David Dowty, Robert Wall & Stanley Peters, Introduction to Montague Semantics, Dordrecht Reidel, 1981.
    • H. Paul Grice, 1975, Logic and Conversation, in The Logic of Grammar, D. Davidson and G. Harman (eds), Encino, CA: Dickenson, 64-75. Réimprimé dans (Davis 1991) et dans "Study in the Way of Words", Harvard University Press, 1989 (ré-édition posthume de tous les grands articles de Grice).
    • J. R. Hindley et J. P. Seldin, Introduction to Combinators and $\lambda$-calculus. Cambridge University Press, 1986.
    • Michel Galmiche, Sémantique linguistique et logique, PUF (Paris), 1991.
    • L.T.E. Gamut, Logic, Language and Meaning. Vol. 1 (Introduction to Logic). The University of Chicago Press, 1991.
    • L.T.E. Gamut, Logic, Language and Meaning. Vol. 2 (Intensional Logic and Logical Grammar). The University of Chicago Press, 1991.
    • Ed Keenan & J. Stavi, A Semantic Characterization of Natural Language Determiners, Linguistics and Philosophy, vol. 9, pp. 253-326, 1986.
    • J.-L. Krivine, Lambda-calcul, types et modèles. Masson, 1990.
    • Barbara Partee, Alice ter Meulen & Robert E. Wall, Mathematical Methods in Linguistics, Kluwer Academic Publishers, 1993.
    • Jean Salem, Introduction à la logique formelle et symbolique, 1987, Nathan.
    • Henriëtte de Swart, Introduction to Natural Language Semantics, Csli Lecture Notes No 80, CSLI Publications, 1998.
    • Dag Westerståhl, Quantifiers in Formal and Natural Languages, in Handbook of Philosophical Logic, vol. IV: Topics in the Philosophy of Language, Dov Gabbay et Franz Günthner, éditeurs. Reidel, 1989.
Ma maison-page July 17 2006