Abstract
We propose a diagnosis procedure that agents can use to explain exceptions to contract executions. Contracts are expressed by social commitments associated with temporal constraints. The procedure reasons from the relations among such commitments, and returns one amongst different possible mismatches that may have caused an exception. In particular, we consider two possibilities: misalignment, when two agents have two different views of the same commitment, and misbehavior, when there is no misalignment, but a debtor agent fails to oblige. We also provide a realignment policy that can be applied in case of a misalignment. Our formalization uses a reactive form of Event Calculus. We illustrate the workings of our approach by discussing a delivery process from e-commerce as a case study.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. 9(4), Article 29, 43 pp. (2008). doi:10.1145/1380572.1380578
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983)
Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Dupré, D.T.: Enhancing Web services with diagnostic capabilities. In: Proc. 2005 IEEE International Conference on Web Services (ICWS 2005), pp. 182–191. IEEE Computer Society (2005)
Baldoni, M., Baroglio, C., Marengo, E.: Behavior-oriented Commitment-based Protocols. In: Proc. 19th ECAI. IOS Press (2010)
Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P.: Reactive Event Calculus for monitoring global computing applications. In: Essays in Honour of Marek Sergot: Computational Logic for Normative Systems. LNCS, Springer-Verlag (2012)
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agent. Multi-Ag. 8, 203–236 (2004)
Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artif. Intell. 49(1–3), 25–60 (1991)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Proc. 21st IJCAI, pp. 91–96 (2009)
Chesani, F., Mello, P., Montali, M., Torroni, P.: A REC-based commitment tracking tool. System demonstration. In: Proc. 10th WOA (2009). http://cmt.math.unipr.it/woa09/papers/Chesani_Demo.pdf
Chesani, F., Mello, P., Montali, M., Torroni, P.: Monitoring time-aware social commitments with reactive event calculus. In: Proc. 7th International Symposium “From Agent Theory to Agent Implementation” (AT2AI-7), pp. 447–452 (2010)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Role monitoring in open agent societies. In: Proc. 4th KES-AMSTA, Part I. LNCS, vol. 6070, pp. 112–121. Springer-Verlag (2010)
Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. 28(1–4), 47–106 (2000)
Chopra, A.K.: Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD Dissertation, NCSU (2009)
Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about agents and protocols via goals and commitments. In: Proc. 9th AAMAS, pp. 457–464 (2010)
Chopra, A.K., Singh, M.P.: Producing compliant interactions: Conformance, coverage, and interoperability. In: Proc. 4th DALT. LNCS, vol. 4327, pp. 1–15. Springer-Verlag (2006)
Chopra, A.K., Singh, M.P.: Constitutive interoperability. In: Proc. 7th AAMAS, pp. 797–804 (2008)
Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proc. 8th AAMAS, pp. 937–944 (2009)
Console, L., Dressler, O.: Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Proc. 16th IJCAI, pp. 1393–1400 (1999)
Console, L., Dupré, D.T., Torasso, P.: Towards the integration of different knowledge sources in model-based diagnosis. In: Proc. 2nd AI*IA. LNCS, vol. 549, pp. 177–186. Springer-Verlag (1991)
Dellarocas, C., Klein, M., Rodríguez-Aguilar, J.A.: An exception-handling architecture for open electronic marketplaces of contract net software agents. In: Proc. 2nd EC, pp. 225–232. ACM (2000)
Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Processes = protocols + policies: a methodology for business process development. Tech. Rep., NC State University, TR2004-34 (2004)
Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: Proc. 22nd AAAI, pp. 1328–1333 (2007)
Fornara, N., Colombetti, M.: Defining interaction protocols using a commitment-based agent communication language. In: Proc. 2nd AAMAS, pp. 520–527 (2003)
Giordano, L., Martelli, A.: Verifying agents’ conformance with multiparty protocols. In: Proc. CLIMA IX. LNCS, vol. 5405, pp. 17–36. Springer-Verlag (2009)
Horling, B., Benyo, B., Lesser, V.R.: Using self-diagnosis to adapt organizational structures. In: Proc. 5th Autonomous Agents, pp. 529–536. ACM (2001)
Jennings, N.R., Faratin, P., Norman, T.J., O’Brien, P., Odgers, B.: Autonomous agents for business process management. Appl. Artif. Intell. 14(2), 145–189 (2000)
Kafali, Ö., Torroni, P.: Social commitment delegation and monitoring. In: Proc. CLIMA XII. LNCS, vol. 6814, pp. 171–189. Springer-Verlag (2011)
Kafalı, Ö., Yolum, P.: Detecting exceptions in commitment protocols: Discovering hidden states. In: Proc. 2nd LADS. LNCS, vol. 6039, pp. 112-127, Springer-Verlag (2009)
Kalech, M., Kaminka, G.A.: On the design of social diagnosis algorithms for multi-agent teams. In: Proc. 18th IJCAI, pp. 370–375 (2003)
Kalech, M., Kaminka, G.A.: Towards model-based diagnosis of coordination failures. In: Proc. 20th AAAI, pp. 102–107 (2005)
Kaminka, G.A., Tambe, M.: Robust agent teams via socially-attentive monitoring. J. Artif. Intell. Res. 12, 105–147 (2000)
Klein, M., Rodriguez-Aguilar, J., Dellarocas, C.: Using domain-independent exception handling services to enable robust open multi-agent systems: the case of agent death. Auton. Agent. Multi-Ag. 7(1–2), 179–189 (2003)
Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Comput. Support. Coop. Work 9(3/4), 399–412 (2000)
Klein, M., Dellarocas, C.: A systematic repository of knowledge about handling exceptions in business processes. ASES Working Report. MIT (2000)
Kollingbaum, M., Norman, T.: A contract management framework for supervised interaction. In: UK Multi-Agent Systems (UKMAS) Annual Conference, Liverpool, UK (2002)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67–95 (1986)
Lamperti, G., Zanella, M.: Eden: An intelligent software environment for diagnosis of discrete-event systems. Appl. Intell., 18(1), 55–77 (2003). doi:10.1023/A:1020974704946
Lucas, P.J.F.: Analysis of notions of diagnosis. Artif. Intell. 105(1–2), 295–343 (1998)
Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Auton. Agent. Multi-Ag. 14(2), 143–163 (2007)
Micalizio, R., Torasso, P., Torta, G.: On-line monitoring and diagnosis of a team of service robots: a model-based approach. AI Commun. 19, 313–340 (2006)
Pencole, Y., Cordier, M.O., Roze, L.: Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In: IEEE Conference on Decision and Control, pp. 435–440 (2002)
Picardi, C., Bray, R., Cascio, F., Console, L., Dague, P., Millet, D., Rehfus, B., Struss, P., Vallée, C.: Idd: Integrating diagnosis in the design of automotive systems. In: Proc. 15th ECAI, pp. 628–632. IOS Press (2002)
van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in agent systems: a unifying framework. In: Proc. 7th AAMAS, pp. 713–720 (2008)
Roos, N., Witteveen, C.: Models and methods for plan diagnosis. Auton. Agent. Multi-Ag. 19(1), 30–52 (2009)
Schroeder, M., Schweimeier, R.: Arguments and misunderstandings: fuzzy unification for negotiating agents. Electr. Notes Theor. Comput. Sci. 70(5), 1–19 (2002)
Singh, M.P.: Agent communication languages: rethinking the principles. IEEE Comput. 31, 40–47 (1998)
Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artif. Intell. Law 7, 97–113 (1999)
Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: satisfied or compensated. In: Proc. 7th DALT. LNCS, vol. 5948, pp. 228–243. Springer-Verlag (2009)
Torroni, P., Chesani, F., Mello, P., Montali, M.: A retrospective on the reactive event calculus and commitment modeling language. In: Proc. 9th DALT. LNCS, vol. 7169, pp. 120–127. Springer-Verlag (2012)
Torroni, P., Yolum, P., Singh, M.P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations. In: Handbook of Research on Multi-Agent Systems: semantics and Dynamics of Organizational Models, pp. 263–284. IGI Global (2009)
Witteveen, C., Roos, N., van der Krogt, R., de Weerdt, M.: Diagnosis of single and multi-agent plans. In: Proc. 4th AAMAS, pp. 805–812. ACM (2005)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proc. 1st AAMAS, pp. 527–534 (2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kafalı, Ö., Torroni, P. Exception diagnosis in multiagent contract executions. Ann Math Artif Intell 64, 73–107 (2012). https://doi.org/10.1007/s10472-012-9282-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-012-9282-1