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 :

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.