We introduce and study SL[F]-a quantitative extension of SL (Strategy Logic), one of the most natural and expressive logics describing strategic behaviours. The satisfaction value of an SL[F] formula is a real value in [0, 1], reflecting “how much” or “how well” the strategic on-going objectives of the underlying agents are satisfied. We demonstrate the applications of SL[F] in quantitative reasoning about multi-agent systems, by showing how it can express concepts of stability in multi-agent systems, and how it generalises some fuzzy temporal logics. We also provide a model-checking algorithm for our logic, based on a quantitative extension of Quantified CTL?.
Reasoning about quality and fuzziness of strategic behaviours / Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.. - In: IJCAI. - ISSN 1045-0823. - 2019-:(2019), pp. 1588-1594. (Intervento presentato al convegno 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 tenutosi a Macao; China) [10.24963/ijcai.2019/220].
Reasoning about quality and fuzziness of strategic behaviours
Perelli G.
2019
Abstract
We introduce and study SL[F]-a quantitative extension of SL (Strategy Logic), one of the most natural and expressive logics describing strategic behaviours. The satisfaction value of an SL[F] formula is a real value in [0, 1], reflecting “how much” or “how well” the strategic on-going objectives of the underlying agents are satisfied. We demonstrate the applications of SL[F] in quantitative reasoning about multi-agent systems, by showing how it can express concepts of stability in multi-agent systems, and how it generalises some fuzzy temporal logics. We also provide a model-checking algorithm for our logic, based on a quantitative extension of Quantified CTL?.| File | Dimensione | Formato | |
|---|---|---|---|
|
Bouyer_Postprint_Reasoning_2019.pdf
accesso aperto
Note: https://doi.org/10.24963/ijcai.2019/220
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
301.73 kB
Formato
Adobe PDF
|
301.73 kB | Adobe PDF | |
|
Bouyer_Reasoning_2019.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
172.96 kB
Formato
Adobe PDF
|
172.96 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
