Skip to main content
SpringerLink
Log in

A Common Basis for Agent Organisation in BDI Languages

  • Conference paper
Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS 2007)

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

Abstract

Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, when we come to multi-agent organisations, not only do many BDI languages have no specific organisational structures, but those that do exist are very diverse. In this paper, we aim to provide a unifying framework for the core aspects of agent organisation, covering groups, teams and roles, as well as organisations. Thus, we describe a simple organisational mechanism, and show how several well known approaches can be embedded within it. Although the mechanism we use is derived from the MetateM programming language, we do not assume any specific BDI language. The organisational mechanism is intended to be independent of the underlying agent language and so we aim to provide a common core for future developments in agent organisation.

Work partially supported by EPSRC under grant EP/D052548.

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. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press (1996)

    Google Scholar 

  2. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  3. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Chichester (2007)

    MATH  Google Scholar 

  4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-Agent Programs by Model Checking. Journal of Autonomous Agents and Multi-Agent Systems 12(2), 239–256 (2006)

    Article  Google Scholar 

  5. Cavedon, L., Rao, A.S., Tidhar, G.: Social and Individual Commitment. In: Cavedon, L., Wobcke, W., Rao, A. (eds.) PRICAI-WS 1996. LNCS, vol. 1209, pp. 152–163. Springer, Heidelberg (1997)

    Google Scholar 

  6. Cohen, P.R., Levesque, H.J.: Intention is Choice with Commitment. Artificial Intelligence 42(2-3), 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  7. Cohen, P.R., Levesque, H.J.: Confirmations and Joint Action. In: Proc. International Joint Conference on Artificial Intelligence (IJCAI), pp. 951–959. Elsevier, Amsterdam (1991)

    Google Scholar 

  8. Cohen, P.R., Levesque, H.J.: Teamwork. Technical Report 504, SRI International, California, USA (1991)

    Google Scholar 

  9. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantic Basis for BDI Languages. In: Dastani, M., et al. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 124–139. Springer, Heidelberg (2008)

    Google Scholar 

  10. Dennis, L.A., Fisher, M., Hepple, A.: Language Constructs for Multi-Agent Programming. In: Sadri, F., Saton, K. (eds.) CLIMA 2007. LNCS (LNAI), vol. 5056. Springer, Heidelberg (2008)

    Google Scholar 

  11. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proc. 1st International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1045–1052. ACM, New York (2002)

    Chapter  Google Scholar 

  12. Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)

    Google Scholar 

  13. Ferber, J., Gutknecht, O.: A Meta-model for the Analysis and Design of Organizations in Multi-agent Systems. In: Proc. 3rd International Conference on Multi-Agent Systems (ICMAS), pp. 128–135. IEEE, Los Alamitos (1998)

    Chapter  Google Scholar 

  14. Ferber, J., Gutknecht, O., Michel, F.: From Agents to Organizations: An Organizational View of Multi-agent Systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214–230. Springer, Heidelberg (2004)

    Google Scholar 

  15. Fisher, M.: MetateM: The Story so Far. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 3–22. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Fisher, M., Ghidini, C., Hirsch, B.: Programming Groups of Rational Agents. In: Dix, J., Leite, J.A. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 16–33. Springer, Heidelberg (2004)

    Google Scholar 

  17. Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Intensional Programming II. World Scientific, Singapore (2000)

    Google Scholar 

  18. Hirsch, B.: Programming Rational Agents. PhD thesis, Department of Computer Science, University of Liverpool (June 2005)

    Google Scholar 

  19. Hübner, J.F., Sichman, J.S., Boissier, O.: A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 118–128. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Jennings, N.R., Wooldridge, M.: Applications of Agent Technology. In: Agent Technology: Foundations, Applications, and Markets, pp. 3–28. Springer, Heidelberg (1998)

    Google Scholar 

  21. Levesque, H.J., Cohen, P.R., Nunes, J.H.T.: On Acting Together. In: Proc. 8th American National Conference on Artificial Intelligence (AAAI), pp. 94–99. AAAI Press, Menlo Park (1990)

    Google Scholar 

  22. Muscettola, N., Nayak, P.P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1-2), 5–48 (1998)

    Article  MATH  Google Scholar 

  23. Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.): COIN 2006. LNCS (LNAI), vol. 4386. Springer, Heidelberg (2007)

    Google Scholar 

  24. Pynadath, D.V., Tambe, M., Chauvat, N., Cavedon, L.: Towards Team-Oriented Programming. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 233–247. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  25. Rao, A.S., Georgeff, M.: BDI Agents: from Theory to Practice. In: Proc 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312–319. AAAI Press, Menlo Park (1995)

    Google Scholar 

  26. Smith, I.A., Cohen, P.R.: Toward a Semantics for an Agent Communications Language Based on Speech-Acts. In: Proc. American National Conference on Artificial Intelligence (AAAI), pp. 24–31. AAAI Press, Menlo Park (1996)

    Google Scholar 

  27. Tidhar, G.: Team-Oriented Programming: Preliminary Report. Technical Report 1993-41, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)

    Google Scholar 

  28. Vázquez-Salceda, J., Dignum, V., Dignum, F.: Organizing Multiagent Systems. Journal of Autonomous Agents and Multi-Agent Systems 11(3), 307–360 (2005)

    Article  Google Scholar 

  29. Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 10(2), 115–152 (1995)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Liverpool, Liverpool, U.K.

    Anthony Hepple, Louise Dennis & Michael Fisher

Authors
  1. Anthony Hepple
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Louise Dennis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mehdi Dastani Amal El Fallah Seghrouchni João Leite Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hepple, A., Dennis, L., Fisher, M. (2008). A Common Basis for Agent Organisation in BDI Languages. In: Dastani, M., El Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds) Languages, Methodologies and Development Tools for Multi-Agent Systems. LADS 2007. Lecture Notes in Computer Science(), vol 5118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85058-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85058-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85057-1

  • Online ISBN: 978-3-540-85058-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation