Reconfigurable Interaction for MAS Modelling

Reconfigurable Interaction for MAS Modelling. Abd Alrahman, Y., Perelli, G., & Piterman, N. In Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, of AAMAS '20, pages 7-15, Richland, SC, 2020. International Foundation for Autonomous Agents and Multiagent Systems.

Paper abstract bibtex 29 downloads

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.

@inproceedings{rcp,
  author    = {Abd Alrahman, Yehia and Perelli, Giuseppe and Piterman, Nir},
  title     = {Reconfigurable Interaction for MAS Modelling},
  year      = {2020},
  isbn      = {9781450375184},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  address   = {Richland, SC},
  booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems},
  pages     = {7-15},
  numpages  = {9},
  keywords  = {verification of multi-agent systems, logics for agent reasoning, agent theories and models},
  location  = {Auckland, New Zealand},
  series    = {AAMAS '20},
  url       = {https://dl.acm.org/doi/abs/10.5555/3398761.3398768},
  abstract  = {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.}
}

Downloads: 29