Explaining interdependent action delays in multiagent plans execution

Autonomous Agents and Multi-Agent Systems

Volumn 30, Issue 4, 2016, Pages 601-639

  Micalizio, Roberto ^a   Torta, Gianluca ^a  

^a Dipartimento di Informatica   (Italy)

Author keywords

Multiagent plan; Qualitative probabilities; Temporal diagnosis

Indexed keywords

BAYESIAN NETWORKS;

MODEL BASED DIAGNOSIS; MULTIAGENT PLANS; PARTIAL OBSERVATION; PROBLEM DOMAIN; PROTOTYPE IMPLEMENTATIONS; REASONING METHODS;

MULTI AGENT SYSTEMS;

EID: 84928128440     PISSN: 13872532     EISSN: 15737454     Source Type: Journal    
DOI: 10.1007/s10458-015-9298-0     Document Type: Article

References (44)

1. Balduccini, M., & Gelfond, M. (2003). Diagnostic reasoning with a-prolog. Theory and Practice of Logic Programming, 3(4+ 5), 425–461.
2. Baral, C., McIlraith, S., & Son, T.C. (2000). Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of Principles of Knowledge Representation and Reasoning (KR’00), pp. 311–322.
3. Birnbaum, L., Collins, G., Freed, M., & Krulwich, B. (1990). Model-based diagnosis of planning failures. In Proceedings of association for the advancement of artificial intelligence (AAAI’90), pp. 318–323.
4. Bonita BPM Engine (2014). http://www.bonitasoft.com/.
5. Bylander, T., Allemang, D., Tanner, M. C., & Josephson, J. R. (1991). The computational complexity of abduction. Artificial Intelligence, 49(1–3), 25–60. doi:10.1016/0004-3702(91)90005-5.
6. de Kleer, J. (1990). Using crude probability estimates to guide diagnosis. Artificial Intelligence, 45(3), 381–391.
7. Dechter, R., & Pearl, J. (1989). Tree clustering for constraint networks. Artificial Intelligence, 38, 353–366.
8. Dechter, R., Meiri, I., & Pearl, J. (1991). Temporal constraint networks. Artificial Intelligence, 49, 61–95.
9. 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.
10. Goldszmidt, M., & Pearl, J. (1992). Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions. In Proceedings of Principles of Knowledge Representation and Reasoning (KR’92), pp. 661–672.
11. Goldszmidt, M., & Pearl, J. (1996). Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence, 84, 57–112.
12. Gupta, S., Roos, N., Witteveen, C., Price, B., & de Kleer, J. (2012). Exploiting shared resource dependencies in spectrum based plan diagnosis. In Proceedings of association for the advancement of artificial intelligence (AAAI’12), pp. 2425–2426.
13. Kalech, M. (2012). Diagnosis of coordination failures: A matrix-based approach. Journal of Autonomous Agents and Multiagent Systems, 24(1), 69–103.
14. 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.
15. Kalech, M., Linder, M., & Kaminka, G. A. (2007). Matrix-based representation for coordination fault detection: a formal approach. In Proceedings of international conference on autonomous agents and multiagent systems (AAMAS’07), pp. 504–511.
16. Khatib, L., Morris, P. H., Morris, R. A., & Rossi, F. (2001). Temporal constraint reasoning with preferences. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI’01), pp. 322–327.
17. Mans, R. S., Russell, N. C., van der Aalst, W. M., Moleman, A. J., & Bakker, P. J. (2010). Schedule-aware workflow management systems. Transactions on Petri nets and other models of concurrency IV (pp. 121–143). Berlin: Springer.
18. Mentzer, J. T., DeWitt, W., Keebler, J. S., Min, S., Nix, N. W., Smith, C. D., et al. (2001). Defining supply chain management. Journal of Business Logistics, 22(2), 1–25.
19. Mi, P., & Scacchi, W. (1993). Articulation: an integrated approach to the diagnosis, replanning, and rescheduling of software process failures. In Proceedings of knowledge-based software engineering conference, pp. 77–84.
20. Micalizio, R. (2013). Action failure recovery via model-based diagnosis and conformant planning. Computational Intelligence, 29(2), 233–280.
21. Micalizio, R., & Torasso, P. (2008). Monitoring the execution of a multi-agent plan:dealing with partial observability. In Proceedings of European conference on artificial intelligence (ECAI’08), pp. 408–412.
22. Micalizio, R., & Torta, G. (2012). Diagnosing delays in multi-agent plans execution. In Proceedings of European conference on artificial intelligence (ECAI’12), pp. 594–599.
23. Micalizio, R., & Torta, G. (2013). Diagnosing dependent action delays in temporal multiagent plans. In SGAI conference, pp. 157–171.
24. Micalizio, R., & Torasso, P. (2014). Cooperative monitoring to diagnose multiagent plans. Journal of Artificial Intelligence Research, 51, 1–70.
25. Miltenburg, J. (1989). Level schedules for mixed-model assembly lines in just-in-time production systems. Management Science, 35(2), 192–207. doi:10.1287/mnsc.35.2.192.
26. Moffitt, M. D. (2011). On the modelling and optimization of preferences in constraint-based temporal reasoning. Artificial Intelligence, 175(7–8), 1390–1409.
27. Object Management Group (OMG): Business process model and notation (2014). http://www.bpmn.org/.
28. Papadimitriou, C. H., & Steiglitz, K. (1982). Combinatorial optimization: Algorithms and complexity. Upper Saddle River, NJ: Prentice-Hall Inc.
29. Park, J., & Darwiche, A. (2004). Complexity results and approximation strategies for map explanations. Journal of Artificial Intelligence Research, 21, 101–133.
30. Peintner, B., & Pollack, M. E. (2004). Low-cost addition of preferences to DTPs and TCSPs. In Proceedings of association for the advancement of artificial intelligence (AAAI’04), pp. 723–728.
31. Peintner, B., Moffitt, M. D., & Pollack, M. E. (2005). Solving over-constrained disjunctive temporal problems with preferences. In Proceedings of International Conference on Automated Planning and Scheduling (ICAPS’05), pp. 202–211.
32. Pietersma, J., & van Gemund, A. J. C. (2007). Symbolic factorization of propagation delays out of diagnostic system models. In Proceeding of international workshop on principles of diagnosis (DX’07), pp. 170–177.
33. Rademakers, T., Barrez, J., & Winlof, E. (2014). Activiti BPM platform. http://activiti.org.
34. Raiman, O. (1991). Order of magnitude reasoning. Artificial intelligence, 51(1), 11–38.
35. Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 57–96.
36. Roos, N. (2011). Maximal-confirmation diagnoses. Knowledge-Based Systems, 24(4), 467–477.
37. Roos, N., & Witteveen, C. (2008). Diagnosis of simple temporal networks. In Proceedings of European conference on artificial intelligence (ECAI’08), pp. 593–597.
38. Roos, N., & Witteveen, C. (2009). Models and methods for plan diagnosis. Journal of Autonomous Agent and Multiagent Systems, 19(1), 30–52.
39. Scholl, A., & Scholl, A. (1999). Balancing and sequencing of assembly lines. Heidelberg: Physica.
40. Senkul, P., & Toroslu, I. H. (2005). An architecture for workflow scheduling under resource allocation constraints. Information Systems, 30(5), 399–422.
41. Siek, J., Lie-Quan, L., & Lumsdaine, A. (2014). Boost graph library. http://www.boost.org.
42. Stergiou, K., & Koubarakis, M. (2000). Backtracking algorithms for disjunctions of temporal constraints. Artificial Intelligence, 120(1), 81–117.
43. Tan, K. C. (2001). A framework of supply chain management literature. European Journal of Purchasing & Supply Management, 7(1), 39–48.
44. Witteveen, C., Roos, N., van der Krogt, R., & de Weerdt, M. (2005). Diagnosis of single and multi-agent plans. In Proceedings of international conference on autonomous agents and multiagent systems (AAMAS’05), pp. 805–812.