Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Patrice Buche Connect in order to contact the contributor
Submitted on : Monday, December 8, 2014 - 1:41:43 PM
Last modification on : Monday, October 11, 2021 - 1:24:30 PM



Patrice Buche, Jérôme Fortin, Alain Gutierrez. Default Reasoning Implementation in CoGui. ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.118-129, ⟨10.1007/978-3-319-08389-6_11⟩. ⟨lirmm-01092160⟩



Record views