Irčne~Grosclaude and Marie-Odile~Cordier and René~Quiniou
Causal interaction: from a high-level representation to an operational event based representation
, IJCAI 01 , aug , 2001 , Document

Abstract This paper proposes to extend the temporal causal graph formalisms used in the model-based diagnosis area in order to deal with non trivial interactions like (partial) cancellation of fault effects. A high level causal language is defined in which properties such as the persistence of effects and the triggering or sustaining properties of causes can be expressed. Various interaction phenomena are associated to these features. Instead of proposing an ad hoc reasoning mechanism to process this extended formalism, the specifications in this language are automatically translated into an event calculus based language having well-established semantics. Our approach improves the way fault interaction and intermittent faults are coped with in temporal abductive diagnosis.


This web site is maintained by René Quiniou using the Weave system
from the Caravel project: http://www-caravel.inria.fr.
Last modification: 10-07-2011 09:54:25