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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00410640
Contributor : Madalina Croitoru <>
Submitted on : Friday, August 21, 2009 - 4:32:29 PM
Last modification on : Friday, March 29, 2019 - 9:12:10 AM
Long-term archiving on : Tuesday, June 15, 2010 - 8:59:10 PM

File

baget-iccs.PDF
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

599

Files downloads

331