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

Running AgentSpeak(L) Agents on SIM_AGENT

  • Conference paper
  • First Online:
Intelligent Agents VIII (ATAL 2001)

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

Included in the following conference series:

  • 724 Accesses

Abstract

This paper presents what is, to the best of our knowledge, the very first successful attempt at running AgentSpeak(L) programs. AgentSpeak(L)is a programming language for BDI agents, created by Rao, with which he pointed for the first time towards bridging the gap between BDI logics and implemented BDI systems. Moreover, it has quite an elegant and neat notation for a BDI programming language, which could establish a turning point in the practice of implementing cognitive multi-agent systems, should it be turned into a working interpreter or compiler. Precisely because such (implemented) interpreter or compiler was unavailable, AgentSpeak(L)has been neglected, as have other agent-oriented programming languages with a strong theoretical support, by multi-agent system practitioners. This paper shows a way of turning AgentSpeak(L)agents into running programs within Sloman’s SIM_AGENT toolkit. We have called this prototype interpreter SIM_Speak, and we have tested it with a multi-agent traffic simulation. We also discuss the limitations and possible extensions to SIM_Speak.

This work has been supported by FAPERGS (research grants 99/51044-3 and 99/00358-7) and CNPq (research grants 300409/99-0 and 381489/00-0).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. James A. D. W. Anderson, editor. POP-11 Comes of Age: The Advancement of an AI Programming Language. Ellis Horwood, Chichester, U.K., 1989.

    Google Scholar 

  2. Rafael H. Bordini, John A. Campbell, and Renata Vieira. Extending ascribed intensional ontologies with taxonomical relations in anthropological descriptions of multi-agent systems. Journal of Artificial Societies and Social Simulation, 1(4), October 1998. <http://www.soc.surrey.ac.uk/JASSS/1/4/3.html>.

  3. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3):213–261, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  4. Mark d’Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A formal specification of dMARS. In Munindar P. Singh, Anand S. Rao, and Michael Wooldridge, editors, Intelligent Agents IV—Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Providence, RI, 24–26 July, 1997, number 1365 in Lecture Notes in Artificial Intelligence, pages 155–176. Springer-Verlag, Berlin, 1998.

    Chapter  Google Scholar 

  5. Mark d’Inverno and Michael Luck. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3): 1–27, 1998.

    Article  Google Scholar 

  6. Gregory Duck and Leon Sterling. Prototyping from a specification— an agent-based case study. Unpublished paper, available at URL http://www.cs.mu.oz.au/~gjd/research/.

  7. Michael P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence(AAAI’7), 13–17 July, 1987, Seattle, WA, pages 677–682, Manlo Park, CA, 1987. AAAI Press / MIT Press.

    Google Scholar 

  8. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Control structures of rule-based agent languages. In Jörg P. Müller, Munindar P. Singh, and Anand S. Rao, editors, Intelligent Agents V—Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), held as part of the Agents’ World, Paris, 4–7 July, 1998, number 1555 in Lecture Notes in Artificial Intelligence, pages 381–396, Heidelberg, 1999. Springer-Verlag.

    Google Scholar 

  9. Marcus J. Huber. JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the Third International Conference on Autonomous Agents (Agents-99), 1–5 May, Seattle, WA, pages 236–243. ACM Press, 1999.

    Google Scholar 

  10. David Kinny. The Ψ calculus: an algebraic agent language. (In this volume).

    Google Scholar 

  11. David Kinny. The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.

    Google Scholar 

  12. João Alexandre Leite, José Júlio Alferes, and Luís Moniz Pereira. \( \mathcal{M}\mathcal{I}\mathcal{N}\mathcal{E}\mathcal{R}\mathcal{V}\mathcal{A} \)—a dynamic logic programming agent architecture. (In this volume).

    Google Scholar 

  13. Robin Milner, Joachim Parrow, and David Walker. A calculus for mobile processes (parts I and II). Information and Computation, 100(1):1–40 and 41–77, September 1992.

    Google Scholar 

  14. Gordon D. Plotkin. A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus, 1981.

    Google Scholar 

  15. Anand S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Walter Van deVelde and John Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW’96), 22–25 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence, pages 42–55, London, 1996. Springer-Verlag.

    Google Scholar 

  16. Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In Michael Wooldridge, Jörg P. Müller, and Milind Tambe, editors, Intelligent Agents II — Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL’95), held as part of IJCAI’95, Montréal, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 33–48, Berlin, 1996. Springer-Verlag.

    Google Scholar 

  17. Rosaldo J. F. Rossetti, Rafael H. Bordini, Ana L.C. Bazzan, Sergio Bampi, Ronghui Liu, and Dirck Van Vliet. Using BDI agents to improve driver modelling in a commuter scenario. Transportation Research Part C: Emerging Technologies, 2002. To appear.

    Google Scholar 

  18. Munindar P. Singh, Anand S. Rao, and Michael P. Georgeff. Formal methods in DAI: Logicbased representation and reasoning. In Gerhard Weiß, editor, Multiagent Systems — A Modern Approach to Distributed Artificial Intelligence, chapter 8, pages 331–376. MIT Press, Cambridge, MA, 1999.

    Google Scholar 

  19. Aaron Sloman. The evolution of Popolog and POP-11 at Sussex University. In James A. D. W. Anderson, editor, POP-11 Comes of Age: The Advancement of an AI Programming Language, pages 30–54. Ellis Horwood, Chichester, U.K., 1989.

    Google Scholar 

  20. Aaron Sloman and Brian Logan. Building cognitively rich agents using the SIM_AGENT toolkit. Communications of the Association of Computing Machinery, 43(2):71–77, March 1999.

    Google Scholar 

  21. Aaron Sloman and Riccardo Poli. SIM_AGENT: A toolkit for exploring agent designs. In Michael Wooldridge, Jörg P. Müller, and Milind Tambe, editors, Intelligent Agents II — Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL’95), held as part of IJCAI’95, Montréal, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 392–407, Berlin, 1996. Springer-Verlag.

    Google Scholar 

  22. J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Hemel Hempstead, second edition, 1992.

    Google Scholar 

  23. Michael Wooldridge. Intelligent agents. In Gerhard Weiß, editor, Multiagent Systems —A Modern Approach to Distributed Artificial Intelligence, chapter 1, pages 27–77. MIT Press, Cambridge, MA, 1999.

    Google Scholar 

  24. Michael Wooldridge. Computationally grounded theories of agency. In Edmund Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), 10–12 July, Boston, pages 13–20, Los Alamitos, CA, 2000. IEEE Computer Society. Paper for an Invited Talk.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatics Institute, Federal University of Rio Grande do Sul, Porto Alegre RS, 91501-970, Brazil

    Rodrigo Machado & Rafael H. Bordini

Authors
  1. Rodrigo Machado
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rafael H. Bordini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Padualaan 14 De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Information Sciences Institute, University of Southern California, Henry Salvatori Computer Center 232, Los Angeles, CA, 90089-0781, USA

    Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Machado, R., Bordini, R.H. (2002). Running AgentSpeak(L) Agents on SIM_AGENT. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-45448-9_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43858-8

  • Online ISBN: 978-3-540-45448-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation