Abstract and concrete categories
Abstract and concrete categories
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Logical fiberings and polycontextural systems
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Hi-index | 0.01 |
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.