Reasoning about Quality and Fuzziness of Strategic Behaviours-Reference-Cited by-同舟云学术

Reasoning about Quality and Fuzziness of Strategic Behaviours

Published:2019-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
language:
Short-container-title:

Author:

Bouyer Patricia¹,Kupferman Orna²,Markey Nicolas³,Maubert Bastien⁴,Murano Aniello⁴,Perelli Giuseppe⁵

Affiliation:

1. LSV, CNRS & ENS Paris-Saclay, Univ. Paris-Saclay, France

2. Hebrew University, Israel

3. Irisa, CNRS & Inria & Univ. Rennes, France

4. Università degli Studi di Napoli ``Federico II'', Italy

5. University of Leicester, UK

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*.

Publisher

International Joint Conferences on Artificial Intelligence Organization

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deriving Delay-Robust Timed Graph Transformation System Models;Lecture Notes in Computer Science;2024

2. Reasoning about Quality and Fuzziness of Strategic Behaviors;ACM Transactions on Computational Logic;2023-04-07

3. The Complexity of LTL Rational Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2022

4. Autonomics: In search of a foundation for next-generation autonomous systems;Proceedings of the National Academy of Sciences;2020-07-21