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.
Type de document :
Communication dans un congrès
ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. Springer, 17th International Conference on Conceptual Structures, LNCS (5662), pp.86-99, 2009, Conceptual Structures: Leveraging Semantic Technologies. 〈http://iccs09.hse.ru/index.html〉. 〈10.1007/978-3-642-03079-6_7〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00410640
Contributeur : Madalina Croitoru <>
Soumis le : vendredi 21 août 2009 - 16:32:29
Dernière modification le : jeudi 28 juin 2018 - 11:07:00
Document(s) archivé(s) le : mardi 15 juin 2010 - 20:59:10

Fichier

baget-iccs.PDF
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Springer, 17th International Conference on Conceptual Structures, LNCS (5662), pp.86-99, 2009, Conceptual Structures: Leveraging Semantic Technologies. 〈http://iccs09.hse.ru/index.html〉. 〈10.1007/978-3-642-03079-6_7〉. 〈lirmm-00410640〉

Partager

Métriques

Consultations de la notice

405

Téléchargements de fichiers

192