Ontology-based inference for causal explanation - Archive ouverte HAL Access content directly
Journal Articles Integrated Computer-Aided Engineering Year : 2008

Ontology-based inference for causal explanation

(1, 2, 3) , (1) , (1)
1
2
3

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.
Fichier principal
Vignette du fichier
causesHAL.pdf (236.14 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00476906 , version 1 (27-04-2010)

Identifiers

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

Cite

Philippe Besnard, Marie-Odile Cordier, Yves Moinard. Ontology-based inference for causal explanation. Integrated Computer-Aided Engineering, 2008, 15 (4), pp.351-367. ⟨inria-00476906⟩
273 View
298 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More