Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Specifying recursive agents with GDTs

  • Published:
Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

Abstract

The purpose of this article is to formalise the notion of recursive agent by extending the Goal Decomposition Tree formalism (GDT). A formal semantics of this decomposition is given, as well as the definition of operators to introduce various ways of recursively defining agents. Design patterns, that show various use cases for recursive agents, are also presented. Finally, to preserve the essential GDT characteristics (that is to allow the verification of agents behaviours), we give proof schemas that allow a proof of the correctness of a recursive agent.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Abrial J.-R. (1996) The B-book. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  2. Adam, E., Grislin-Le Strugeon, E., & Mandiau, R. (2008). Flexible hierarchical organisation of role based agents. In 2nd IEEE international conference on self-adaptive and self-organizing systems workshops (pp. 186–191). Washington, DC: IEEE Computer Society.

  3. Alechina, N., Logan, B., & Whitsey, M. (2004). A complete and decidable logic for resource-bounded agents. In Autonomous agents and multi-agent systems (AAMAS’04) (pp. 606–613). ACM Press.

  4. Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2003). Verifiable multi-agent programs. In M. Dastani, J. Dix, & A. Seghrouchni (Eds.), ProMAS. LNCS (Vol. 3067, pp. 72–89). Springer.

  5. Botti V., Giret A. (2008) ANEMONA: A multi-agent methodology for Holonic Manufacturing Systems. Springer, Berlin, Heidelberg

    Google Scholar 

  6. Bracciali A., Endriss U., Demetriou N., Kakas T., Lu W., Stathis K. (2006) Crafting the mind of PROSOCS agents. Applied Artificial Intelligence 20(2–4): 105–131

    Article  Google Scholar 

  7. Brazier, F. M. T., van Eck, P. A. T., & Treur, J. (1997). Simulating social phenomena, chapter Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation (Vol. 456, pp. 103–109). Lecture Notes in Economics and Mathematical Systems.

  8. Chandy K. M, Misra J. (1988) Parallel program design: A foundation. Addison-Wesley, Reading, MA

    MATH  Google Scholar 

  9. Cohen P. R., Levesque H. J. (1991) Teamwork. Noûs 25(4): 487–512

    Article  Google Scholar 

  10. Dastani, M., de Boer, F., Dignum, F., & Meyer, J.-J. (2003). Programming agent deliberation: An approach illustrated using the 3apl language. In Proceedings of the second international conference on autonomous agents and multiagent systems (AAMAS’03), Melbourne, Australia (pp. 97–104). New York, NY: ACM.

  11. de Boer F., Hindriks K., van der Hoek W., Meyer J.-J. (2007) A verification framework for agent programming with declarative goals. Journal of Applied Logic 5: 277–302

    Article  MATH  MathSciNet  Google Scholar 

  12. De Giacomo G., Lesperance Y., Levesque H. J. (2000) Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1–2): 109–169

    Article  MATH  MathSciNet  Google Scholar 

  13. Deloach, S. A., Sparkman, C. H., & Self, A. L. (2001). Automated derivation of complex agent architectures from analysis specifications. In Proceedings of AOSE’01 (pp. 278–296). London, UK: Springer-Verlag.

  14. Dennis, L., Fisher, M., & Hepple, A. (2008). Language constructs for multi-agent programming. In Computational logic in multi-agent systems: 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers (pp. 137–156). Berlin, Heidelberg: Springer-Verlag.

  15. Ferber, J., & Gutknecht, O. (1998). A meta-model for the analysis and design of organisations in multi-agent systems. In Third international conference on multi-agent systems (ICMAS’98) (pp. 128–135). Washington, DC: IEEE Computer Society.

  16. Fisher, M. (1994). A survey of concurrent METATEM—The language and its applications. In D. M. Gabbay & H. J. Ohlbach (Eds.), Temporal logic—proceedings of the first intemational conference. LNAI (Vol. 827, pp. 480–505). Heidelberg, Germany: Springer.

  17. Fischer, K. (1999). Holonic multiagent systems—Theory and applications. In Proceedings of the 9th Portuguese conference on progress in artificial intelligence. LNAI (Vol. 1695). Springer.

  18. Gaud, N., Hilaire, V., Galland, S., Koukam, A., & Cossentino, M. (2008). A verification by abstraction framework for organizational multi-agent systems. In AT2AI: Froma agent theory to agent implementation (pp. 67–73).

  19. Giret A., Botti V. (2004) Towards an abstract recursive agent. Integrated Computer-Aided Engineering 11: 165–177

    Google Scholar 

  20. Hepple, A., Dennis, L., & Fisher, M. (2008). A common basis for agent organisation in BDI languages. In Languages, methodologies and development tools for multi-agent systems: First international workshop, LADS 2007, Durham, UK, September 4–6, 2007. Revised selected papers (pp. 71–88). Berlin, Heidelberg: Springer-Verlag.

  21. Jonker C. M., Treur J. (2002) Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. International Journal of Cooperative Informations Systems 11(1–2): 51–91

    Article  MathSciNet  Google Scholar 

  22. Kacprzak, M., Lomuscio, A., & Penczek, W. (2004). Verification of multiagent systems via unbounded model checking. In: Autonomous agents and multi-agent systems (AAMAS’04).

  23. Khallouf, J., & Winikoff, M. (2005). Towards goal-oriented design of agent systems. In: Proceedings of ISEAT’05.

  24. Mermet, B., Fournier, D., & Simon, G. (2006). An agent compositional proof system. In: From agent theory to agent implementation (AT2AI’06).

  25. Mermet, B., & Simon, G. (2009). GDT4MAS: An extension of the GDT model to specify and to verify MultiAgent Systems. In AAMAS, Budapest, Hungary (pp. 505–512). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.

  26. Mermet, B., Simon, G., Saval, A., & Zanuttini, B. (2007). Specifying, verifying and implementing a MAS: A case study. In M. Dastani, A. El Fallah Segrouchni, A. Ricci, & M. Winikoff (Eds.), Post-Proceedings of 5th international workshop on programming multi-agent systems (ProMAS’07), number 4908 in Lecture Notes in Artificial Intelligence (pp. 172–189). Heidelberg: Springer.

  27. Mermet, B., Simon, G., & Zanuttini, B. (2008). Agent design with goal decomposition trees. Technical report. Available at http://www.info.unicaen.fr/~bmermet/GDT/publications/gdt/msz08.pdf.

  28. Mermet, B., Simon, G., & Zanuttini, B. (2008). Agent design with goal decomposition trees: Companion paper. Technical report, GREYC, CNRS, Université de Caen Basse-Normandie, ENSICAEN. Available at http://www.info.unicaen.fr/~bmermet/GDT/publications/gdt/msz08companion2.pdf.

  29. Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., & Fornara, N. (Eds.). (2007). Coordination, organization, institutions and norms in agent systems II (COIN). LNCS (Vol. 4386). Springer.

  30. Raimondi, F., & Lomuscio, A. (2004). Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation. In Autonomous agents and multi-agent systems (AAMAS’04), New York, NY (pp. 630–637). Washington, DC: IEEE Computer Society.

  31. Rao A. S. (1996) AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde W., Perram J. (eds) MAAMAW’96. LNAI, Eindhoven, The Netherlands

    Google Scholar 

  32. Simon, G., Mermet, B., & Fournier, D. (2006). Goal decomposition tree: An agent model to generate a validated agent behaviour. In M. Baldoni, U. Endriss, U. Omicini, & P. Torroni (Eds.), Declarative agent languages and technologies III: Third international workshop, DALT 2005. LNCS (Vol. 3904, pp. 124–140). Heidelberg: Springer.

  33. Thangarajah, J., Harland, J., Morley, D., & Yorke-Smith, N. (2007). Aborting tasks in BDI agents. In Proceedings of the 6th international conference on autonomous agents and multi-agent systems (AAMAS-07) (pp. 8–15). Hawaii, May.

  34. Thangarajah, J., Padgham, L., & Winikoff, M. (2003). Detecting and exploiting positive goal interaction in intelligent agents. In: Proceedings of the 2nd international joint conference on autonomous agents and multiagent systems (AAMAS 2003) (pp. 401–408). Melbourne, Australia

  35. Tidhar, G. (1993). Team-oriented programming: Prelimaniry report. Technical Report 1993-41, Australian Artificial Intelligence Institute, Melbourne, Australia.

  36. Wooldridge, M. J., & Jennings, N. R. (1995). Agent theories, architectures, and languages: A survey. In Intelligent agents, volume 890 of LNCS, (pp. 1–39). Heidelberg: Springer.

  37. Wooldridge M., Jennings N. R., Kinny D. (2000) The gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3(3): 285–312

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GREYC, CNRS, Université de Caen Basse-Normandie, ENSICAEN, Boulevard du Maréchal Juin, 14032, Caen Cedex, France

    Bruno Mermet & Gaële Simon

Authors
  1. Bruno Mermet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gaële Simon
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bruno Mermet.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mermet, B., Simon, G. Specifying recursive agents with GDTs. Auton Agent Multi-Agent Syst 23, 273–301 (2011). https://doi.org/10.1007/s10458-010-9139-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10458-010-9139-0

Keywords

Search

Navigation