Default Reasoning Implementation in CoGui

Patrice Buche 1, 2 Jérôme Fortin 2 Alain Gutierrez 2
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This is an application paper in which we propose to present the actualimplementation of default reasoning under conceptual graph formalism usingCoGui. CoGui is a free graph-based visual tool, developed in Java, for buildingConceptual Graph knowledge bases. We present the extension of this applicationto define and represent default CG rules (a CG-oriented subset of Reiter’s defaultlogics) and how to use these rules in skeptical or credulous reasoning.
Type de document :
Communication dans un congrès
ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. 21st International Conference on Conceptual Structures, LNCS (8577), pp.118-129, 2014, Graph-Based Representation and Reasoning. 〈10.1007/978-3-319-08389-6_11〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01092160
Contributeur : Patrice Buche <>
Soumis le : lundi 8 décembre 2014 - 13:41:43
Dernière modification le : mercredi 10 octobre 2018 - 14:28:13

Identifiants

Collections

Citation

Patrice Buche, Jérôme Fortin, Alain Gutierrez. Default Reasoning Implementation in CoGui. ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. 21st International Conference on Conceptual Structures, LNCS (8577), pp.118-129, 2014, Graph-Based Representation and Reasoning. 〈10.1007/978-3-319-08389-6_11〉. 〈lirmm-01092160〉

Partager

Métriques

Consultations de la notice

278