Accessibilité des référents en sémantique du discours
par Sai Qian
Thèse de doctorat en Informatique
Sous la direction de Philippe de Groote.
Soutenue le 07-11-2014
à l'Université de Lorraine , dans le cadre de École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine , en partenariat avec Laboratoire lorrain de recherche en informatique et ses applications (laboratoire) .
Le président du jury était Jean-Marie Pierrel.
Le jury était composé de Maxime Amblard, Laurence Danlos.
Les rapporteurs étaient Isabelle Tellier, Yoad Winter.
- Logique
- Anaphore
- Montague
- Lambda-calcul
- Sémantique Dynamique
- Discours
- Pronom
- Accessibilité
- Référent
- Modalité
- Linguistique -- Informatique
- Langage et logique
- Anaphore (linguistique)
- Grammaire de Montague
- Sémantique
mots clés
-
Résumé
Cette thèse prend ses racines dans la tradition sémantique montagovienne et dynamique standard. L’objet est les conditions dans lesquelles un syntagme nominal peut agir comme antécédent d'une expression anaphorique. Le travail porte sur l'accessibilité des référents de discours dans un système formel de la sémantique dynamique. Le cadre choisi est celui proposé par De Groote, type théorique Dynamic Logic (TTDL) car il fait appel à des outils mathématiques et logiques standards, qui permettent de conserver le principe de compositionnalité. Nous étendons la couverture de la gestion de l’accessibilité des référents dans TTDL à deux cas naturellement problématique pour les théories sémantiques dynamiques classiques, en particulier, l'anaphore sous la double négation et les modalités. Une adaptation est définie pour chaque cas et enfin, l'intégration des différentes solutions est proposée, ce qui montre la souplesse de TTDL.
- Logic
- Anaphora
- Montague
- Lambda-calculus
- Dynamic Semantics
- Discourse
- Pronoun
- Accessibility
- Referent
- Modality
mots clés
-
Titre traduit
Accessibility of Referents in Discourse Semantics
-
Résumé
This thesis has its roots in the standard Montagovian and dynamic semantic tradition. The subject is conditions under which a noun phrase may act as antecedent of a particular anaphoric expression. The work thesis deals with the accessibility of discourse referents using a formal system of dynamic semantics. The framework used is the one proposed by De Groote, Type Theoretic Dynamic Logic (TTDL) because it follows the Montagovian tradition and only makes use of standard mathematical and logical tools which allows to maintain compositionnality. We extend the coverage of TTDL to cases which are naturally problematic for classical dynamic semantic theories. In particularly, this thesis aims to extend TTDL's coverage of the accessibility of referents to two exceptions of classical dynamic theories, namely anaphora under double negation and modality. An adaptation is defined for each case and finally, an integration of various solutions is proposed, which shows the flexibility of TTDL
Il est disponible au sein de la bibliothèque de l'établissement de soutenance.
