Computing conflict sets for model-based diagnosis
Huixian Sun · Control theory & applications · 2003
Model-based diagnosis was computationally expensive because it often used component models in reasoning process. Reiter' s hitting sets tree algorithm, which did not require the conflict sets to be minimal, was one of the best model-based diagnosis method. It was proved that to find a nonminimal conflict set, every component model needed to be calculated at most once. In some situations, a component-parameter matrix can be used to direct the computing of conflict sets. All these methods reduce the times of calculating component models.