Improving the Forward Chaining Algorithm for Conceptual Graphs Rules

Abstract : Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order logics, without function symbols. Sound and complete reasonings w.r.t. associated logic formulas are obtained through a kind of graph homomorphism called projection. Conceptual Graphs Rules (or CG rules) are a standard extension to SGs, keeping sound and complete reasonings w.r.t. associated logic formulas (they have the same form as tuple generating dependencies in database): these graphs represent knowledge of the form ''IF ... THEN''. We present here an optimization of the natural forward chaining algorithm for CG rules. Generating a graph of rules dependencies makes the following sequences of rule applications far more efficient, and the structure of this graph can be used to obtain new decidability results.
Type de document :
Communication dans un congrès
Proc. 9th international conference on principles of knowledge representation and reasoning (KR), Jun 2004, Whistler, Canada. No commercial editor., pp.407-414, 2004, Proc. 9th international conference on principles of knowledge representation and reasoning (KR)
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00918126
Contributeur : Jérôme Euzenat <>
Soumis le : jeudi 12 décembre 2013 - 22:34:07
Dernière modification le : mercredi 11 avril 2018 - 01:53:42
Document(s) archivé(s) le : samedi 8 avril 2017 - 06:16:27

Fichier

baget2004b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00918126, version 1

Collections

Citation

Jean-François Baget. Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. Proc. 9th international conference on principles of knowledge representation and reasoning (KR), Jun 2004, Whistler, Canada. No commercial editor., pp.407-414, 2004, Proc. 9th international conference on principles of knowledge representation and reasoning (KR). 〈hal-00918126〉

Partager

Métriques

Consultations de la notice

179

Téléchargements de fichiers

112