Mathematical Models for Multi-Agent Systems.:
There are several aspects that need to be looked at: algebraic, logical, coalgebraic and geometric/combinatorial.
One project involving a categorical approach is
Categorical / coalgebraic perspectives on Multiagent Systems.
This concentrates on the logics that result from MASs. The structures are combinatorial or more exactly coalgebraic and are closely related to those underlying global actions (see the mathematical research topics). The categorical structure of these objects is fascinating, especially as several known constructions from epistemic logic would seem to be analogues of well known homotopy theoretic constructions. Specific aims include (a) the construction of mapping space objects (cartesian closedness); (b) the study of interactions between communicating MASs with different classes of agents. This is expected to use the theory of Institutions (Burstall and Goguen) to account for the interaction between the models.
This page was last modified on 26-10-2005. T.P.