Strategic executions of choreographed timed normative multi-agent systems

This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force action execution to happen before certain time invariants are violated. In such multiagent systems we achieve coordination at two orthogonal levels with respect to states and actions. On the one hand, the behaviour of individual agents is regulated by means of social and organisational inspired concepts like norms and sanctions. On the other hand, the behaviour of sets of agents is restricted according to action-based coordination mechanisms called choreographies. In both cases, the resulting behaviour is constrained by time. Categories and Subject Descriptors I.2.11 [Distributed Artificial Intelligence]: Multiagent systems General Terms Agent Languages, Theory, Verification Keywords Formal models of agency, Normative systems, Coordination

• Type: Conference
• Year: 2010
• Where: ATAL
• Authors: Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
• Keywords: ATAL 2010, Intelligent Agents, Multi-agent System, Multiagent Systems, Normative Multi-agent Systems