Skip to main content
SpringerLink
Log in

Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan

  • 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

Recent works foster the idea of engineering distributed situated systems by taking an aggregate stance: design and development are better conducted by abstracting away from individuals’ details, directly programming overall system behaviour instead. Concerns like interaction protocols, self-organisation, adaptation, and large-scaleness, are automatically hidden under the hood of the platform supporting aggregate programming. This paper aims at bridging the apparently significant gap between this idea and agent autonomy, paving the way towards an aggregate computing approach for multi-agent systems. Specifically, we introduce and analyse the idea of “aggregate plan”: a collective plan to be played by a dynamic team of cooperating agents.

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

Access this chapter

Log in via an institution
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. Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1) (2009)

    Google Scholar 

  2. Beal, J., Dulman, S., Usbeck, K., Viroli, M., Correll, N.: Organizing the aggregate: languages for spatial computing. In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chap. 16, pp. 436–501. IGI Global (2013). http://arxiv.org/abs/1202.5509

  3. Beal, J., Pianini, D., Viroli, M.: Aggregate programming for the internet of things. IEEE Computer (2015)

    Google Scholar 

  4. Beal, J., Viroli, M.: Building blocks for aggregate programming of self-organising applications. In: IEEE Workshop on Foundations of Complex Adaptive Systems (FOCAS) (2014)

    Google Scholar 

  5. Beal, J., Viroli, M.: Space–time programming. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 373(2046) (2015)

    Google Scholar 

  6. Bellifemine, F.L., Poggi, A., Rimassa, G.: Developing multi-agent systems with JADE. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, p. 89. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. 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 

  8. Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Nov. 1987

    Google Scholar 

  9. Castelfranchi, C., Pezzulo, G., Tummolini, L.: Behavioral implicit communication (BIC): Communicating with smart environments via our practical behavior and its traces. International Journal of Ambient Computing and Intelligence 2(1), 1–12 (2010)

    Article  Google Scholar 

  10. Damiani, F., Viroli, M., Pianini, D., Beal, J.: Code mobility meets self-organisation: a higher-order calculus of computational fields. In: Graf, S., Viswanathan, M. (eds.) Formal Techniques for Distributed Objects, Components, and Systems. LNCS, vol. 9039, pp. 113–128. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  11. Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Communications of the ACM 51(1), 107–113 (2008)

    Article  Google Scholar 

  12. Elhage, N., Beal, J.: Laplacian-based consensus on spatial computers. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 907–914. IFAAMAS (2010)

    Google Scholar 

  13. Fernandez-Marquez, J.L., Serugendo, G.D.M., Montagna, S., Viroli, M., Arcos, J.L.: Description and composition of bio-inspired design patterns: a complete overview. Natural Computing 12(1), 43–67 (2013)

    Article  MathSciNet  Google Scholar 

  14. Gardelli, L., Viroli, M., Casadei, M., Omicini, A.: Designing self-organising environments with agents and artefacts: A simulation-driven approach. International Journal of Agent-Oriented Software Engineering 2(2), 171–195 (2008)

    Article  Google Scholar 

  15. Grosz, B.J., Hunsberger, L., Kraus, S.: Planning and acting together. AI Magazine 20(4), 23–34 (1999)

    Google Scholar 

  16. Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86(2), 269–357 (1996)

    Article  MathSciNet  Google Scholar 

  17. Kaelbling, L.P., Littman, M.L., Cassandra, A.R.: Planning and acting in partially observable stochastic domains. Artif. Intell. 101(1–2), 99–134 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  18. Kalia, A.K., Singh, M.P.: Muon: designing multiagent communication protocols from interaction scenarios. Autonomous Agents and Multi-Agent Systems 29(4), 621–657 (2015)

    Article  Google Scholar 

  19. Lesser, V., Decker, K., Wagner, T., Carver, N., Garvey, A., Horling, B., Neiman, D., Podorozhny, R., Prasad, M., Raja, A., Vincent, R., Xuan, P., Zhang, X.: Evolution of the GPGP/TAEMS domain-independent coordination framework. Autonomous Agents and Multi-Agent Systems 9(1–2), 87–143 (2004)

    Article  Google Scholar 

  20. Levesque, H.J., Cohen, P.R., Nunes, J.H.T.: On acting together. In: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI 1990, vol. 1, pp. 94–99. AAAI Press (1990)

    Google Scholar 

  21. Madden, S.R., Szewczyk, R., Franklin, M.J., Culler, D.: Supporting aggregate queries over ad-hoc wireless sensor networks. In: Workshop on Mobile Computing and Systems Applications (2002)

    Google Scholar 

  22. Mallyak, A.U., Singh, M.P.: An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems 14(2), 143–163 (2007)

    Article  Google Scholar 

  23. Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. on Software Engineering Methodologies 18(4), 1–56 (2009)

    Article  Google Scholar 

  24. MIT Proto. http://proto.bbn.com/ (retrieved on January 1, 2012)

  25. Nagpal, R.: Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics. Ph.D. thesis, MIT (2001)

    Google Scholar 

  26. Omicini, A., Ossowski, S.: Objective versus subjective coordination in the engineering of agent systems. In: Klusch, M., Bergamaschi, S., Edwards, P., Petta, P. (eds.) Intelligent Information Agents. LNCS (LNAI), vol. 2586, pp. 179–202. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  27. Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3), June 2008

    Google Scholar 

  28. Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with Alchemist. Journal of Simulation (2013)

    Google Scholar 

  29. Pianini, D., Viroli, M., Beal, J.: Protelis: Practical aggregate programming. In: Proceedings of ACM SAC 2015, pp. 1846–1853. ACM, Salamanca, Spain, (2015)

    Google Scholar 

  30. Ricci, A., Omicini, A., Viroli, M., Gardelli, L., Oliva, E.: Cognitive stigmergy: towards a framework based on agents and artifacts. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 124–140. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  31. Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  32. Stevenson, G., Ye, J., Dobson, S., Pianini, D., Montagna, S., Viroli, M.: Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks. In: ACM SAC, pp. 1369–1376. ACM (2013)

    Google Scholar 

  33. Tambe, M.: Towards flexible teamwork. J. Artif. Int. Res. 7(1), 83–124 (1997)

    Google Scholar 

  34. Taylor, M.E., Jain, M., Kiekintveld, C., Kwak, J., Yang, R., Yin, Z., Tambe, M.: Two decades of multiagent teamwork research: past, present, and future. In: Guttmann, C., Dignum, F., Georgeff, M. (eds.) CARE 2009 / 2010. LNCS, vol. 6066, pp. 137–151. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  35. Viroli, M., Beal, J., Damiani, F., Pianini, D.: Efficient engineering of complex self-organising systems by self-stabilising fields. In: IEEE Conference on Self-Adaptive and Self-Organising Systems (SASO 2015) (2015)

    Google Scholar 

  36. Viroli, M., Casadei, M., Omicini, A.: A framework for modelling and implementing self-organising coordination. In: Proceedings of ACM SAC 2009, volume III, pp. 1353–1360. ACM, March 8–2, 2009

    Google Scholar 

  37. Viroli, M., Pianini, D., Montagna, S., Stevenson, G., Zambonelli, F.: A coordination model of pervasive service ecosystems. Science of Computer Programming, June 18, 2015

    Google Scholar 

  38. Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. Autonomous Agents and Multi-Agent Systems 14(1), 5–30 (2007)

    Article  Google Scholar 

  39. Zambonelli, F., Viroli, M.: A survey on nature-inspired metaphors for pervasive service ecosystems. International Journal of Pervasive Computing and Communications 7(3), 186–204 (2011)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bologna, Bologna, Italy

    Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti & Angelo Croatti

Authors
  1. Mirko Viroli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Danilo Pianini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alessandro Ricci
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Pietro Brunetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Angelo Croatti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mirko Viroli .

Editor information

Editors and Affiliations

  1. Jinan University, Guangzhou, China

    Qingliang Chen

  2. Università di Bologna, Bologna, Italy

    Paolo Torroni

  3. Inria - Sophia Antipolis-Méditerran, Sophia Antipolis, France

    Serena Villata

  4. National Taiwan University, Taipei, Taiwan

    Jane Hsu

  5. Università di Bologna, Bologna, Italy

    Andrea Omicini

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Viroli, M., Pianini, D., Ricci, A., Brunetti, P., Croatti, A. (2015). Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan. 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_4

Download citation

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

  • 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

Search

Navigation