Anaphore associative : une tentative de formalisation via la DRT.

On se propose de formaliser la notion d’anaphore associative en étendant le formalisme de la DRT (Discourse Representation Theory) de H. Kamp. A cet effet on introduit un nouvel opérateur logique CK sur les discours, dont l’interprétation est “il est de notoriété publique que…” et qui est du type ’modalité’. L’article examinera les propriétés formelles de cet opérateur logique et son intégration dans le formalisme des ’boîtes’ de Kamp, ainsi que ses rapports avec le calcul des prédicats modal S5. La motivation intuitive de cette approche est que dans la plupart des situations où apparaît l’anaphore associative, il y a un opérateur implicite du genre CK.This paper is an attempt at formalizing the concept of Associative Anaphora by extending DRT (Discourse Representation Theory), due to H. Kamp. This is done by introducing a new logical operator CK for discourses, construed as “it is common knowledge that.. ”, and that is postulated to be ’modality’-like. The paper will look at formal properties of this operator and its integration into Kamp’s ’boxes’ formalism as well as its relationship with the Modal Lower Predicate Calculus. The intuitive motivation for this approach is that in most of the situations where one meets Associative Anaphoras, one can presume there is indeed an operator like CK, be it implicitly