Year: 2024
Type: article
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.
Author: Daniel C. Crăciunean
Institution: Lucian Blaga University of Sibiu
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4405519506