Skip to main content

2017 | OriginalPaper | Buchkapitel

ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo

verfasst von : Matteo Baldoni, Cristina Baroglio, Katherine M. May, Roberto Micalizio, Stefano Tedeschi

Erschienen in: PRIMA 2017: Principles and Practice of Multi-Agent Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In the present proposal accountability is crisp and either holds or does not hold.
 
Literatur
1.
Zurück zum Zitat 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)CrossRef 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)CrossRef
3.
Zurück zum Zitat 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., 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)
4.
Zurück zum Zitat Baldoni, M., Boella, G., van der Torre, L.W.N.: Interaction between objects in powerJava. J. Object Technol. 6(2), 5–30 (2007)CrossRef Baldoni, M., Boella, G., van der Torre, L.W.N.: Interaction between objects in powerJava. J. Object Technol. 6(2), 5–30 (2007)CrossRef
5.
Zurück zum Zitat 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)CrossRef 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)CrossRef
6.
Zurück zum Zitat 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)CrossRef 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)CrossRef
7.
Zurück zum Zitat Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason, vol. 8. Wiley, Hoboken (2007)CrossRefMATH Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason, vol. 8. Wiley, Hoboken (2007)CrossRefMATH
8.
Zurück zum Zitat Bovens, M., Goodin, R.E., Schillemans, T. (eds.): The Oxford Handbook of Public Accountability. Oxford University Press, Oxford (2014) Bovens, M., Goodin, R.E., Schillemans, T. (eds.): The Oxford Handbook of Public Accountability. Oxford University Press, Oxford (2014)
9.
Zurück zum Zitat Braham, M., van Hees, M.: An anatomy of moral responsibility. Mind 121(483), 601–634 (2012)CrossRef Braham, M., van Hees, M.: An anatomy of moral responsibility. Mind 121(483), 601–634 (2012)CrossRef
10.
Zurück zum Zitat 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 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
11.
Zurück zum Zitat Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: ICMAS, pp. 41–48. The MIT Press (1995) Castelfranchi, C.: Commitments: from individual intentions to groups and organizations. In: ICMAS, pp. 41–48. The MIT Press (1995)
12.
Zurück zum Zitat 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) 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)
14.
Zurück zum Zitat Vass, D.E.: The Causal Power of Social Structures: Emergence Structure and Agency. Cambridge Univ Press, Cambridge (2010)CrossRef Vass, D.E.: The Causal Power of Social Structures: Emergence Structure and Agency. Cambridge Univ Press, Cambridge (2010)CrossRef
15.
Zurück zum Zitat Frankfurt, H.G.: Alternate possibilities and moral responsibility. J. Philos. 66(23), 829–839 (1969)CrossRef Frankfurt, H.G.: Alternate possibilities and moral responsibility. J. Philos. 66(23), 829–839 (1969)CrossRef
16.
Zurück zum Zitat Guarino, N., Welty, C.: Evaluating ontological decisions with OntoClean. Commun. ACM 45(2), 61–65 (2002)CrossRef Guarino, N., Welty, C.: Evaluating ontological decisions with OntoClean. Commun. ACM 45(2), 61–65 (2002)CrossRef
17.
Zurück zum Zitat Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 23(1), 16–59 (1913)CrossRef Hohfeld, W.N.: Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J. 23(1), 16–59 (1913)CrossRef
18.
Zurück zum Zitat 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)CrossRef 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)CrossRef
19.
Zurück zum Zitat 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)CrossRef 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)CrossRef
20.
Zurück zum Zitat 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 CrossRef 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 CrossRef
21.
Zurück zum Zitat Micalizio, R., Torasso, P.: Cooperative monitoring to diagnose multiagent plans. J. Artif. Intell. Res. 51, 1–70 (2014)MathSciNetMATH Micalizio, R., Torasso, P.: Cooperative monitoring to diagnose multiagent plans. J. Artif. Intell. Res. 51, 1–70 (2014)MathSciNetMATH
22.
Zurück zum Zitat 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 CrossRef 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 CrossRef
23.
Metadaten
Titel
ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo
verfasst von
Matteo Baldoni
Cristina Baroglio
Katherine M. May
Roberto Micalizio
Stefano Tedeschi
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-69131-2_18