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.

Reconfigurable Interaction for MAS Modelling / Abd Alrahman, Yehia; Perelli, Giuseppe; Piterman, Nir. - (2020), pp. 7-15. (Intervento presentato al convegno 19th International Conference on Autonomous Agents and Multiagent Systems tenutosi a Auckland; New Zealand).

Reconfigurable Interaction for MAS Modelling

Giuseppe Perelli
;
2020

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.
2020
19th International Conference on Autonomous Agents and Multiagent Systems
Multi-agent Systems; Temporal Logics; Model-Checking
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Reconfigurable Interaction for MAS Modelling / Abd Alrahman, Yehia; Perelli, Giuseppe; Piterman, Nir. - (2020), pp. 7-15. (Intervento presentato al convegno 19th International Conference on Autonomous Agents and Multiagent Systems tenutosi a Auckland; New Zealand).
File allegati a questo prodotto
File Dimensione Formato  
Alrahman _Reconfigurable_2020.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.36 MB
Formato Adobe PDF
1.36 MB Adobe PDF   Contatta l'autore
Alrahman _postprint_Reconfigurable_2020.pdf

accesso aperto

Note: https://dl.acm.org/doi/pdf/10.5555/3398761.3398768
Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 260.22 kB
Formato Adobe PDF
260.22 kB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1431446
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? ND
social impact