In order to Solve the problem of cooperation in MAS(multi-agent system), it is a familiar idea to built up a system by logic. We consider the cooperation in a dynamic environment, and then present a dynamic coalition logic (DCL) system. Furthermore, we define the steps for coalition formation. Finally, we compare DCL with other coalition logic.
In order to characterize the agent, there is a presupposition that each agent has its set of propositions. The model is based upon our prior observation, and satisfies many properties. Furthermore, we describe concretely the desire of agent by twin-subset semantics of desire operator. If friendship for learning of two agents have been made, one agent has… (More)