Ontology-based inference for causal explanation

Philippe Besnard, Marie-Odile Cordier, Yves Moinard

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 w…