|
David Genest / Recherche / Graphes conceptuels |
||||||||
ModèleLe modèle des graphes conceptuels est un modèle de représentation de connaissances du type réseaux sémantiques qui a donné lieu à un certain nombre de travaux depuis son introduction par John F. Sowa en 1984. L'une des particularités de ce modèle est de permettre de représenter des connaissances sous forme graphique. Plus précisément, un graphe conceptuel est un graphe biparti étiqueté, les deux classes de sommets étant étiquetés respectivement par des noms de « concepts » et des noms de « relations conceptuelles » entre ces concepts. Une telle représentation graphique des connaissances permet à des utilisateurs de comprendre, créer ou modifier directement des objets de ce type, de façon beaucoup plus simple qu'avec une représentation sous forme de formules logiques par exemple. La facilité d'utilisation du modèle est renforcée par une séparation explicite de différents types de connaissances. Différents types de connaissances sont en effet représentés de différentes façons par des objets distincts et cette structuration entraîne une plus grande clarté lors de l'utilisation de ce modèle pour l'acquisition ou la représentation de connaissances. Le vocabulaire permettant de représenter des connaissances (l'ontologie du domaine) est notamment structuré dans un objet du modèle appelé « support » qui permet de représenter de façon simple des liens « sorte de » et « est un ». L'autre intérêt du modèle vient du fait que des raisonnements peuvent être effectués sur les connaissances représentées. Ces raisonnements peuvent être vus comme des opérations de graphes et peuvent ainsi se baser sur les travaux d'algorithmique de graphe, puisque les graphes conceptuels sont des graphes étiquetés. Enfin, le modèle est muni d'une sémantique en logique du premier ordre qui est adéquate et complète par rapport à la déduction. Plusieurs points de vue sur le modèle ont été proposées au sein de la communauté « graphes conceptuels ». L'approche choisie s'inscrit dans le cadre des travaux menés par l'équipe GraphIK du Lirmm. Plus précisément, un graphe conceptuel est considéré comme un graphe étiqueté représentant des connaissances (et non comme une représentation d'une formule logique). Les raisonnements sont basés sur des opérations de graphes, en utilisant des algorithmes issus de la théorie des graphes. CogitantCogitant est un ensemble d'outils logiciels permettant le développement d'applications basées sur le modèle des graphes conceptuels. Cogitant est construit autour d'une bibliothèque de classes C++ permettant de développer facilement des logiciels manipulant des graphes conceptuels, et qui offre un grand nombre de fonctionnalités sur les objets du modèle (création, modification, projection, règles, contraintes, entrées/sorties, import RDF, etc.). Cogitant peut être utilisé sous Unix (Linux, Solaris, FreeBSD, etc.), MS Windows et MacOS X. La bibliothèque est disponible gratuitement et librement (licence GPL) à partir du site http://cogitant.sourceforge.net. Les sources sont disponibles ainsi qu'une documentation complète décrivant l'utilisation des classes (plus de 800 pages, consultable en ligne ou à partir d'un fichier PS ou PDF). |
|||||||||