Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application

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.

Domaines

Intelligence artificielle [cs.AI]

Fichier principal

baget-iccs.PDF (239.65 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Madalina Croitoru : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00410640

Soumis le : vendredi 21 août 2009-16:32:29

Dernière modification le : mercredi 5 juillet 2023-17:05:46

Archivage à long terme le : mardi 15 juin 2010-20:59:10

Dates et versions

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

Identifiants

HAL Id : lirmm-00410640 , version 1
DOI : 10.1007/978-3-642-03079-6_7
PRODINRA : 318063
WOS : 000271220700006

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CIRAD CNRS INRIA INRA IATE EDELWEISS GRAPHIK LIRMM AGROPOLIS INRIA2 MIPS BA UNIV-MONTPELLIER INSTITUT-AGRO-MONTPELLIER INRAE INRAEOCCITANIEMONTPELLIER

352 Consultations

244 Téléchargements