Cooperative monitoring to diagnose multiagent plans

Journal of Artificial Intelligence Research

Volumn 51, Issue , 2014, Pages 1-70

  Micalizio, Roberto ^a   Torasso, Pietro ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MULTIAGENT PLANS;

EID: 84907540709     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.4339     Document Type: Article

References (47)

1. Arasu, A., Babu, S., & Widom, J. (2006). The CQL continuous query language: semantic foundations and query execution. The International Journal on Very Large Data Bases, 15 (2), 121-142.
2. Birnbaum, L., Collins, G., Freed, M., & Krulwich, B. (1990). Model-based diagnosis of planning failures. In Proc. of Association for the Advancement of Artificial Intelligence (AAAI'90), pp. 318-323.
3. Boutilier, C., & Brafman, R. I. (2001). Partial-order planning with concurrent interacting actions. Journal of Artificial Intelligence Research, 14, 105-136.
4. Brusoni, V., Console, L., Terenziani, P., & Theseider Dupré, D. (1998). A spectrum of definitions for temporal model based diagnosis. Artificial Intelligence, 102, 39-79.
5. Bryant, R. (1986). Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35 (8), 677-691.
6. Bryant, R. (1992). Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computer Surveys, 24, 293-318.
7. Cordier, M.-O., & Grastien, A. (2007). Exploiting independence in a decentralised and incremental approach of diagnosis. In Proc. of the International Joint Conference on Artifical Intelligence (IJCAI'07), pp. 292-297.
8. Cox, J. S., Durfee, E. H., & Bartold, T. (2005). A distributed framework for solving the multiagent plan coordination problem. In Proc. of International Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), pp. 821-827.
9. Darwiche, A., & Marquis, P. (2002). A knowledge compilation map. Journal of Artificial Intelligence Research, 17, 229-264.
10. de Jonge, F., Roos, N., & Witteveen, C. (2009). Primary and secondary diagnosis of multi-agent plan execution. Journal of Autonomous Agent and Multiagent Systems, 18 (2), 267-294.
11. Eiter, T., Erdem, E., Faber, W., & Senko, J. (2007). A logic-based approach to finding explanations for discrepancies in optimistic plan execution. Fundamenta Informaticae, 79 (1-2), 25-69.
12. Fox, M., & Long, D. (2003). PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20, 61-124.
13. Grastien, A., Anbulagan, Rintanen, J., & Kelareva, E. (2007). Diagnosis of discrete-event systems using satisfiability algorithms. In Proc. of Association for the Advancement of Artificial Intelligence (AAAI'07), pp. 305-310.
14. Grastien, A., Haslum, P., & Thiébaux, S. (2012). Conflict-based diagnosis of discrete event systems: Theory and practice. In Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pp. 489-499.
15. Gupta, S., Roos, N., Witteveen, C., Price, B., & de Kleer, J. (2012). Exploiting shared resource dependencies in spectrum based plan diagnosis. In Proc. of Association for the Advancement of Artificial Intelligence (AAAI'12), pp. 2425-2426.
16. Heger, F. W., Hiatt, L. M., Sellner, B., Simmons, R., & Singh, S. (2005). Results in Sliding Autonomy for Multi-Robot Spatial Assembly. In Proc. International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS).
17. Helmert, M. (2009). Concise finite-domain representations for PDDL planning tasks. Artificial Intelligence, 173 (5-6), 503-535.
18. Jonsson, P., & Bäckström, C. (1998). State-variable planning under structural restrictions: Algorithms and complexity. Artificial Intelligence, 100 (1-2), 125-176.
19. Kalech, M. (2012). Diagnosis of coordination failures: A matrix-based approach. Journal of Autonomous Agents and Multiagent Systems, 24 (1), 69-103.
20. Kalech, M., & Kaminka, G. A. (2003). On the design of social diagnosis algorithms for multi-agent teams. In Proc. International Joint Conference on Artificial Intelligence (IJCAI03), pp. 370-375.
21. Kalech, M., & Kaminka, G. A. (2005). Diagnosing a team of agents: Scaling up. In Proc. of International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS' 05), pp. 249-255.
22. Kalech, M., & Kaminka, G. A. (2007). On the design of coordination diagnosis algorithms for teams of situated agents. Artificial Intelligence, 171 (8-9), 491-513.
23. Kalech, M., & Kaminka, G. A. (2011). Coordination diagnostic algorithms for teams of situated agents: Scaling up. Computational Intelligence, 27 (3), 393-421.
24. Kalech, M., Kaminka, G. A., Meisels, A., & Elmaliach, Y. (2006). Diagnosis of multi-robot coordination failures using distributed CSP algorithms. In Proc. of Association for the Advancement of Artificial Intelligence (AAAI'06), pp. 970-975.
25. Kaminka, G. A., & Tambe, M. (2000). Robust multi-agent teams via socially-attentive monitoring. Journal of Artificial Intelligence Research, 12, 105-147.
26. Lamperti, G., & Zanella, M. (2002). Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence, 137 (1-2), 91-163.
27. Mi, P., & Scacchi, W. (1993). Articulation: an integrated approach to the diagnosis, replanning, and rescheduling of software process failures. In Proc. of Knowledge-Based Software Engineering Conference, pp. 77-84.
28. Micalizio, R. (2013). Action failure recovery via model-based diagnosis and conformant planning. Computational Intelligence, 29 (2), 233-280.
29. Micalizio, R., & Torasso, P. (2007a). On-line monitoring of plan execution: a distributed approach. Knowledge-Based Systems, 20 (2), 134-142.
30. Micalizio, R., & Torasso, P. (2007b). Plan diagnosis and agent diagnosis in multi-agent systems. In Proc. Congress of the Italian Association for Artificial Intelligence (AI∗IA'07), Vol. 4733 of LNCS, pp. 434-446.
31. Micalizio, R., & Torasso, P. (2008). Monitoring the execution of a multi-agent plan: Dealing with partial observability. In Proc. of European Conference on Artificial Intelligence (ECAI'08), pp. 408-412.
32. Micalizio, R., & Torasso, P. (2009). Agent cooperation for monitoring and diagnosing a MAP. In Proc. of Multiagent System Technologies (MATES'09), Vol. 5774 of LNCS, pp. 66-78.
33. Micalizio, R., Torasso, P., & Torta, G. (2006). On-line monitoring and diagnosis of a team of service robots: a model-based approach. AI Communications, 19 (4), 313-349.
34. Nebel, B. (2000). On the compilability and expressive power of propositional planning formalisms. Journal of Artificial Intelligence Research, 12, 271-315.
35. Pencolé, Y., & Cordier, M. (2005). A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 164, 121-170.
36. Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32 (1), 57-96.
37. Roos, N., & Witteveen, C. (2009). Models and methods for plan diagnosis. Journal of Autonomous Agent and Multiagent Systems, 19 (1), 30-52.
38. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., & Teneketzis, D. (1995). Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40 (9), 1555-1575.
39. Sellner, B., Heger, F., Hiatt, L., Simmons, R., & Singh, S. (2006). Coordinated multi-agent teams and sliding autonomy for large-scale assembly. IEEE - Special Issue on Multi-Robot Systems, 94 (7), 1425-1444.
40. Steinbauer, G., & Wotawa, F. (2008). Enhancing plan execution in dynamic domains using model-based reasoning. In Intelligent Robotics and Applications, First International Conference, (ICIRA'08), Vol. 5314 of LNAI, pp. 510-519.
41. Tambe,M. (1998). Implementing agent teams in dynamic multi-agent environments. Applied Artificial Intelligence, 12 (2-3), 189-210.
42. Torasso, P., & Torta, G. (2003). Computing minimum-cardinality diagnoses using OBDDs. In German Conference on AI (KI'03), Vol. 2821 of LNCS, pp. 224-238.
43. Torasso, P., & Torta, G. (2006). Model-based diagnosis through OBDD compilation: A complexity analysis. In Reasoning, Action and Interaction in AI Theories and Systems, Vol. 4155 of LNCS, pp. 280-298.
44. Torta, G., & Torasso, P. (2007). On the role of modeling causal independence for system model compilation with OBDDs. AI Communications, 20 (1), 17-26.
45. Weld, D. S. (1994). An introduction to least commitment planning. AI Magazine, 15 (4), 27-61.
46. Witteveen, C., Roos, N., van der Krogt, R., & de Weerdt, M. (2005). Diagnosis of single and multi-agent plans. In Proc. of International Conference on Autonomous Agents and Multiagent Systems (AAMAS'05), pp. 805-812.
47. Yan, Y., Dague, P., Pencolé, Y., & Cordier, M.-O. (2009). A model-based approach for diagnosing fault in web service processes. Journal of Web Service Research., 6 (1), 87-110.