Reasoning about Quality and Fuzziness of Strategic Behaviours

Reasoning about Quality and Fuzziness of Strategic Behaviours

Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

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

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 ourlogic, based on a quantitative extension of Quantified CTL*.
Keywords:
Knowledge Representation and Reasoning: Preference Modelling and Preference-Based Reasoning
Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis