Détail d'une fiche   Version PDF

SIGNES (SR0007ER)

Signes linguistiques, grammaire et sens: algorithmique logique de la langue

SIGNES


Statut: Terminée

Responsable : Christian Retoré

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Perception, cognition, interaction
Thème : Langue, parole et audio

Période : 13/01/2005 -> 31/12/2011
Dates d'évaluation : 13/10/2011

Etablissement(s) de rattachement : U. DE BORDEAUX, CNRS, ENSEIRB
Laboratoire(s) partenaire(s) : LABRI (UMR5800)

CRI : Centre Inria de l'université de Bordeaux
Localisation : Centre Inria de l'université de Bordeaux
Code structure Inria : 091022-0

Numéro RNSR : 200518257C
N° de structure Inria: SR0007ER

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 et grammaires formelles
  • grammaires catégorielles et logique des ressources
  • lambda-calcul et logique d'ordre supérieur
certains aspects de la langue:
  • morphologie flexionnelle
  • syntaxe
  • sémantique logique
  • sémantique lexicale et morphologie dérivationnelle
  • représentation du discours
Parmi les objectifs que nous envisageons, mentionnons le lien entre familles de grammaires formelles, 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, les ambiguïtés de portée, le passage de la structure prédicative de la phrase à la structure logique du discours.

Les algorithmes correspondants, d'analyse, de génération ou d'acquisition seront implantés.

Nous mettrons en oeuvre ces techniques à travers deux applications

  • le développement outils morpho-syntaxiques pour le sanskrit
  • la formalisation de la grammaire de la langue des signes française

Axes de recherche

  • Lien entre grammaires formelles pour les langues naturelles
  • Interface entre syntaxe et sémantique
  • sémantique lexicale
  • Interface entre sémantique de la phrase et représentation du discours
  • Développement des outils correspondants
  • Formalisation de la syntaxe de la langue des signes pour la génération d'énoncés
  • Traitement morpho-syntaxique du sanskrit ; établissement d'un corpus annoté naviguable

Relations industrielles et internationales

  • Action intégrée avec OTS, Utrecht : grammaires minimalistes et catégorielles pour le traitement automatique de la syntaxe et de la sémantique des langues.
  • CoLogNet (European Network of Excellence on Computational Logic) : Active node de la section Computational Logic for Natural Language Processing
  • Collaboration avec Pr Brendan Gillon, Mc Gill University, pour la construction d'un corpus arboré du Sanskrit.
  • Collaborations suivies avec des équipes universitaires étrangères : OTS Utrecht, UPC Barcelona, UCLA Los Angeles, University of Hyderabad, University of Texas at Austin, McGill University