Reconfigurable Interaction for MAS Modelling

In this talk, I will present a formalism to model and reason about multi-agent systems. The formalism allows 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. I will also present an extension to LTL for reasoning explicitly about the intentions of the different agents and their interaction protocols. Finally, I will present a complexity result on satisfiability and model-checking of this extension. This talk is based on a recent paper accepted for AAMAS 2020 and co-authored with Giuseppe Perelli and Nir Piterman.

Authors

• Yehia Abd Alrahman

Keywords

No keywords are indexed for this paper.