Catalogo dei prodotti della ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe 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.
| Titolo: | Reasoning about quality and fuzziness of strategic behaviours |
| Autori: | PERELLI, GIUSEPPE (Corresponding author) |
| Data di pubblicazione: | 2019 |
| Rivista: | |
| Citazione: | 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. |
| Handle: | http://hdl.handle.net/11573/1403362 |
| ISBN: | 978-099924114-1 |
| Appartiene alla tipologia: | 04c Atto di convegno in rivista |
File allegati a questo prodotto
| File | Note | Tipologia | Licenza | |
|---|---|---|---|---|
| Bouyer_Postprint_Reasoning_2019.pdf | https://doi.org/10.24963/ijcai.2019/220 | Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione) | Tutti i diritti riservati (All rights reserved) | Open Access Visualizza/Apri |
| Bouyer_Reasoning_2019.pdf | Versione editoriale (versione pubblicata con il layout dell'editore) | Tutti i diritti riservati (All rights reserved) | Administrator Richiedi una copia |
Copyright © 2021