Projet : CALLIGRAMME

Précédent : Lambda calculs typés, sémantique, complexité Remonter : Logique Linéaire, Réseaux de Démonstration Suivant : Les grammaires catégorielles dans la

   
Domaines d'applications

 

Résumé :

Le projet Calligramme vise à appliquer ses compétences en logique linéaire au traitement automatique des langues, et plus précisément dans l'analyse syntaxique de textes (et la génération de représentations sémantiques à partir de ceux-ci), la génération automatique de textes à partir de données formelles, et la fouille de données sur des corpus complexes. Le français est la langue privilégiée.