Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2009

Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application

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.
Fichier principal
Vignette du fichier
baget-iccs.PDF (239.65 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-00410640 , version 1 (21-08-2009)

Identifiers

Cite

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More