Skip to Main content Skip to Navigation
Conference papers

Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application

Jean-François Baget 1, 2 Madalina Croitoru 2 Jérôme Fortin 2 Rallou Thomopoulos 3, 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 : In this paper, we extend Simple Conceptual Graphs with Reiter's default rules. The motivation for this extension came from the type of reasonings involved in an agronomy application, namely the simulation of food processing. Our contribution is many fold: rst, the expressivity of this new language corresponds to our modeling purposes. Second, we provide an effective characterization of sound and complete reasonings in this language. Third, we identify a decidable subclass of Reiter's default logics. Last we identify our language as a superset of SREC-, and provide the lacking semantics for the latter language.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Madalina Croitoru <>
Submitted on : Friday, August 21, 2009 - 4:32:29 PM
Last modification on : Monday, June 7, 2021 - 11:32:04 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 8:59:10 PM


Files produced by the author(s)



Jean-François Baget, Madalina Croitoru, Jérôme Fortin, Rallou Thomopoulos. Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application. ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.86-99, ⟨10.1007/978-3-642-03079-6_7⟩. ⟨lirmm-00410640⟩



Record views


Files downloads