Diagnosing resource usage failures in multi-agent systems

Expert Systems with Applications

Volumn 77, Issue , 2017, Pages 44-56

  Elimelech, Orel ^a   Stern, Roni ^a   Kalech, Meir ^a   Bar Zeev, Yedidya ^a  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

Model based diagnosis; Multi agent systems

Indexed keywords

ACCIDENTS; AUTONOMOUS AGENTS; AUTONOMOUS VEHICLES; INTELLIGENT AGENTS; RESOURCE ALLOCATION; TRAFFIC CONGESTION;

BOOLEAN SATISFIABILITY; CHAIN REACTION; DIAGNOSIS PROBLEM; LOGICAL CONSTRAINTS; MODEL BASED DIAGNOSIS; RESOURCE CONTENTION; RESOURCE USAGE; ROOT CAUSE OF FAILURES;

MULTI AGENT SYSTEMS;

EID: 85011898349     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2017.01.047     Document Type: Article

References (39)

1. Abreu, R., Zoeteweij, P., Golsteijn, R., van Gemund, A.J.C., A practical evaluation of spectrum-based fault localization. Journal of Systems and Software 82:11 (2009), 1780–1792.
2. Au, T., Fok, C., Vishwanath, S., Julien, C., Stone, P., Evasion planning for autonomous vehicles at intersections. IEEE/RSJ international conference on intelligent robots and systems (IROS), 2012, 1541–1546.
3. Banerjee, B., Loscalzo, S., Thompson, D.L., Detection of plan deviation in multi-agent systems. AAAI conference on artificial intelligence, 2016, 2445–2451.
4. Bernstein, D.S., Givan, R., Immerman, N., Zilberstein, S., The complexity of decentralized control of Markov decision processes. Mathematics of Operations Research 27:4 (2002), 819–840.
5. Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R., The computational complexity of abduction. Artificial Intelligence 49:1–3 (1991), 25–60.
6. Chevaleyre, Y., Dunne, P.E., Endriss, U., Lang, J., Lemaitre, M., Maudet, N., et al. Issues in multiagent resource allocation. Informatica (Slovenia) 30:1 (2006), 3–31.
7. De Jonge, F., Roos, N., Witteveen, C., Primary and secondary diagnosis of multi-agent plan execution. Autonomous Agents and Multi-Agent Systems 18:2 (2009), 267–294.
8. De Kleer, J., Williams, B.C., Diagnosis with behavioral modes. Proceedings of the 11th international joint conference on artificial intelligence (IJCAI-89), 1989, Morgan Kaufmann Publishers Inc, 1324–1330.
9. Dechter, R., Meiri, I., Pearl, J., Temporal constraint networks. Artificial Intelligence 49:1–3 (1991), 61–95.
10. Dresner, K.M., Stone, P., A multiagent approach to autonomous intersection management. Journal of Artificial Intelligence Research (JAIR) 31 (2008), 591–656.
11. Feldman, A., Provan, G.M., van Gemund, A.J.C., Solving strong-fault diagnostic models by model relaxation. Proceedings of the 21st international joint conference on artificial intelligence (IJCAI’09), 2009, 785–790.
12. Gutiérrez, C., An analysis architecture for communications in multi-agent systems. International Journal of Interactive Multimedia and Artificial Intelligence 2:1 (2013), 65–72.
13. Gutiérrez, C., Analysis of bullying in cooperative multi-agent systems’ communications. International Journal of Interactive Multimedia and Artificial Intelligence 2:4 (2013), 46–51.
14. Gutierrez, C., García-Magariño, I., Revealing bullying patterns in multi-agent systems. Journal of Systems and Software 84:9 (2011), 1563–1575.
15. Kalech, M., Diagnosis of coordination failures: a matrix-based approach. Autonomous Agents and Multi-Agent Systems 24:1 (2012), 69–103.
16. Kalech, M., Kaminka, G.A., Towards model-based diagnosis of coordination failures. AAAI, 2005, 102–107.
17. Kalech, M., Kaminka, G.A., On the design of coordinated diagnosis algorithms for teams of situated agents. Artificial Intelligence 171 (2007), 491–513.
18. Kalech, M., Kaminka, G.A., Meisels, A., Elmaliach, Y., Diagnosis of multi-robot coordination failures using distributed CSP algorithms. AAAI, 2006, AAAI Press, 970–975.
19. Kaminka, G.A., Tambe, M., Robust multi-agent teams via socially-attentive monitoring. Journal of Artificial Intelligence Research 12 (2000), 105–147.
20. Kim, P., Williams, B.C., Abramson, M., Executing reactive, model-based programs through graph-based temporal planning. IJCAI, 2001, 487–493.
21. de Kleer, J., Williams, B.C., Diagnosing multiple faults. Artificial Intelligence 32:1 (1987), 97–130.
22. Maamar, Z., Faci, N., Sakr, S., Boukhebouze, M., Barnawi, A., Network-based social coordination of business processes. Information Systems 58 (2016), 56–74.
23. Metodi, A., Codish, M., Lagoon, V., Stuckey, P.J., Boolean equi-propagation for optimized sat encoding. Lee, J.H.-M., (eds.) CP Lecture Notes in Computer Science, 6876, 2011, Springer, 621–636.
24. Metodi, A., Stern, R., Kalech, M., Codish, M., A novel sat-based approach to model based diagnosis. Journal of Artificial Intelligence Research (JAIR), 2014, 377–411.
25. Micalizio, R., A distributed control loop for autonomous recovery in a multi-agent plan. The international joint conference on artificial intelligence (IJCAI), 2009, 1760–1765.
26. Micalizio, R., Torasso, P., Plan diagnosis and agent diagnosis in multi-agent systems. AI*IA: artificial intelligence and human-oriented computing, 2007, Springer, 434–446.
27. Micalizio, R., Torasso, P., Cooperative monitoring to diagnose multiagent plans. Journal of Artificial Intelligence Research (JAIR) 51 (2014), 1–70.
28. Micalizio, R., Torta, G., Explaining interdependent action delays in multiagent plans execution. Autonomous Agents and Multi-Agent Systems 30:4 (2016), 601–639.
29. Nica, I., Pill, I., Quaritsch, T., Wotawa, F., The route to success-a performance comparison of diagnosis algorithms. IJCAI, 13, 2013, 1039–1045.
30. Passos, L.S., Abreu, R., Rossetti, R.J.F., Spectrum-based fault localisation for multi-agent systems. The international conference on artificial intelligence (IJCAI), 2015, 1134–1140.
31. Passos, L.S., Abreu, R., Rossetti, R.J.F., Empirical evaluation of similarity coefficients for multiagent fault localization. IEEE Transactions on Systems, Man, and Cybernetics: Systems PP:99 (2016), 1–16.
32. Reiter, R., A theory of diagnosis from first principles. Artificial Intelligence 32:1 (1987), 57–95.
33. Roos, N., Witteveen, C., Models and methods for plan diagnosis. Autonomous Agents and Multi-Agent Systems 19:1 (2009), 30–52.
34. Ruml, W., Do, M.B., Zhou, R., Fromherz, M.P., On-line planning and scheduling: An application to controlling modular printers. Journal of Artificial Intelligence Research 40 (2011), 415–468.
35. Soos, M., Nohl, K., Castelluccia, C., Extending sat solvers to cryptographic problems. Theory and applications of satisfiability testing (SAT), 2009, Springer, 244–257.
36. Stern, R., Kalech, M., Feldman, A., Provan, G.M., Exploring the duality in conflict-directed model-based diagnosis. AAAI, 2012.
37. Struss, P., Dressier, O., ”Physical negation”: integrating fault models into the general diagnostic engine. IJCAI’89: Proceedings of the 11th international joint conference on artificial intelligence, 1989, Morgan Kaufmann Publishers Inc, San Francisco, CA, USA, 1318–1323.
38. Usug, U.C., Talay, S.S., Dynamic temporal planning for multirobot systems. Automated action planning for autonomous mobile robots, a AAAI workshop, 2011.
39. Williams, B.C., Ragno, R.J., Conflict-directed A* and its role in model-based embedded systems. Discrete Applied Mathematics 155:12 (2007), 1562–1595.