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