Sémantique Computationnelle 2018

Heather Burnett et Timothée Bernard

​Courriel :  heather.susan.burnett@gmail.com
                 timothee.bernard@ens-lyon.org

Cours :      CM : Mardi 14h15-16 :15, ODG 309
                 TD : Mardi 16h30-18h30, ODG 310

Bureau :   ODG 562 (Burnett)
               ODG 638 (Bernard)

Description du cours    (syllabus)

​Ce cours est organisé autour de trois objectifs : d’une part, délimiter le domaine empirique de la sémantique formelle contemporaine (sémantique compositionnelle dans la continuité du programme de Montague), en particulier en relation avec le domaine émergent de la pragmatique formelle ; d’autre part, maîtriser les outils mathématiques utilisés dans la modélisation des phé- nomènes sémantiques (et à l’interface syntaxe-sémantique) : formalismes logiques et théorie des modèles, lambda-calcul, quantificateurs généralisés... enfin, mettre en oeuvre de façon concrète le traitement informatique des problèmes de sémantique et de pragmatique formelle.

Plan du cours

Exempliers

​semcomp_cm9_1.pdfCM1: La logique des propositions.

CM2: La logique des prédicats.

CM3: Les quantificateurs généralisés 1

CM4: Les quantificateurs généralisés 2

De CM5: checker_canevas.py

De CM6: canevas.py

CM 9: Notes, Markdown WebPPL

CM 10: La pragmatique probabiliste et le RSA (partie 1)

CM11: La pragmatique probabiliste et le RSA (partie 2)


TD 12: exemple en WebPPL

Bibliographie

La logique en linguistique :
— 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.
— David Dowty, Robert Wall & Stanley Peters, Introduction to Montague Semantics, Dordrecht Reidel, 1981.
— Barbara Partee, Alice ter Meulen & Robert E. Wall, Mathematical Methods in Linguistics, Kluwer Academic Publishers, 1993.

Les notes pour cette partie du cours suivent les notes de Pascal Amsili pour la semaine bordelaise de sémantique formelle (2006).

Les quantificateurs généralisés :
— Jon Barwise & Robin Cooper, “Generalised Quantifiers and Natural Language ", Linguistics and Philosophy, 4(2), 1981. (article classique)
— Ed Keenan & J. Stavi, A Semantic Characterization of Natural Language Determiners, Linguistics and Philosophy, vol. 9, pp. 253-326, 1986. (article classique)
— Henriëtte de Swart, Introduction to Natural Language Semantics, Csli Lecture Notes No 80, CSLI Publications, 1998., chapitre 8. (introduction)​
—  Bos, J. (2014). Is there place for logic in recognizing textual entailment?. LiLT (Linguistic Issues in Language Technology), 9.
—  Szymanik, J. (2009). Quantifiers in TIME and SPACE. Computational complexity of generalized quantifiers in natural language. PhD thesis, Universiteit van Amsterdam.


Le λ-calcul :
— J. R. Hindley et J. P. Seldin, Introduction to Combinators and λ-calculus. Cambridge University Press, 1986.
— J.-L. Krivine, Lambda-calcul, types et modèles. Masson, 1990.

La pragmatique computationnelle :
— N. D. Goodman and J. B. Tenenbaum (2016). Probabilistic Models of Cognition (2nd ed.). Retrieved 2018-1-9 from https://probmods.org/
— G. Scontras and M. H. Tessler (2017). Probabilistic language understanding : An introduction to the Rational Speech Act framework. Retrieved 2018-1-9 from https://michael-franke. github.io/probLang/
— Notes du cours Computational Pragmatics par Michael Franke et Michael Henry Tessler. http://stanford.edu/~mtessler/short-courses/2017-computational-pragmatics/

​Contrôles

Contrôle continu : Au début de chaque TD il y aura un quiz portant sur le matériel du CM précédent. On comptera les notes des meilleurs 8 quizzes (sur 10), pour 40% de la note finale.

Contrôle final : Un examen final dans la 13ème semaine du cours valant 60% de la note finale.

Langues

La langue des cours magistraux et des TDs est le français, mais les réponses sur les quiz et sur l’examen final peuvent être écrites en français ou en anglais.