University of Leicester
Browse
IJCAI19-Perelli1.pdf (301.73 kB)

Reasoning about Quality and Fuzziness of Strategic Behaviours

Download (301.73 kB)
Version 2 2020-12-01, 12:08
Version 1 2020-05-18, 16:23
conference contribution
posted on 2020-12-01, 12:08 authored by Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

We introduce and study SL[F]—a quantitative ex-tension 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*.

Funding

Perelli thanks the support of the project “dSynMA”, funded by the ERC under the European Union’s Horizon 2020research and innovation programme (grant agreement No772459). Bouyer and Markey thank the support of the ERCProject EQualIS (308087).

History

Citation

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence Main track. Pages 1588-1594. https://doi.org/10.24963/ijcai.2019/220

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Source

Twenty-Eighth International Joint Conference on Artificial Intelligence

Version

  • AM (Accepted Manuscript)

Published in

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

Volume

Main track

Pagination

1588-1594

Publisher

International Joint Conferences on Artificial Intelligence (IJCAI)

isbn

978-0-9992411-4-1

Acceptance date

2019-05-10

Copyright date

2019

Spatial coverage

Macao

Temporal coverage: start date

2019-08-10

Temporal coverage: end date

2019-08-16

Language

en