The Computation of Hitting Sets with Boolean Formulas

In model-based diagnosis,the system is described by Boolean logic,but the hitting sets are computed with HS-TREE or DAG,so the data structures of diagnosis system were composed of many descriptions. In this paper,both the components and system description are represented as Boolean variables. And the Boolean algebra algorithm is presented to compute hitting sets. The efficiency of this algorithm is better than the other works,data structures are simpler,and the correct answers are not lost. This algorithm could be used more widely.