Reasoning About Quality and Fuzziness of Strategic Behaviours
Abstract
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*.
Cite
Text
Bouyer et al. "Reasoning About Quality and Fuzziness of Strategic Behaviours." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/220Markdown
[Bouyer et al. "Reasoning About Quality and Fuzziness of Strategic Behaviours." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/bouyer2019ijcai-reasoning/) doi:10.24963/IJCAI.2019/220BibTeX
@inproceedings{bouyer2019ijcai-reasoning,
title = {{Reasoning About Quality and Fuzziness of Strategic Behaviours}},
author = {Bouyer, Patricia and Kupferman, Orna and Markey, Nicolas and Maubert, Bastien and Murano, Aniello and Perelli, Giuseppe},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1588-1594},
doi = {10.24963/IJCAI.2019/220},
url = {https://mlanthology.org/ijcai/2019/bouyer2019ijcai-reasoning/}
}