This is an application paper in which we propose to present the actual implementation of default reasoning under conceptual graph formalism using CoGui. CoGui is a free graph-based visual tool, developed in Java, for building Conceptual Graph knowledge bases. We present the extension of this application to define and represent default CG rules (a CG-oriented subset of Reiter's default logics) and how to use these rules in skeptical or credulous reasoning. © 2014 Springer International Publishing.
CITATION STYLE
Buche, P., Fortin, J., & Gutierrez, A. (2014). Default reasoning implementation in CoGui. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8577 LNAI, pp. 118–129). Springer Verlag. https://doi.org/10.1007/978-3-319-08389-6_11
Mendeley helps you to discover research relevant for your work.