IJCAI19-Perelli1.pdf (301.73 kB)
Download fileReasoning about Quality and Fuzziness of Strategic Behaviours
conference contribution
posted on 2020-12-01, 12:08 authored by Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe PerelliWe 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/220Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of InformaticsSource
Twenty-Eighth International Joint Conference on Artificial IntelligenceVersion
- AM (Accepted Manuscript)
