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 metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01092160
Contributor : Patrice Buche <>
Submitted on : Monday, December 8, 2014 - 1:41:43 PM
Last modification on : Friday, March 29, 2019 - 9:12:10 AM

Identifiers

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. pp.118-129, ⟨10.1007/978-3-319-08389-6_11⟩. ⟨lirmm-01092160⟩

Share

Metrics

Record views

321