SIGNES : ÉQUIPE PROJET INRIA ARRÊTÉE FIN 2011 VOIR LE THÈME DU LABRI

"LOGIQUE LINGUISTIQUE ET INFORMATIQUE"

***

SIGNES: INRIA PROJECT TEAM STOPPED AT THE END OF 2011 SEE THE LABRI TEAM

"LOGIC, LINGUISTICS, INFORMATICS"

***

 

Labri

Signes linguistiques,

Grammaire et Sens:

Algorithmique Logique de la Langue

Linguistic Signs,

Grammar and Meaning:

Computational Logic

for Natural Language

Présentation            

Events/événements:

 

 

 

 

 

SIGNES est une équipe commune :

  Présentation

 

Dès les débuts de l'informatique, la linguistique a été à la fois un champ d'investigation privilégié (traduction automatique) et la source de notions clefs (la théorie des langages formels). Plus récemment la logique est apparue comme un élément fédérateur capable de traiter de la sémantique de la langue, mais aussi de sa syntaxe. Nous souhaitons réaliser et articuler les modèles et algorithmes correspondant aux différents niveaux d'étude et de traitement informatique de la langue, l'accent étant placé sur l'interface entre syntaxe et sémantique.

Plus précisément, nous nous proposons de modéliser par des méthodes formelles

  • théorie des langages
  • grammaires catégorielles
  • logique des ressources
  • lambda-calcul
  • logique d'ordre supérieur
certains aspects de la langue:
  • morphologie dérivationnelle et sémantique lexicale
  • morphologie flexionnelle
  • prosodie
  • syntaxe
  • sémantique logique
  • représentation du discours
Parmi les objectifs que nous envisageons, mentionnons le lien entre grammaires formelles et grammaires catégorielles, l'intégration de la morphologie et de la syntaxe, le calcul de représentations sémantiques à partir d'analyses syntaxiques (catégorielles, minimalistes,...), la résolution d'anaphores, le passage de la structure prédicative de la phrase à la structure logique du discours.

Pour en savoir plus:

  
Since the early beginnings of computer science linguistics has always been both a privileged research field (automatic translation) and a source of key concepts (formal language theory). More recently, logic has been recognized as a federating tool for natural language processing with its ability to account for both semantic and syntactic phenomena of natural language. We aim at developing computer models and algorithms for different description levels for natural language study and processing, with a special focus on the syntax-semantics interface.

More precisely, we aim at modelling by means of formal tools such as:

  • formal language theory
  • categorial grammars
  • resource logics
  • lambda calculus
  • higher order logic
some aspects of natural language:
  • derivational morphology and lexical semantics
  • flexional morphologie
  • prosody
  • syntax
  • logical (or predicative) semantics
  • discourse representation
Among our goals there are a closer study of the relationship between formal and categorial grammars, a tighter integration of morphology and syntax, the automatic computation of semantic representations from syntactic analyses (categorial, minimalist...), anaphora resolution, and the study of the relationship between the predicative structure of a sentence and the logic structure of discourse.

 To learn more about our research team,

Top

Équipe

Secrétaire :  Sylvie Embolla

(2) LaBRI
Domaine Universitaire
33405 Talence Cedex


téléphone : +33 5 24 57 41 04
télécopie : +33 5 40.00.66.69 

Responsable scientifique
Christian Retoré2
 U. Bordeaux I
 christian.retore@labri.fr
05 40 00 38 72
 LaBRI 208
Assistante / secrétaire
Sylvie Embolla INRIA sylvie.embolla@inria.fr 05 24 57 41 04 INRIA 123
Autres membres
Lionel Clément 2
 U. Bordeaux I
 lionel.clement@labri.fr
05 40 00 35 08
LaBRI 364
Richard Moot
C.N.R.S.
 richard.moot@labri.fr 
05 40 00 29 28
LaBRI 209
Sylvain Salvati INRIA sylvain.salvati@labri.fr 05 40 00 35 23 LaBRI 210
Invités
Michele Abrusci (sept-déc 2010) INRIA / U. Roma tre   05 40 00 35 30  
Collaborateurs extérieurs
Christian Bassac U. Lyon 2
christian.bassac@u-lyon2.fr    
Mauro Gaio UPPA (Pau) mauro.gaio@univ-pau.fr    
Gérard Huet
 INRIA
gerard.huet@inria.fr
 
Alain Lecomte U. Paris 8
alain.lecomte@u-paris8.fr
   
Doctorants
Pierre Bourreau Bordeaux I pierre.bourreau@labri.fr
05 40 00 24 90
LaBRI 276
Ivano Ciardelli Bordeaux 1 / Bologna      
Anaïs Lefeuvre Bordeaux I anais.lefeuvre@labri.fr 05 40 00 35 04 LaBRI 277
Bruno Mery Bordeaux I bruno.mery@labri.fr 05 40 00 84 19 LaBRI 123
Livy-Maria Real-Coelho Bordeaux 1 / Curitiba      
Noémie-Fleur Sandillon-Rezer Bordeaux I noemie-fleur.sandillon@labri.fr 05 40 00 69 37 LaBRI 327
Natalia Vinogradova Bordeaux I natalia.vinogradova@labri.fr 05 40 00 84 27 LaBRI 325

 

Former members and visitors / anciens membres et visiteurs:

  • Anna Kupsc (U. Bordeaux 3)
  • Emilie Voisin (enseignement secondaire)
  • Renaud Marlet (Ecole des Ponts)
  • Daniele Porello (U. van Amsterdam)
  • Patrick Henry (C.N.R.S.)
  • Henri Portine (U. Bordeaux 3)
  • Michael Moortgat (Universiteit Utrecht)
  • Tristan Vanrullen (Marseille)
  • Houda Anoun (Université Hassan II Casablanca)
  • Gregory Kobele (Humbold-Universität zu Berlin)
  • Marie-Laure Guénot (LIA, Avignon)
  • Benoît Sagot (INRIA Rocquencourt)
  • Reinhard Muskens (Universiteit van Tilburg)
  • Roberto Bonato (Deep Blue, Roma)
  • Joan Busquets (Université Bordeaux 3)
  • Pierre Castéran (Université Bordeaux 1)
  • Yannick Le Nir (EISTI, Pau)

Top

Les bibliothèques et bibliographies en rapport:

Formations en rapport

Cours du Master Informatique de l'Université Bordeaux 1 également ouverts aux étudiants de Sciences du Langage de l'Université Bordeaux 3 et au master de sciences cognitive de l'université Bordeaux 2


Top
Contact: Christian Retoré
Dernière modification :vendredi 30 mars, 2012 11:58