Reconfigurable Interaction for MAS Modelling
This work addresses the challenge of formal modeling for multi-agent systems, which is incremental as it builds on existing LTL and multi-agent frameworks.
The authors tackled the problem of modeling and reasoning about multi-agent systems by proposing a formalism that allows agents to interact in different modes, such as synchronizing and reconfiguring communication, and extended LTL to reason about agent intentions and protocols, while analyzing the complexity of satisfiability and model-checking.
We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and reconfigure their communication interfaces. The formalism defines a local behaviour based on shared variables and a global one based on message passing. We extend LTL to be able to reason explicitly about the intentions of the different agents and their interaction protocols. We also study the complexity of satisfiability and model-checking of this extension.