Ontology-based inference for causal explanation1
Philippe Besnard, Marie-Odile Cordier, Yves Moinard · Integrated Computer-Aided Engineering · 2008
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