Présentation
La linguistique informatique s'attache à
définir des processus de construction automatique de
représentations d'expressions de la langue naturelle. Elle
cherche par exemple, étant donnée une expression,
à en calculer la représentation syntaxique, ou bien
encore la représentation sémantique. Pour ce faire, elle
met en œuvre deux composantes principales : un système formel,
dit formalisme grammatical, avec des propriétés
calculatoires propres à le rendre implantable, et des
modélisations issues d'une théorie linguistique
exprimées dans ce formalisme grammatical. Ces deux composantes
donnent à la linguistique informatique son caractère
inter-disciplinaire.
L'action de recherche CAuLD s'inscrit dans cette articulation
entre formalisme grammatical et théorie
linguistique-modélisation. Elle s'intéresse au niveau de
représentation qui correspond à celui du discours,
c'est-à-dire non plus à la phrase seule mais aux suites
de phrases. Son objectif est :
- d'une part de développer un formalisme grammatical inspiré des méthodes de la programmation et de vérifier son adéquation à des théories linguistiques du discours (notamment en ce qui concerne la modélisation de phénomènes de reprises anaphoriques) ;
- d'autre part de permettre d'affiner et de préciser, par leur expression dans un cadre calculatoire bien défini, les théories linguistiques et les modèles considérés.
La mise en œuvre de cette action s'appuie donc crucialement sur la
collaboration entre des partenaires
de compétences complémentaires sur ce sujet : d'une part
des compétences relevant de l'informatique théorique et
pratique, et d'autre part des compétences relevant de la
linguistique et de la sémantique formelles. La logique, en tant
que discipline commune aux partenaires de cette action, quoique dans
des contextes différents, y joue un rôle central.