TY - JOUR
T1 - Batch repair actions for automated troubleshooting
AU - Shinitzky, Hilla
AU - Stern, Roni
N1 - Funding Information:
This research was partially funded by ISF grant no. 210/17 to Dr. Roni Stern. We also wish to acknowledge Prof. Meir Kalech for his invaluable assistance during the early stages of this research and his useful comments upon reviewing drafts of our manuscript.
Publisher Copyright:
© 2020 Elsevier B.V.
PY - 2020/6/1
Y1 - 2020/6/1
N2 - Repairing a set of components as a batch is often cheaper than repairing each of them separately. A primary reason for this is that initiating a repair action and testing the system after performing a repair action often incurs non-negligible overhead. However, most troubleshooting algorithms proposed to date do not consider the option of performing batch repair actions. In this work we close this gap, and address the combinatorial problem of choosing which batch repair action to perform so as to minimize the overall repair costs. We call this problem the Batch Repair Problem (BRP) and formalize it. Then, we propose several approaches for solving it. The first seeks to choose to repair the set of components that are most likely to be faulty. The second estimates the cost wasted by repairing a given set of components, and tried to find the set of components that minimizes these costs. The third approach models BRP as a Stochastic Shortest Path Problem (SSP-MDP) [1], and solves the resulting problem with a dedicated solver. Experimentally, we compare the pros and cons of the proposed BRP algorithms on a standard Boolean circuit benchmark and a novel benchmark from the Physiotherapy domain. Results show the clear benefit of performing batch repair actions with our BRP algorithms compared to repairing components one at a time.
AB - Repairing a set of components as a batch is often cheaper than repairing each of them separately. A primary reason for this is that initiating a repair action and testing the system after performing a repair action often incurs non-negligible overhead. However, most troubleshooting algorithms proposed to date do not consider the option of performing batch repair actions. In this work we close this gap, and address the combinatorial problem of choosing which batch repair action to perform so as to minimize the overall repair costs. We call this problem the Batch Repair Problem (BRP) and formalize it. Then, we propose several approaches for solving it. The first seeks to choose to repair the set of components that are most likely to be faulty. The second estimates the cost wasted by repairing a given set of components, and tried to find the set of components that minimizes these costs. The third approach models BRP as a Stochastic Shortest Path Problem (SSP-MDP) [1], and solves the resulting problem with a dedicated solver. Experimentally, we compare the pros and cons of the proposed BRP algorithms on a standard Boolean circuit benchmark and a novel benchmark from the Physiotherapy domain. Results show the clear benefit of performing batch repair actions with our BRP algorithms compared to repairing components one at a time.
KW - Artificial Intelligence
KW - Model-based diagnosis
KW - Troubleshooting
UR - http://www.scopus.com/inward/record.url?scp=85082016103&partnerID=8YFLogxK
U2 - 10.1016/j.artint.2020.103260
DO - 10.1016/j.artint.2020.103260
M3 - Article
AN - SCOPUS:85082016103
SN - 0004-3702
VL - 283
JO - Artificial Intelligence
JF - Artificial Intelligence
M1 - 103260
ER -