TY - JOUR AU - Zhou, Huisi AU - Ouyang, Dantong AU - Zhao, Xiangfu AU - Zhang, Liming PY - 2022/06/28 Y2 - 2024/03/29 TI - Two Compacted Models for Efficient Model-Based Diagnosis JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 36 IS - 4 SE - AAAI Technical Track on Constraint Satisfaction and Optimization DO - 10.1609/aaai.v36i4.20304 UR - https://ojs.aaai.org/index.php/AAAI/article/view/20304 SP - 3885-3893 AB - Model-based diagnosis (MBD) with multiple observations is complicated and difficult to manage over. In this paper, we proposed two new diagnosis models, namely, the Compacted Model with Multiple Observations (CMMO) and the Dominated-based Compacted Model with Multiple Observations (D-CMMO), to solve the problem in which a considerable amount of time is needed when multiple observations are given and more than one fault is injected. Three ideas are presented in this paper. First, we propose to encode MBD with each observation as a subsystem and share as many system variables as possible to compress the size of encoded clauses. Second, we utilize the notion of gate dominance in the CMMO approach to compute Top-Level Diagnosis with Compacted Model (CM-TLD) to reduce the solution space. Finally, we explore the performance of our model using three fault models. Experimental results on the ISCAS-85 benchmarks show that CMMO and D-CMMO perform better than the state-of-the-art algorithms. ER -