Categorical Mechanisms in Modelling Multiagent Systems

Crăciunean Daniel C. ()
Additional contact information
Crăciunean Daniel C.: Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of Sibiu, Romania

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences, 2024, vol. 14, issue 1, 115-129

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.

Keywords: multiagent system; categorical sketch; Kripke model; metamodel; modal logic (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.2478/ijasitels-2024-0011 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:vrs:ijsiel:v:14:y:2024:i:1:p:115-129:n:1011

DOI: 10.2478/ijasitels-2024-0011

Access Statistics for this article

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences is currently edited by Daniel Volovici

More articles in International Journal of Advanced Statistics and IT&C for Economics and Life Sciences from Sciendo
Bibliographic data for series maintained by Peter Golla ().