Skip to main content

On the Construction of Transformation Steps in the Category of Multiagent Systems

  • Conference paper
Intelligent Computer Mathematics (CICM 2008)

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

Included in the following conference series:

  • 717 Accesses

Abstract

Based on the category \(\mathbb{MAS}\) of base diagrams of Multiagent Systems (MAS) and morphisms between them, a transformation system for MAS can be established using the well known Double Pushout (DPO) Approach. An important part in the DPO approach is to find a pushout complement for a given situation. This is usualy done by checking the so called “gluing condition”. In this contribution a new approach for the pushout complement construction in the category \(\mathbb{MAS}\) is introduced. For illustration a simple robot example is presented.

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

Access this chapter

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.

Similar content being viewed by others

References

  1. Pfalzgraf, J., Soboll, T.: On a General Notion of Transformation for Multiagent Systems. In: Proceedings of the Conference: Integrated Design and Process Technology, IDPT-2007. Society for Design and Process Science (2007), issn: 1090 9389

    Google Scholar 

  2. Ehrig, H., Pfender, M., Schneider, H.J.: Graph Grammars: an Algebraic Approach. In: Proceedings of FOCS, pp. 167–180. IEEE, Los Alamitos (1973)

    Google Scholar 

  3. Pfalzgraf, J.: On an Idea for Constructing Multiagent Systems (MAS) Scenarios. In: Lasker, G., Pfalzgraf, J. (eds.) Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. International Institute for Advanced Studies in Systems Research and Cybernetics, vol. 1 (2006)

    Google Scholar 

  4. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, vol. 1. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  5. Pfalzgraf, J.: On Logical Fiberings and Polycontextural Systems. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535. Springer, Heidelberg (1991)

    Google Scholar 

  6. Pfalzgraf, J.: On Logical Fiberings and Automated Deduction in Many-valued Logics Using Gröbner Bases. In: Laita, L.M., Alonso, J.A., Roanes-Lozano, E. (eds.) Revista Real Academia de Ciencias, Serie A de Matemáticas (RACSAM), Special Issue on Symbolic Computation in Logic and Artificial Intelligence, vol. 98(1), Royal Academy of Sciences of Spain (2004)

    Google Scholar 

  7. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. The Joy of Cats. John Wiley and Sons Inc., Chichester (1990)

    MATH  Google Scholar 

  8. Wooldrige, M.J.: An Introduction to Multiagent Systems. and Sons LTD. John Wiley and Sons LTD, Chichester (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Serge Autexier John Campbell Julio Rubio Volker Sorge Masakazu Suzuki Freek Wiedijk

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Soboll, T. (2008). On the Construction of Transformation Steps in the Category of Multiagent Systems. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds) Intelligent Computer Mathematics. CICM 2008. Lecture Notes in Computer Science(), vol 5144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85110-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85110-3_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85109-7

  • Online ISBN: 978-3-540-85110-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics