Représentations de connaissances et raisonnements (RCR)
En 2010, RCR a été remplacée par GraphIK (Site de GraphIK)
Des graphes pour représenter et raisonner
Nous avons une approche computationnelle et logique de la représentation de connaissances et des raisonnements, mais également – et c’est l’originalité de notre approche – basée sur des graphes étiquetés.
Les graphes sont en effet vus comme une représentation abstraite des connaissances qui peuvent être exprimées dans de nombreux langages :
- les graphes conceptuels, historiquement notre formalisme cible,
- certains fragments de la logique du premier ordre et des logiques de description,
- les règles et contraintes des bases de données,
- les langages du web sémantique RDFS et topic maps, etc.
Nous étudions des formalismes graphiques et logiques selon un triple point de vue : théorique (propriétés structurelles, expressivité, complexité et algorithmes, transformations entre langages), logiciel (développement d’outils qui implémentent nos modèles théoriques) et applicatif (les applications venant en retour nourrir les travaux théoriques).
Contact : Marie-Laure Mugnier
Date de création du site : décembre 2005. Dates de m-a-j variables selon les pages.