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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
Ehrig, H., Pfender, M., Schneider, H.J.: Graph Grammars: an Algebraic Approach. In: Proceedings of FOCS, pp. 167–180. IEEE, Los Alamitos (1973)
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)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, vol. 1. Springer, Heidelberg (2006)
Pfalzgraf, J.: On Logical Fiberings and Polycontextural Systems. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535. Springer, Heidelberg (1991)
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)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. The Joy of Cats. John Wiley and Sons Inc., Chichester (1990)
Wooldrige, M.J.: An Introduction to Multiagent Systems. and Sons LTD. John Wiley and Sons LTD, Chichester (2002)
Author information
Authors and Affiliations
Editor information
Rights 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)