Abstract
Diagnosis of plan failures is an important subject in both single- and multi-agent planning. Plan diagnosis can be used to deal with plan failures in three ways: (i) to provide information necessary for the adjustment of the current plan or for the development of a new plan, (ii) to point out which equipment and/or agents should be repaired or adjusted to avoid further violation of the plan execution, and (iii) to identify the agents responsible for plan-execution failures. We introduce two general types of plan diagnosis: primary plan diagnosis identifying the incorrect or failed execution of actions, and secondary plan diagnosis that identifies the underlying causes of the faulty actions. Furthermore, three special cases of secondary plan diagnosis are distinguished, namely agent diagnosis, equipment diagnosis and environment diagnosis.
Article PDF
Similar content being viewed by others
References
Baroni P., Lamperti G., Pogliano P. and Zanella M. (1999). Diagnosis of large active systems. Artificial Intelligence 110: 135–183
Birnbaum, L., Collins, G., Freed, M., & Krulwich, B. (1990). Model-based diagnosis of planning failures. In AAAI 90, pp. 318–323.
Blum A.L. and Furst M.L. (1997). Fast planning through planning graph analysis. Artificial Intelligence 90: 281–300
Carver N. and Lesser V.R. (2003). Domain monotonicity and the performance of local solutions strategies for cdps-based distributed sensor interpretation and distributed diagnosis. Autonomous Agents and Multi-Agent Systems 6(1): 35–76
Cassandras, C. G., & Lafortune, S. (1999). Introduction to discrete event systems. Kluwer Academic Publishers.
Console L. and Torasso P. (1990). Hypothetical reasoning in causal models. International Journal of Intelligence Systems 5: 83–124
Console L. and Torasso P. (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7: 133–141
de Jonge, F., & Roos, N. (2004). Plan-execution health repair in a multi-agent system. In PlanSIG 2004.
de Jonge, F., Roos, N., & van den Herik, H. J. (2005). Keeping plan execution healthy. In Multi-Agent Systems and Applications IV: CEEMAS 2005, LNCS 3690, pp. 377–387.
de Kleer J., Mackworth A.K. and Reiter R. (1992). Characterizing diagnoses and systems. Artificial Intelligence 56: 197–222
Williams B.C. and Kleer J. (1987). Diagnosing multiple faults. Artificial Intelligence 32: 97–130
McDermott, D., et al. (1998). The pddl planning domain definition language. In The AIPS-98 Planning Competition Committee.
Fikes R.E. and Nilsson N. (1971). Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 5: 189–208
Hoare C.A.R. (1969). An axiomatic basis for computer programming. Communications of the ACM 12(10): 576–585
Horling, B., Benyo, B., & Lesser, V. (2001). Using self-diagnosis to adapt organizational structures. In Proceedings of the 5th International Conference on Autonomous Agents (pp. 529–536). ACM Press.
Kalech, M., & Kaminka, G. A. (2003). On the design of social diagnosis algorithms for multi-agent teams. In IJCAI-03, pp. 370–375.
Kalech, M., & Kaminka, G. A. (2005). Diagnosing a team of agents: Scaling-up. In AAMAS 2005, pp. 249–255.
Kalech M. and Kaminka G.A. (2007). On the design of coordination diagnosis algorithms for theams of situated agents. Artificial Intelligence 171: 491–513
Micalizio R. and Torasso P. (2007). On-line monitoring of plan execution: A distributed approach. Knowledge-Based Systems 20: 134–142
Micalizio, R., & Torasso, P. (2007). Team cooperation for plan recovery in multi-agent systems. In Multiagent System Technologies, LNCS 4687, pp. 170–181.
Pencolé Y. and Cordier M. (2005). A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence 164: 121–170
Poole, D. (1988). Representing knowledge for logic-based diagnosis. In International Conference on Fifth Generation Computer Systems, pp. 1282–1290.
Reiter R. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32: 57–95
Roos, N., & Witteveen, C. (2005). Diagnosis of plans and agents. In Multi-Agent Systems and Applications IV: CEEMAS 2005, LNCS 3690, pp. 357–366.
Roos, N., & Witteveen, C. (2006). Models and methods for plan diagnosis. In Formal Approaches to Multi-Agent Systems (FAMAS’06).
Roos N. and Witteveen C. (2008). Models and methods for plan diagnosis. Journal of Autonomous Agents and Multi-Agent Systems. doi:10.1007/s10458-007-9017-6.
Sampath M., Sengupta R., Lafortune S., Sinnamohideen K. and Teneketzis D. (1995). Diagnosibility of discrete event systems. IEEE Transactions on Automatic Control 40: 1555–1575
Sampath M., Sengupta R., Lafortune S., Sinnamohideen K. and Teneketzis D. (1996). Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology 4: 105–124
Tonino H., Bos A., Witteveen C. and Weerdt M. (2002). Plan coordination by revision in collective agent based systems. Artificial Intelligence 142: 121–145
Witteveen, C., Roos, N., van der Krogt, R., & de Weerdt, M. (2005). Diagnosis of single and multi-agent plans. In AAMAS 2005, pp. 805–812.
Acknowledgements
We thank the reviewers for their comments, which helped us to improve the paper. This research is supported by the Technology Foundation STW, applied science division of NWO and the technology programme of the Ministry of Economic Affairs (the Netherlands). Project DIT5780: Distributed Model Based Diagnosis and Repair.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
de Jonge, F., Roos, N. & Witteveen, C. Primary and secondary diagnosis of multi-agent plan execution. Auton Agent Multi-Agent Syst 18, 267–294 (2009). https://doi.org/10.1007/s10458-008-9045-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-008-9045-x