Logo image
Se connecter
Default Reasoning Implementation in CoGui
Acte de colloque   Open Access

Default Reasoning Implementation in CoGui

Patrice Buche, Jérôme Fortin et Alain Gutierrez
21st International Conference on Conceptual Structures, Vol.LNCS(8577), pp.118-129
Graph-Based Representation and Reasoning
ICCS 2014 - 21st International Conference on Conceptual Structures (Iasi, Romania, 27/07/2014–30/07/2014)
27/07/2014

Résumé

Defaut reasoning Conceptual graph
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.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image