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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00476906
Contributor : Yves Moinard <>
Submitted on : Tuesday, April 27, 2010 - 3:20:55 PM
Last modification on : Thursday, June 27, 2019 - 4:27:48 PM
Long-term archiving on : Tuesday, September 28, 2010 - 12:56:20 PM

Files

causesHAL.pdf
Publisher files allowed on an open archive

Identifiers

  • 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⟩

Share

Metrics

Record views

578

Files downloads

419