In this paper, we introduce a new logic suitable to reason about strategic abilities of multi-agent systems where (teams of) agents are subject to qualitative (parity) and quantitative (energy) constraints and where goals are represented, as usual, by means of temporal properties. We formally define such a logic, named parity-energy-atl (peatl, for short), and we study its model checking problem, which we prove to be decidable with different complexity upper bounds, depending on different choices for the energy range.
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS
Della Monica, D.;
2018-01-01
Abstract
In this paper, we introduce a new logic suitable to reason about strategic abilities of multi-agent systems where (teams of) agents are subject to qualitative (parity) and quantitative (energy) constraints and where goals are represented, as usual, by means of temporal properties. We formally define such a logic, named parity-energy-atl (peatl, for short), and we study its model checking problem, which we prove to be decidable with different complexity upper bounds, depending on different choices for the energy range.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
aamas18_editor.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
929.99 kB
Formato
Adobe PDF
|
929.99 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
aamas18_post.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
716.98 kB
Formato
Adobe PDF
|
716.98 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
