Skip to main content
SpringerLink
Log in

The MAS-SOC Approach to Multi-agent Based Simulation

  • Conference paper
Regulated Agent-Based Social Systems (RASTA 2002)

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

Included in the following conference series:

Abstract

This paper presents the MAS-SOC approach to Multi-Agent Based Simulation. It integrates specific agent technologies for agent programming and communication, and includes a language we have designed for the specification of the environment to be shared by the agents in a simulation. A graphical interface is provided which helps the development of agent simulations (by managing libraries of simulation components and automatically generating appropriate source codes for the associated interpreters). In future improvements of this approach, we aim at including extra features that would favour the development of social simulations in particular, and to further improve the user interface so as to facilitate the access of social scientists to the design and implementation of multi-agent based simulations. In order to assess our platform for agent simulation, a case study on social aspects of the production and occupation of urban spaces is under development; this paper also briefly describes that social simulation and its preliminary results.

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. Bordini, R.H., Moreira, Á.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of 3rd International Workshop on Computational Logic in Multi-Agent Systems: CLIMA 2002, Copenhagen, Denmark, August 1. Datalogiske Skrifter (Writings on Computer Science), vol. 93, pp. 94–108. Roskilde University, Denmark (2002)

    Google Scholar 

  2. Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15–19, pp. 1294–1302. ACM Press, NewYork (2002)

    Chapter  Google Scholar 

  3. Castelfranchi, C.: Simulating with cognitive agents: The importance of cognitive emergence. In: Sichman, J.S., Conte, R., Gilbert, N. (eds.) MABS 1998. LNCS (LNAI), vol. 1534, pp. 26–44. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Castelfranchi, C.: The theory of social functions: Challenges for computational social science and multi-agent learning. Cognitive Systems Research 2(1), 5–38 (2001)

    Article  Google Scholar 

  5. Cavedon, L., Sonenberg, L.: On social commitment, roles and preferred goals. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Agents’ World, July 4–7, pp. 80–87. IEEE Computer Society Press, Washington (1998)

    Chapter  Google Scholar 

  6. Conte, R., Castelfranchi, C.: Cognitive and Social Action. UCL Press, London (1995)

    Google Scholar 

  7. de Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog: A concurrent programming language based on the situation calculus. Artificial Intelligence 121, 109–169 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Decker, K.S., Lesser, V.R.: Quantitative modeling of complex environments. International Journal of Intelligent Systems in Accounting, Finance and Management 2(4), 215–234 (1993)

    Google Scholar 

  9. Demazeau, Y.: From cognitive interactions to collective behaviour in agent-based systems. In: Proceedings of the European Conference on Cognitive Science. Saint-Malo (April 1995)

    Google Scholar 

  10. Dignum, V., Meyer, J.-J., Wiegand, H., Dignum, F.: An organisational-oriented model for agent societies. In: RASTA 2002 Pre-Proceedings, Hamburg University, Faculty of Informatics, Communications, Vol. 318 (2002)

    Google Scholar 

  11. Dignum, F.: Abstract norms and electronic institutions. In: RASTA 2002 Pre-Proceedings, Hamburg University, Faculty of Informatics, communications, Vol. 318 (2002)

    Google Scholar 

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

    Google Scholar 

  13. Fisher, M.: A survey of concurrent metatem—the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNAi, vol. 827, pp. 480–505. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

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

    Google Scholar 

  15. Gutknecht, O., Ferber, J.: The MadKit agent platform architecture. In: Agents Workshop on Infrastructure for Multi-Agent Systems, pp. 48–55 (2000)

    Google Scholar 

  16. Gutknecht, O., Ferber, J., Michel, F.: Integrating tools and infrastructures for generic multi-agent systems. In: Müller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the Fifth International Conference on Autonomous Agents, pp. 441–448. ACM Press, Montreal (2001)

    Chapter  Google Scholar 

  17. Hales, D.: The evolution of specialization in groups. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 228–239. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Control structures of rule-based agent languages. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 381–396. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  19. Hübner, J.F., Sichman, J.S.: SACI: Uma ferramenta para implementação e monitoração da comunicação entre agentes. In: Monard, M.C., Sichman, J.S. (eds.) Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI (IBERAMIA/SBIA 2000, Open Discussion Track), Atibaia, São Paulo, Brazil, November 19–22, pp. 47–56. ICMC/USP, São Carlos (2000), http://www.lti.pcs.usp.br/saci

    Google Scholar 

  20. Hübner, J.F., Sichman, J.S., Boissier, O.: Moise + : Towards a structural, functional, and deontic model for MAS organization. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy (2002) (extended Abstract)

    Google Scholar 

  21. Kinny, D.: The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)

    Google Scholar 

  22. Krafta, R.: Spatial self-organization and the production of the city. Urbana 24, 49–62 (1999)

    Google Scholar 

  23. Leite, J.A., Alferes, J.J., Pereira, L.M.: MINERVA—a dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 141–157. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  24. Lesser, V.R.: Reflections on the nature of multi-agent coordination and its implications for an agent architecture. Autonomous Agents and Multi-Agent Systems 1(1), 89–111 (1998)

    Article  Google Scholar 

  25. Lòpez, F., Luck, M.: Towards a model of the dynamics of normative multi-agent systems. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 259–280. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  26. Machado, R., Bordini, R.H.: Running AgentSpeak(L) agents on SIM_AGENT. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 158–174. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  27. Moreira, Á.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22–25, pp. 45–59 (2002)

    Google Scholar 

  28. Portugali, J.: Self-organization and the City. Springer, Berlin (2000)

    MATH  Google Scholar 

  29. Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, June 12–14, pp. 312–319. AAAI Press/MIT Press, Menlo Park/CA (1995)

    Google Scholar 

  30. Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–343 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  31. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  32. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall Series on Artificial Intelligence. Prentice Hall, Upper Saddle River (1995)

    MATH  Google Scholar 

  33. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  34. Sloman, A., Logan, B.: Building cognitively rich agents using the SIM_ AGENT toolkit. Communications of the Association of Computing Machinery 43(2), 71–77 (1999)

    Google Scholar 

  35. Wagner, T., Garvey, A., Lesser, V.: Criteria-directed heuristic task scheduling. International Journal of Approximate Processing, Special Issue on Scheduling 19(1–2), 91–118 (1998)

    MATH  Google Scholar 

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

    Article  Google Scholar 

  37. Wooldridge, M.: Intelligent agents. In: Weiß, G. (ed.) Multiagent Systems—A Modern Approach to Distributed Artificial Intelligence, ch. 1, pp. 27–77. MIT Press, Cambridge (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatics Institute, Universidade Federal do Rio Grande do Sul (UFRGS), CP 15064, 91501-970, Porto Alegre, RS, Brazil

    Rafael H. Bordini, Fabio Y. Okuyama, Denise de Oliveira & Guilherme Drehmer

  2. Faculty of Architecture, Universidade Federal do Rio Grande do Sul (UFRGS), Rua Sarmento Leite 320, 90050-170, Porto Alegre, RS, Brazil

    Romulo C. Krafta

Authors
  1. Rafael H. Bordini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabio Y. Okuyama
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Denise de Oliveira
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Guilherme Drehmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Romulo C. Krafta
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Computer Science, Humboldt-University Berlin, Berlin, Germany

    Gabriela Lindemann

  2. Department of Informatics, University of Hamburg, Vogt-Kölln-Str. 30, D-22527, Hamburg

    Daniel Moldt

  3. Institute for Cognitive Science and Technology, Rome, Italy

    Mario Paolucci

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bordini, R.H., Okuyama, F.Y., de Oliveira, D., Drehmer, G., Krafta, R.C. (2004). The MAS-SOC Approach to Multi-agent Based Simulation. In: Lindemann, G., Moldt, D., Paolucci, M. (eds) Regulated Agent-Based Social Systems. RASTA 2002. Lecture Notes in Computer Science(), vol 2934. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25867-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25867-4_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20923-2

  • Online ISBN: 978-3-540-25867-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation