A complete approach to identify conflict sets based on ATMS

Model-based diagnosis is an effective approach without needing expert experience, whose one key step is to identify the conflict sets. According to general diagnostic engine(GDE), an approach to identify the minimal conflict sets based on assumption-based truth maintenance system (ATMS) is proposed. By defining negative-node and some new rules, the incompleteness of ATMS is overcome. This approach is incremental through propagating environments. It is sound, complete, consistent, and all of solutions are minimal. Moreover, simulations show that it is effective, general and easy to be implemented and expanded as well.