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.
Published Date: May 1998
Registration: ISBN 978-1-57735-051-4
Copyright: Published by The AAAI Press, Menlo Park, California