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.
@article{arxiv.1906.10793,
title = {Reconfigurable Interaction for MAS Modelling},
author = {Yehia Abd Alrahman and Giuseppe Perelli and Nir Piterman},
journal= {arXiv preprint arXiv:1906.10793},
year = {2020}
}
Comments
This is a final and revised version. This research is funded by the ERC consolidator grant D-SynMA under the European Union's Horizon 2020 research and innovation programme (grant agreement No 772459)