Après une série de chapitres portant sur des
cadres formels qui se révèlent de bons outils
pour la formalisation de phénomènes sémantiques,
on tentera de mettre en pratique ces outils en
étudiant spécifiquement l'interface
syntaxe-sémantique dans un cadre "à la Heim
& Kratzer".
Dans une troisième partie, on reviendra sur des phénomènes sémantiques spécifiques qui requièrent un enrichissement des cadres formels utilisés. |
Plan du cours
|
Organisation des séances
Certains énoncés et fichiers de travail sont disponibles sur la page moodle de ce cours, par laquelle il est par ailleurs demandé de passer pour remettre les travaux pratiques.
sem. | Date | Type | Description | Liens |
---|---|---|---|---|
1 | 16/01/17 | cm | Ch1. Logique du premier ordre | poly: rappel propositionnel |
18/01/17 | td | Logique des propositions | feuille d'exercices, correction | |
2 | 23/01/17 | cm | Ch1. Logique du premier ordre | poly: syntaxe prédicats. |
25/01/17 | td | Logique des prédicats | feuille d'exercices, correction | |
3 | 30/01/17 | cm |
Ch1. Logique du premier ordre
Ch2. Quantificateurs généralisés |
polys: interprétation tarskienne, équivalences remarquables. |
01/02/17 | td | Logique des prédicats (modèles) | feuille d'exercices, correction | |
4 | 06/02/17 | cm | ----- pas de séance ----- | |
08/02/17 | tp | Évaluation d'une formule logique | Énoncé; canevas modele.txt, formules.txt parseur logique propositionnelle (exemple) | |
5 | 13/02/17 | cm | Ch2. Quantificateurs généralisés | exemplier |
05/02/17 | td | Quantificateurs généralisés |
feuille d'exercices,
correction.
Voir aussi ce corrigé (examen 2011/12) |
|
6 | 20/02/17 | cm | Ch2. Quantificateurs généralisés | |
22/02/17 | td | Quantificateurs généralisés | feuille d'exercices, correction | |
7 | 27/02/17 | cm |
Ch2. Quantificateurs généralisés
Ch3. Compositionnalité et λ-calcul |
|
01/03/17 | tp | λ-calcul | Énoncé; canevas | |
8 | 06/03/17 | cm | Ch3. Compositionnalité et λ-calcul | |
08/03/17 | td | ---- devoir sur table ---- | ||
9 | 13/03/17 | cm | Ch4. Ingénierie grammaticale | |
15/03/17 | td | Ingénierie grammaticale | feuille d'exercices, correction | |
10 | 20/03/17 | cm | Ch5. Quantification et compositionalité | |
22/03/17 | tp | Grammaires nltk | Énoncé; script, grammaire de départ | |
11 | 27/03/17 | cm |
Ch5. Quantification et compositionalité
Ch6. Sémantique du temps |
slides
empruntés à
Laura Kallmeyer
slides: réification des évènements |
29/03/17 | tp | ----- pas de séance ----- | ||
12 | 03/04/17 | vacances de printemps | ||
05/04/17 | ||||
13 | 10/04/17 | |||
12/04/17 | ||||
14 | 17/04/17 | lundi férié | ||
19/04/17 | tp | Grammaire nlkt: temps | Énoncé; script, grammaire de départ | |
15 | 24/04/17 | cm | Ch6. Sémantique du temps | slides: discours et interprétation temporelle empruntées à Philippe Muller |
26/04/17 | td | Exercices de révision | feuille d'exercices, correction | |
15 | 01/05/17 | lundi férié | ||
03/05/17 | cm |
Ch6. Sémantique du temps
Ch7. Intensionalité |
poly : Récapitulatif temps en DRT slides: intentionalité (empruntés à L. Roussarie). |
Bibliographie
Les ouvrages de référence en logique pour la linguistique (ch. 2) sont (Gamut, 1991 ; Dowty, Wall and Peters 1981 ; Partee, ter Meulen & Wall, 1993).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, 1991 ; vol 2, chap 4) ainsi que dans (Partee et al, 1993 ; 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).
L'environnement nltk est accompagné d'une documentation en ligne assez détaillée (wiki, howtos, etc); on peut aussi se référer au livre écrit par Bird, Klein et Loper (dont il existe une version papier datant de 2009).
Enfin, il faut mentionner l'excellent manuel (Heim & Kratzer, 1998), qui couvre une bonne partie du programme de ce cours (approche compositionnelle). Les quelques différences de notation sont mineures, et même si le plan choisi n'est pas le même que celui de ce cours, l'approche générale est la même dans les grandes lignes.
- Jon Barwise, Robin Cooper, « Generalised Quantifiers and Natural Language », Linguistics and Philosophy, 4(2), 1981.
- Steven Bird, Ewan Klein, and Edward Loper, Natural Language Processing with Python --- Analyzing Text with the Natural Language Toolkit, O'Reilly Media, 2009.
- 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.
- Irene Heim & Angelika Kratzer, Semantics in the Generative Grammar, Blackwell Publishers, 1998.
- J. R. Hindley et J. P. Seldin, Introduction to Combinators and λ-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.
- Milsark, G. L. "Toward an explanation of certain peculiarities of the existential construction in English." Linguistic Analysis 3.2 (1977): 1-29.
- Partee, Barbara Hall. "Some structural analogies between tenses and pronouns in English." The Journal of Philosophy 70.18 (1973): 601-609.
- Barbara Partee, Alice ter Meulen & Robert E. Wall, Mathematical Methods in Linguistics, Kluwer Academic Publishers, 1993.
- 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.