Default Reasoning Implementation in CoGui - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2014

Default Reasoning Implementation in CoGui

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.
Fichier principal
Vignette du fichier
ICCS2014.pdf (917.71 Ko) Télécharger le fichier

Dates and versions

lirmm-01092160 , version 1 (06-09-2022)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More