Ontology-based inference for causal explanation

Philippe Besnard 1, 2 Marie-Odile Cordier 1 Yves Moinard 1
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another fact and that a fact explains another fact. We present a set of formal inference patterns from causal statements to explanation statements. We introduce an elementary ontology which gives greater expressiveness to the system while staying close to propositional reasoning. We provide an inference system that captures the patterns discussed, firstly in a purely propositional framework, then in a datalog (limited predicate) framework.
Type de document :
Article dans une revue
Integrated Computer-Aided Engineering, IOS Press, 2008, 15 (4), pp.351-367
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00476906
Contributeur : Yves Moinard <>
Soumis le : mardi 27 avril 2010 - 15:20:55
Dernière modification le : mardi 16 janvier 2018 - 15:54:11
Document(s) archivé(s) le : mardi 28 septembre 2010 - 12:56:20

Fichiers

causesHAL.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00476906, version 1
  • ARXIV : 1004.4801

Citation

Philippe Besnard, Marie-Odile Cordier, Yves Moinard. Ontology-based inference for causal explanation. Integrated Computer-Aided Engineering, IOS Press, 2008, 15 (4), pp.351-367. 〈inria-00476906〉

Partager

Métriques

Consultations de la notice

381

Téléchargements de fichiers

307