Review of systematic conflict generation in model-based diagnosis of dynamic systems

摘要

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. The main idea of the paper is to introduce the notion of a Potential Conflict Structure, which is a local subgraph sufficient for potential conflict definition. Diagnostic preferences are discussed and bases for systematic conflict generation are outlined. The paper includes elements of an algebra of conflict sets.