Consistency-based diagnosis falls into the category of model based approaches. In this paper the problem of generation of conflict sets for dynamic systems described with causal graphs is approached. Conflict generation is an important step in model-based diagnosis. The foundations of such a diagnostic approach are constituted by the Reiter's theory concerning consistency-based diagnostic reasoning. This paper is aimed at presenting a discussion of selected problems of conflict generation. A notion of Potential Conflict Structure (PCS) constituting a basic tool for identification of possible conflicts is proposed and its use id discussed. The paper includes elements of algebra of conflict sets.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.