Précédent : Composition de l'équipe Remonter :
Projet CALLIGRAMME Suivant : Actions de
recherche
La création officielle du projet Calligramme s'est effectuée en mai 1996. Le thème de recherche de base du projet est la logique linéaire : sa syntaxe, sa sémantique, ses rapports avec les formalismes constructifs traditionnels, mais plus spécifiquement l'étude des réseaux de démonstration et de leurs proches parents, les réseaux d'interaction. Les applications de ces recherches sont orientées vers le calcul parallèle (calculs de processus et langages de programmation spécialisés), et surtout vers la linguistique : une grande part de nos recherches porte sur le développement du formalisme des grammaires catégorielles et l'étude de leurs relations avec la sémantique, ceci dans le but de construire des analyseurs syntaxiques plus performants et plus faciles à intégrer à des systèmes complexes, par exemple pour la génération de textes à partir de données statistiques ou la représentation de la connaissance.