Graphe conceptuel

Un graphe conceptuel est un formalisme de représentation de connaissances et de raisonnements. Ce formalisme a été introduit par en 1984. Depuis cette date, ce formalisme a été développé suivant trois directions principales : interface graphique de la logique du premier ordre, système diagrammatique pour la logique du premier ordre, formalisme de représentation de connaissances et de raisonnement basé sur les graphes. Dans cette approche les graphes conceptuels servent d'interface graphique pour la logique du premier ordre (calcul des prédicats). Une formule logique est représentée par un graphe biparti étiqueté, les sommets d'une des deux classes représentant les prédicats et les sommets de l'autre classe représentant les arguments de ces prédicats. À ce titre, les graphes conceptuels constituent l'un des formats proposés par l'ISO dans le cadre de la Common Logic. Dans cette approche le modèle n'a pas de mécanismes spécifiques de raisonnement. Pour faire des raisonnements les graphes sont traduits par des formules de logique, puis un démonstrateur logique doit être utilisé. Une autre direction poursuit dans la voie des graphes existentiels de Charles Sanders Peirce, qui étaient une des origines des graphes conceptuels tels que proposés par Sowa. Dans cette approche, développée, en particulier, par Dau, plutôt que des graphes au sens de la théorie des graphes, les graphes conceptuels sont des diagrammes, et les opérations de raisonnement sont effectuées par des opérations sur ces diagrammes. Ces opérations sur les diagrammes sont difficilement automatisables. Les graphes, au sens classique de la théorie des graphes, sont au cœur du troisième point de vue développé, en particulier, par Chein et Mugnier et le groupe de Montpellier. Les connaissances sont, comme dans les deux approches précédentes, représentées par des graphes étiquetés mais cette fois-ci les mécanismes de raisonnement sont basés sur des opérations de graphes, en particulier sur l'homomorphisme de graphes (cette opération était appelée 'projection' dans les premiers travaux sur les graphes conceptuels, mais cette opération est sans relation avec l'opération appelée projection dans les bases de données).