Abstract
This work concerns the challenge of computational accountability in a multiagent setting where agents interact inside organizations. We illustrate the requirements to realize accountability with the help of a scenario. Then, we provide a characterization of computational accountability in terms of a few general principles. We introduce and explain the ADOPT accountability protocol and show how it satisfies these principles with the help of model checking.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
In the present proposal accountability is crisp and either holds or does not hold.
References
Baldoni, M., Baroglio, C., Capuzzimati, F.: A commitment-based infrastructure for programming socio-technical systems. ACM Trans. Internet Technol. 14(4), 23:1–23:23 (2014)
Baldoni, M., Baroglio, C., Capuzzimati, F., Micalizio, R.: Commitment-based agent interaction in JaCaMo+. Fundamenta Informaticae (2017, to appear). http://www.di.unito.it/~argo/papers/2017_FundamentaInformaticae.pdf
Baldoni, M., Baroglio, C., May, K.M., Micalizio, R., Tedeschi, S.: Computational accountability. In: Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016. CEUR Workshop Proceedings, vol. 1802, pp. 56–62. CEUR-WS.org (2017)
Baldoni, M., Boella, G., van der Torre, L.W.N.: Interaction between objects in powerJava. J. Object Technol. 6(2), 5–30 (2007)
Boella, G., van der Torre, L.: The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles. Artif. Intell. Law 15, 201–221 (2007)
Boissier, O., Bordini, R.H., Hübner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. Sci. Comput. Program. 78(6), 747–761 (2013)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason, vol. 8. Wiley, Hoboken (2007)
Bovens, M., Goodin, R.E., Schillemans, T. (eds.): The Oxford Handbook of Public Accountability. Oxford University Press, Oxford (2014)
Braham, M., van Hees, M.: An anatomy of moral responsibility. Mind 121(483), 601–634 (2012)
Burgemeestre, B., Hulstijn, J.: Design for the values of accountability and transparency: a value-based argumentation approach. In: van den Hoven, J., Vermaas, P.E., van de Poel, I. (eds.) Handbook of Ethics, Values, and Technological Design: Sources, Theory Values and Application Domains. Springer, Netherlands (2015). doi:10.1007/978-94-007-6994-6_12-1
Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: ICMAS, pp. 41–48. The MIT Press (1995)
Chopra, A.K., Singh, M.P.: The thing itself speaks: accountability as a foundation for requirements in sociotechnical systems. In: IEEE 7th International Workshop RELAW, p. 22. IEEE Computer Society (2014)
Conte, R., Paolucci, M.: Responsibility for societies of agents. J. Artif. Soc. Soc. Simul. 7(4) (2004). http://jasss.soc.surrey.ac.uk/7/4/3.html
Vass, D.E.: The Causal Power of Social Structures: Emergence Structure and Agency. Cambridge Univ Press, Cambridge (2010)
Frankfurt, H.G.: Alternate possibilities and moral responsibility. J. Philos. 66(23), 829–839 (1969)
Guarino, N., Welty, C.: Evaluating ontological decisions with OntoClean. Commun. ACM 45(2), 61–65 (2002)
Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 23(1), 16–59 (1913)
Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Auton. Agent. Multi Agent Syst. 20(3), 369–400 (2010)
Hubner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels. Int. J. Agent Oriented Softw. Eng. 1(3/4), 370–395 (2007)
Micalizio, R., Torasso, P.: Agent cooperation for monitoring and diagnosing a MAP. In: Braubach, L., Hoek, W., Petta, P., Pokahr, A. (eds.) MATES 2009. LNCS (LNAI), vol. 5774, pp. 66–78. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04143-3_7
Micalizio, R., Torasso, P.: Cooperative monitoring to diagnose multiagent plans. J. Artif. Intell. Res. 51, 1–70 (2014)
Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment programming in CArtAgO. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R. (eds.) Multi-Agent Programming, pp. 259–288. Springer, Boston (2009). doi:10.1007/978-0-387-89299-3_8
Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law 7(1), 97–113 (1999)
Acknowledgments
This work was partially supported by the Accountable Trustworthy Organizations and Systems (AThOS) project, funded by Università degli Studi di Torino and Compagnia di San Paolo (CSP 2014). The authors warmly thank the reviewers for their constructive and helpful comments which helped revising the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Baldoni, M., Baroglio, C., May, K.M., Micalizio, R., Tedeschi, S. (2017). ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo. In: An, B., Bazzan, A., Leite, J., Villata, S., van der Torre, L. (eds) PRIMA 2017: Principles and Practice of Multi-Agent Systems. PRIMA 2017. Lecture Notes in Computer Science(), vol 10621. Springer, Cham. https://doi.org/10.1007/978-3-319-69131-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-69131-2_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-69130-5
Online ISBN: 978-3-319-69131-2
eBook Packages: Computer ScienceComputer Science (R0)