Modelling multi-agent systems with category theory

Olga Ormandjieva, Jamal Bentahar, Jinzi Huang, Heng Kuang

Research output: Contribution to journalConference articlepeer-review

10 Scopus citations


The aim of this paper is to formalize the connection between two widely separated branches of knowledge: multiagent systems (MAS) and category theory. The relationship of category theory to multi-agent systems is as follows: (1) agents and their relations are represented as categorical concepts; and (2) verification of system properties becomes constructive proof in category theory. Proposing a categorical approach to specify MAS properties requires a deep understanding of both the system and these properties in order to be able to abstract and reason about them in a categorical framework. The paper uses the MAS fault-tolerance property as an application of the categorical proof.

Original languageBritish English
Pages (from-to)538-545
Number of pages8
JournalProcedia Computer Science
Issue number1
StatePublished - 2015
EventThe International Conference on Ambient Systems, Networks and Technologies, ANT-2015, the International Conference on Sustainable Energy Information Technology, SEIT-2015 - London, United Kingdom
Duration: 2 Jun 20155 Jun 2015


  • Category theory
  • Formal methods
  • Multi-agent systems


Dive into the research topics of 'Modelling multi-agent systems with category theory'. Together they form a unique fingerprint.

Cite this