Towards a formal multi-agent organizational modeling framework based on category theory

Autor:	Mohammed El Habib Souidi, Elkamel Merah, Abdelghani Boudjidj
Rok vydání:	2021
Předmět:	Supply chain management Computer science Management science Formal semantics (linguistics) Computer Science Applications Theoretical Computer Science Task (project management) Abstraction (mathematics) Mathematical theory Artificial Intelligence Bundle Category theory Categorical variable Software
Zdroj:	Informatica. 45
ISSN:	1854-3871 0350-5596
Popis:	Multi-agent organizational modeling frameworks can be considered as an efficient solution regarding the distributed applications’ problems such as task bundle mechanisms, supply chain management, as well as air traffic control. The main objective of this paper is to provide a solution based on a solid mathematical theory for the modeling, the analysis and the verification of artificial organizations properties, and particularly those of Multi-Agent Systems (MASs). Category theory is a mathematical formalism used to categorically study the logics of organizations in different societies. Therefore, it can be projected on artificial organizations in a categorical way. Our work is revolved around the idea of modeling Multi-Agents organization using category theory. In other words, it consists on the transformation of Agent-Group-Role (AGR) organizational model in a categorical way in order to obtain a formal semantics model describing the MAS organization. This formal model allows the analysis, the verification and also the validation of the main concepts of an organization at a high level of abstraction
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ee848c2219d8f10fc87ddcf37bbdc291 https://doi.org/10.31449/inf.v45i2.2967 Zobrazit plný text záznamu