[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Grounding Social Interactions in the Environment

  • Conference paper
Environments for Multi-Agent Systems II (E4MAS 2005)

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

Included in the following conference series:

Abstract

While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas the handling of concerns related to the environment is often neglected or delegated to implementation level constructs. In this paper we demonstrate that building on an environment specification with expressive semantics is instrumental in designing agents that are capable of flexible and complex interactions. We propose a modeling approach that allows describing the concrete aspects of a multi-agent system as well as its conceptual and cognitive aspects within a single coherent conceptual framework by grounding all aspects in the environment. This framework enables an efficient development process built around the rapid prototyping and iterative refinement of multi-agent system specifications by applying model-driven design techniques to the system in its entirety.

This work was developed in the course of the Special Research Initiative 614 – Self-optimizing Concepts and Structures in Mechanical Engineering – University of Paderborn, and was published on its behalf and funded by the Deutsche Forschungsgemeinschaft.

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. Wooldridge, M., Jennings, N.: Intelligent agents: Theory and practice. Knowledge Engineering Review 10, 115–152 (1995)

    Article  Google Scholar 

  2. Brooks, R.A.: Intelligence Without Reason. In: Myopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Sydney, Australia, pp. 569–595. Morgan Kaufmann, San Mateo (1991)

    Google Scholar 

  3. Weyns, D., Parunak, H.V.D., Michel, F., Holvoet, T., Ferber, J.: Environments for multiagent systems state-of-the-art and research challenges. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 1–47. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Bonabeau, E.: Editor’s introduction: Stigmergy. Artificial Life 5, 95–96 (1999)

    Article  Google Scholar 

  5. Fenster, M., Kraus, S., Rosenschein, J.S.: Coordination without communication: Experimental validation of focal point techniques. In: Proc. of the 1st Int. Conf. on Multiagent Systems (ICMAS), pp. 102–108. MIT Press, San Francisco (1995)

    Google Scholar 

  6. Parunak, H.V.D., Brueckner, S., Sauter, J.A.: Digital pheromones for coordination of unmanned vehicles. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 246–263. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Klein, F., Giese, H.: Separation of concerns for mechatronic multi-agent systems through dynamic communities. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) SELMAS 2004. LNCS, vol. 3390, pp. 272–289. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Klein, F., Giese, H.: Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML. In: Choren, R., et al. (eds.) Proc. of the 4th Workshop on Software Engineering for Large-Scale Multi-Agent Systems at ISCE, St. Louis, pp. 1–7. IEEE, Los Alamitos (2005)

    Google Scholar 

  9. Köhler, H., Nickel, U., Niere, J., Zündorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Irland, pp. 241–251. ACM Press, New York (2000)

    Google Scholar 

  10. Zündorf, A.: Rigorous Object Oriented Software Development. Habilitation, University of Paderborn (2001), Available online: http://wwwcs.upb.de/cs/ag-schaefer/Personen/Ehemalige/Zuendorf/AZRigSoftDraft_0_2.pdf

  11. Giese, H., Schilling, D.: Towards the Automatic Verification of Inductive Invariants for Invinite State UML Models. Technical Report tr-ri-04-252, University of Paderborn, Paderborn, Germany (2004)

    Google Scholar 

  12. Rensink, A.: Towards model checking graph grammars. In: Leuschel, M., Gruner, S., Presti, S.L. (eds.) Workshop on Automated Verification of Critical Systems (AVoCS), Technical Report DSSE–TR–2003–2, University of Southampton, pp. 150–160 (2003)

    Google Scholar 

  13. Becker, B., Giese, H., Schilling, D.: A plugin for checking inductive invariants when modeling with class diagrams and story patterns. In: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany (2005)

    Google Scholar 

  14. Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Informatics in Control, Automation and Robotics. Kluwer Academic Publishers, Dordrecht (to appear, 2005)

    Google Scholar 

  15. Rao, A., Georgeff, M.: BDI Agents: From Theory to Practice. In: Proceedings of the 1st International Conference On Multi Agent Systems, San Francisco, USA (1995)

    Google Scholar 

  16. Singh, M.P.: On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem. IEEE Computer 31, 40–47 (1998)

    Article  Google Scholar 

  17. Wooldridge, M.: Verifiable semantics for agent communication languages. In: Proceedings of the 3rd International Conference on Multi Agent Systems (ICMAS 1998), Paris, France, pp. 349–356 (1998)

    Google Scholar 

  18. Viroli, M., Omicini, A.: A specification language for agents observable behavior. In: Proceedings of the International Conference on Artificial Intelligence (ICAI) 2002, Las Vegas, US, pp. 321–327. CSREA Press (2002)

    Google Scholar 

  19. Singh, M.P.: The intentions of teams: Team structure, endodeixis, and exodeixis. In: ECAI, pp. 303–307 (1998)

    Google Scholar 

  20. Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings of the 3rd International Conference on Multi Agent Systems (ICMAS 1998), Paris, France, pp. 128–135 (1998)

    Google Scholar 

  21. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the European Software Engineering Conference (ESEC/FSE), Helsinki, Finland, pp. 38–47. ACM Press, New York (2003)

    Google Scholar 

  22. Burmester, S., Giese, H., Klein, F.: Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL. In: Schürr, A., Zündorf, A. (eds.) Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 19–22. University of Paderborn (2004)

    Google Scholar 

  23. Broeckman, B., Notenboom, E.: Testing Embedded Software. Addison-Wesley, Reading (2003)

    Google Scholar 

  24. Reynolds, C.: Flocks, herds, and schools: A distributed behavioral model. Computer Graphics 21 (1987)

    Google Scholar 

  25. Jennings, N.R., Campos, J.R.: Towards a social level characterisation of socially responsible agents. IEE Proceedings on Software Engineering 144, 11–25 (1997)

    Article  Google Scholar 

  26. Castelfranchi, C.: Engineering social order. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 1–18. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  27. Weyns, D., Schelfthout, K., Holvoet, T., Lefever, T.: Decentralized control of E’GV transportation systems. In: Pechoucek, M., Steiner, D., Thompson, S. (eds.) 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), Utrecht, The Netherlands, July 25-29, pp. 67–74. ACM, New York (2005)

    Chapter  Google Scholar 

  28. Schelfthout, K., Holvoet, T.: Objectplaces: An environment for situated multi-agent systems. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, August 19-23, pp. 1500–1501. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  29. Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, New York, August 19-23, pp. 286–293 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Group, University of Paderborn, Warburger Str. 100, D-33098, Paderborn, Germany

    Florian Klein & Holger Giese

Authors
  1. Florian Klein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Holger Giese
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DistriNet Labs, K.U. Leuven, Belgium

    Danny Weyns

  2. NewVectors, 3520 Green Court, Suite 250, 48105, Ann Arbor, MI, USA

    H. Van Dyke Parunak

  3. MODECO-CReSTIC, Université de Reims, B.P. 1035, 51687, Reims, France

    Fabien Michel

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Klein, F., Giese, H. (2006). Grounding Social Interactions in the Environment. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds) Environments for Multi-Agent Systems II. E4MAS 2005. Lecture Notes in Computer Science(), vol 3830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11678809_9

Download citation

  • DOI: https://doi.org/10.1007/11678809_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-32614-4

  • Online ISBN: 978-3-540-32615-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation