Sémagramme

Sémagramme développe des modèles, des méthodes et des outils pour l'analyse sémantique d'expressions et de discours en langue naturelle. Cela comprend la modélisation logique de phénomènes pragmatiques en œuvre dans la dynamique du discrous. Ces méthodes et ces modèles s'appuient sur des outils mathématiques et logiques standard de la théorie des langages formels, de la logique mathématique, de la théorie des types et de la théorie des graphes.