Reasoning about Quality and Fuzziness of Strategic Behaviours
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*.
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).
CitationProceedings 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
SourceTwenty-Eighth International Joint Conference on Artificial Intelligence
- AM (Accepted Manuscript)