Skip to main content

Exploiting Social Commitments in Programming Agent Interaction

  • Conference paper
  • First Online:
PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9387))

Abstract

Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the agents. The proposal is implemented via JaCaMo+, an extension of JaCaMo, in which Jason agents can interact, while preserving their deliberative capabilities, by exploiting commitment-based protocols, reified by special CArtAgO artifacts.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baldoni, M., Baroglio, C., Capuzzimati, F.: Typing multi-agent systems via commitments. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS, vol. 8758, pp. 388–405. Springer, Heidelberg (2014)

    Google Scholar 

  2. Baldoni, M., Baroglio, C., Capuzzimati, F., Micalizio, R.: Empowering agent coordination with social engagement. In: Proc. of XIV Int. Conf. of the Italian Association for Artificial Intelligence (2015) (to appear)

    Google Scholar 

  3. Baldoni, M., Baroglio, C., Chopra, A.K., Singh, M.P.: Composing and verifying commitment-based multiagent protocols. In: Proc. of 24th Int. Joint Conference on Artificial Intelligence, IJCAI 2015 (2015)

    Google Scholar 

  4. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons (2007)

    Google Scholar 

  5. Boissier, O., Bordini, R.H., Hübner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with JaCaMo. Science of Computer Programming 78(6), 747–761 (2013)

    Article  Google Scholar 

  6. Boissier, O., Hübner, J.F., Ricci, A., Sichman, J.S.: Multi-agent oriented programming, 2015. Tutorial at AAMAS 2015 (2015)

    Google Scholar 

  7. Bordini, R.H., Hübner, J.F., Tralamazza, D.M.: Using Jason to implement a team of gold miners. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 304–313. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons (2007)

    Google Scholar 

  9. Chesani, F., Mello, P., Montali, M., Torroni, P.: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems 27(1), 85–130 (2013)

    Article  Google Scholar 

  10. Chopra, A.K., Singh, M.P.: Cupid: commitments in relational algebra. In: Proc. of the 29th AAAI Conf., pp. 2052–2059. AAAI Press (2015)

    Google Scholar 

  11. Criado, N., Argente, E., Noriega, P., Botti, V.: Reasoning about constitutive norms in BDI agents. Logic Journal of IGPL 22(1), 66–93 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  12. Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS, vol. 5605, pp. 16–31. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Demazeau, Y.: From interactions to collective behaviour in agent-based systems. In: Proc. of the 1st. European Conf. on Cognitive Science, Saint-Malo (1995)

    Google Scholar 

  14. Hammer, F., Derakhshan, A., Demazeau, Y., Lund, H.H.: A multi-agent approach to social human behaviour in children’s play. In: Proc. of the IEEE/WIC/ACM Int. conf. on Intelligent Agent Tech. IEEE Comp. Soc. (2006)

    Google Scholar 

  15. Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: AAMAS, vol. 1, pp. 177–184. IFAAMAS (2009)

    Google Scholar 

  16. Meneguzzi, F., Telang, P.R., Singh, M.P.: A first-order formalization of commitments and goals for planning. In: AAAI. AAAI Press (2013)

    Google Scholar 

  17. Montali, M., Calvanese, D., De Giacomo, G.: Verification of data-aware commitment-based multiagent system. In: Proc. of AAMAS, pp. 157–164. IFAAMAS/ACM (2014)

    Google Scholar 

  18. Okouya, D., Fornara, N., Colombetti, M.: An infrastructure for the design and development of open interaction systems. In: Winikoff, M. (ed.) EMAS 2013. LNCS, vol. 8245, pp. 215–234. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  19. Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. JAAMAS 17(3), 432–456 (2008)

    Google Scholar 

  20. Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law 7(1), 97–113 (1999)

    Article  MathSciNet  Google Scholar 

  21. Singh, M.P.: Commitments in multiagent systems some controversies, some prospects. In: The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, chapter 31, pp. 601–626. College Publications, London (2011)

    Google Scholar 

  22. Telang, P.R., Singh, M.P., Yorke-Smith, N.: Relating goal and commitment semantics. In: Dennis, L., Boissier, O., Bordini, R.H. (eds.) ProMAS 2011. LNCS, vol. 7217, pp. 22–37. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  23. Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. JAAMAS 14(1), 5–30 (2007)

    Google Scholar 

  24. Yolum, I., Singh, M.P.: Commitment Machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235–247. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  25. Zatelli, M.R., Hübner, J.F.: The interaction as an integration component for the JaCaMo platform. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS, vol. 8758, pp. 431–450. Springer, Heidelberg (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matteo Baldoni .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Baldoni, M., Baroglio, C., Capuzzimati, F., Micalizio, R. (2015). Exploiting Social Commitments in Programming Agent Interaction. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds) PRIMA 2015: Principles and Practice of Multi-Agent Systems. PRIMA 2015. Lecture Notes in Computer Science(), vol 9387. Springer, Cham. https://doi.org/10.1007/978-3-319-25524-8_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25524-8_39

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25523-1

  • Online ISBN: 978-3-319-25524-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics