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

Boudjidj, Abdelghani; Merah, Elkamel; Souidi, Mohammed El Habib

doi:10.31449/inf.v45i2.2967

Cited by 4 publications

(4 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Boudjidj et al [30] have introduced a new proposal that consists on a transformation of Agent-Group-Role (AGR) organizational model in a categorical way, which permits the analysis, the verification, and the validation of the organization at a high level of abstraction.…”

Section: Related Workmentioning

confidence: 99%

“…In [32], the authors used concept of AGR model to represent a liquefied natural gas treatment process (decarbonation) at a gas plant in Algeria. Moreover in [30], the authors prposed a transformation of Agent-Group-Role (AGR) organizational model in a categorical way in order to obtain a formal semantics model describing the MAS organization, which allows a high level of abstraction.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

New Game-Theoretic Convolutional Neural Network Applied for the Multi-Pursuer Multi-Evader Game

Sid,

Djezzar,

Souidi

et al. 2023

cai

View full text Add to dashboard Cite

Pursuit-Evasion Game (PEG) can be defined as a set of agents known as pursuers, which cooperate with the aim forming dynamic coalitions to capture dynamic evader agents, while the evaders try to avoid this capture by moving in the environment according to specific velocities. The factor of capturing time was treated by various studies before, but remain the powerful tools used to satisfy this factor object of research. To improve the capturing time factor we proposed in this work a novel online decentralized coalition formation algorithm equipped with Convolutional Neural Network (CNN) and based on the Iterated Elimination of Dominated Strategies (IEDS). The coalition is formed such that the pursuer should learn at each iteration the approximator formation achieving the capture in the shortest time. The pursuer's learning process depends on the features extracted by CNN at each iteration. The proposed supervised technique is compared through simulation, with the IEDS algorithm, AGR algorithm. Simulation results show that the proposed learning technique outperform the IEDS algorithm and the AGR algorithm with respect to the learning time which represents an important factor in a chasing game.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

New Game-Theoretic Convolutional Neural Network Applied for the Multi-Pursuer Multi-Evader Game

Sid,

Djezzar,

Souidi

et al. 2023

cai

View full text Add to dashboard Cite

show abstract

“…CT is based on the mathematical composition as a whole of operation between objects, morphisms or functors, or even between categories, Composition: From the arrows : It includes the following data [17]:…”

Section: Problem Descriptionmentioning

confidence: 99%

A Formal Composition of Multi-Agent Organization based on Category Theory

Boudjidj¹,

Souidi²

2022

Computer Science &Amp; Technology Trends

View full text Add to dashboard Cite

The application of organizational multi-agent systems (MAS) provides the possibility of solving complex distributed problems such as, task grouping mechanisms, supply chain management, and air traffic control. The composition of MAS organizational models can be considered as an effective solution to group different organizational multi-agent systems into a single organizational multi-agent system. The main objective of this paper is to provide a MAS organizational model based on the composition of two organizational models, Agent Group Role (AGR), and Yet Another Multi Agent Model (YAMAM), with the aim of providing a new MAS model combining the concepts of the composed organizational models. Category theory represents the mathematical formalism for studying and modeling different organizations in a categorical way. This paper is mainly based on the idea of modeling the multi-agent organization AGR and YAMAM in a categorical way in order to obtain formal semantic models describing these organizations of MAS, then compose them using also the theory of categories which represents a very sophisticated mathematical toolbox based on composition.

show abstract

“…The block head is an important part of the block, which stores version number [8], random number, timestamp [9], previous block hash, current block hash, and Merkle root; the block body seals up the relevant data of the transactions in which the block participates. These data are guaranteed to be true by digital signature and are summarized to the Merkle root by hash [10]. In the process of using blockchain, the blocks will not interact with the block body data directly but interact through the hash function in the block header.…”

Section: Blockchainmentioning

confidence: 99%

Supply Chain Optimization of Agricultural Products in The Internet Environment with Blockchain

Guan¹

2021

IJCAI

View full text Add to dashboard Cite

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

Cited by 4 publications

References 12 publications

New Game-Theoretic Convolutional Neural Network Applied for the Multi-Pursuer Multi-Evader Game

New Game-Theoretic Convolutional Neural Network Applied for the Multi-Pursuer Multi-Evader Game

A Formal Composition of Multi-Agent Organization based on Category Theory

Supply Chain Optimization of Agricultural Products in The Internet Environment with Blockchain

Contact Info

Product

Resources

About