The Unit Graphs Mathematical Framework
Résumé
This research report introduces the fundamental concepts of the Unit Graphs mathematical framework that is designed to reconcile the Meaning-Text Model (MTM) and the Conceptual Graphs formalism (CGs), in order to represent, query, and reason formalized linguistic knowledge. Despite seeming similar, one cannot use GCs to natural to formalize the MTM. Indeed, a linguistic unit may be multi-typed (i.e., is an instance of concept types), and dually, links its actants in an utterance representation (i.e., is a n-ary relation). How shall we revise the basis of the CGs mathematical framework in order to take into account the duality of units ?
Nous introduisons les concepts fondamentaux du formalisme des Graphes d'Unités, conçu pour concilier le modèle Sens-Texte (MST) et le formalisme des Graphes Conceptuels (GC) afin de représenter, interroger, et raisonner des connaissances linguistiques formalisées. Bien que ressemblants, il n'est pas naturel d'utiliser les GCs pour formaliser le MST. En effet, une unité linguistique peut être multi-typée (i.e., est une instance de types de concepts), et de manière duale, lie ses actants dans une représentation d'énoncé (i.e., est une relation n-aire). Comment doit-on revoir les bases du formalisme mathématique des GCs pour prendre en compte cette dualité des unités ?
Origine : Fichiers produits par l'(les) auteur(s)