Coalition Logic of Propositional Control Based Multi Agent System Modeling

Modeling of multi agent system behavior is very important part in the designing process. There are numerous logics which can fulfil this task. Several of them create group of logics called cooperation logics, which can model agent's cooperation behavior in the system. This paper presents an application of cooperation logic called coalition logic of propositional control (CL-PC) by van der Hoek and Wooldridge (2005). Similar logics such as alternating-time temporal logics look on the cooperation between agents like a sequence of actions, but CL-PC handles this cooperation problem by defining coalitions. The proposed application is a part of a discrete event dynamic system simulator based on agent technology which implements concurrent operation specification language. The main goal of this simulator's part is to transport of data between control logic generator and controlled discrete event system. Agents have to find a coalition which is able to transport data from its source into right destination