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

摘要

Based on the category 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 usually done by checking the so called "gluing condition". In this contribution a new approach for the pushout complement construction in the category MAS is introduced. For illustration a simple robot example is presented.