Le thème de recherche de CALLIGRAMME est l’utilisation de la logique linéaire et, en particulier de la théorie des réseaux de démonstration dans la modélisation de la circulation de l’information. Deux cas spécifiques de circulation de l’information sont envisagés : dans les calculs de processus, l’information communiquée entre agents ; dans le cas de l’analyse grammaticale, l’information syntaxique échangée entre les constituants d’un même syntagme.
Axes thématiques
• Réseaux de démonstration et d’interaction
• Logique linéaire et parallélisme
• Logique linéaire et grammaires formelles
• Calculs lambda typés et sémantiques
Un des objectifs applicatifs de ces quatre actions de recherche est la mise au point d’un modèle grammatical basé sur la logique linéaire permettant d’intégrer diverses théories linguistiques.
Relations scientifiques et industrielles
• Coopération avec le laboratoire de recherche Xerox à Grenoble
• Collaboration avec l’Institut de Mathématiques de Luminy
• Nombreux échanges avec des centres universitaires : Imperial College, Universités d’Utrecht, de Rome III, d’Indiana, de Catalogne, de la Sarre, de Pennsylvanie