Modelling Multi-agent Systems with Category Theory
Procedia Computer Science(2015)
摘要
The aim of this paper is to formalize the connection between two widely separated branches of knowledge: multi-agent 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.
更多查看译文
关键词
Category theory,multi-agent systems,formal methods.
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络