Models and methods for plan diagnosis

Autonomous Agents and Multi-Agent Systems

Volumn 19, Issue 1, 2009, Pages 30-52

  Roos, Nico ^a   Witteveen, Cees ^b  

^a MAASTRICHT UNIVERSITY   (Netherlands)

^b Delft University of Technology   (Netherlands)

Author keywords

Complexity; Diagnosis; Multi agents; Planning

Indexed keywords

EID: 60349084528     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-007-9017-6     Document Type: Article

References (18)

1. Bertoli, P., Cimatti, A., Pistore, M., & Traverso, P. (2002). Plan validation for extended goals under partial observability (preliminary report). In Proceedings of the AIPS 2002 Workshop on Planning via Model Checking, pp. 14-22, Toulouse, France.
2. Birnbaum, L., Collins, G., Freed, M., & Krulwich, B. (1990). Model-based diagnosis of planning failures. In AAAI 90, pp. 318-323.
3. N. Carver V.R. Lesser 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
4. L. Console P. Torasso 1990 Hypothetical reasoning in causal models International Journal of Intelligence Systems 5 83 124
5. L. Console P. Torasso 1991 A spectrum of logical definitions of model-based diagnosis Computational Intelligence 7 133 141
6. Cox, J. S., Durfee, E. H., & Bartold, Th. (2005). A distributed framework for solving the multiagent plan coordination problem. In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 821-827, New York, NY, USA, 2005. ACM Press.
7. R. Debouk S. Lafortune D. Teneketzis 2000 Coordinated decentralized protocols for failure diagnosis of discrete-event systems Journal of Discrete Event Dynamical Systems: Theory and Application 10 33 86
8. Eiter, T., Erdem, E., & Faber, W. (2004). Diagnosing plan execution discrepancies in a logic-based action framework. Technical report INFSYS RR-1843-04-03, TU-Wien.
9. R.E. Fikes N. Nilsson 1971 Strips: A new approach to the application of theorem proving to problem solving Artificial Intelligence 5 189 208
10. Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., & Scott, D. S. (2003). Continuous Lattices and Domains. In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press.
11. 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.
12. R.M. Jensen M.M. Veloso 1999 OBDD-based universal planning: Specifying and solving planning problems for synchronized agents in non-deterministic domains Lecture Notes in Computer Science 1600 213 228
13. de Jonge, F., & Roos, N. (2004). Plan-execution health repair in a multi-agent system. In Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG 2004), pp. 33-44, Cork, Ireland.
14. Kalech, M., & Kaminka, G. A. (2003). On the design of social diagnosis algorithms for multi-agent teams. In IJCAI-03, pp. 370-375.
15. Kalech, M., & Kaminka, G. A. (2005). Diagnosing a team of agents: Scaling-up. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 249-255, ACM Press.
16. Pencolé, Y., Cordier, M., & Rozé, L. (2001). Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In Twelfth International Workshop on Principles of Diagnosis Crossed D sign DXÕ01. San Sicario, Italy, pp. 151-158.
17. R. Reiter 1987 A theory of diagnosis from first principles Artificial Intelligence 32 57 95
18. Witteveen, C., Roos, N., van der Krogt, R. P. J., & de Weerdt, M. M. (2005). Diagnosis of single and multi-agent plans. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 805-812, ACM Press.