Conceptual Graphs are Also Graphs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2014

Conceptual Graphs are Also Graphs

Michel Chein
  • Fonction : Auteur
  • PersonId : 934405

Résumé

The main objective of this paper is to add one more brick in building the CG model as a knowledge representation model autonomous from logic. The CG model is not only a graphical representation of logic, it is much more: it is a declarative model encoding knowledge in a mathematical theory, namely labelled graph theory, which has efficient computable forms, with a fundamental graph operation on the encodings to do reasoning, projection, which is a labelled graph morphism. Main topics of this paper are: a generalized formalism for simple CGs; a strong equivalence between CSP (Constraint Satisfaction Problem) and labelled graph morphism. This correspondence allows the transportation of efficient algorithms from one domain to the other, and confirms that projection —or more generally labelled graph morphism— firmly moors CGs to combinatorial algorithmics, which is a cornerstone of computer science. The usual sound and complete first order logic semantics for CGs is still valid for our generalized model. This, plus the ease of doing important reasonings with CGs —for instance plausible reasonings by using some maximal join operations— without, at least for the moment, logical semantics, strengthens our belief that CGs must also be studied and developed independently from logic.
RR95ChMu.ps (248.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-01090141 , version 1 (03-12-2014)

Identifiants

Citer

Michel Chein, Marie-Laure Mugnier. Conceptual Graphs are Also Graphs. ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18, ⟨10.1007/978-3-319-08389-6_1⟩. ⟨lirmm-01090141⟩
177 Consultations
8 Téléchargements

Altmetric

Partager

More