Have a personal or library account? Click to login
Categorical Mechanisms in Modelling Multiagent Systems Cover

Abstract

The main contribution that this paper brings is the specification of multiagent systems, at the metamodel level, using an appropriate categorical sketch. We will see that category theory provides all the necessary ingredients for the formal specification of multiagent systems. In our approach, a multiagent system is specified by a static dimension and a behavioural dimension. For both dimensions we have defined a metamodel based on the categorical sketch. To specify the static dimension, we used a categorical sketch whose models are the states of the multiagent system. To specify the behavioural dimension, we introduced a Kripke-type categorical metamodel, which is based on a categorical sketch with constraints equivalent to the specified logical axioms.

DOI: https://doi.org/10.2478/ijasitels-2024-0011 | Journal eISSN: 2559-365X | Journal ISSN: 2067-354X
Language: English
Page range: 115 - 129
Published on: Dec 18, 2024
Published by: Lucian Blaga University of Sibiu
In partnership with: Paradigm Publishing Services
Publication frequency: 2 times per year

© 2024 Daniel C. Crăciunean, published by Lucian Blaga University of Sibiu
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.