Conceptual Graphs are Also Graphs - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2014

Conceptual Graphs are Also Graphs

Michel Chein
  • Function : Author
  • PersonId : 934405

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
158 View
8 Download

Altmetric

Share

Gmail Facebook X LinkedIn More