Generating Diagnoses from Conflict Sets

Rolf Haenni

Many techniques of finding possible diagnoses of faulty technical systems involve two sequential steps. First compute the collection of all minimal conflict sets, then transform the conflict sets into diagnoses. This paper addresses the second step of this procedure. We assume that the conflict sets are known and we present an efficient method of transforming conflict sets into diagnoses. The method is developed in a more general framework for the corresponding problem of computing hypergraph inversions.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.