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 our logic, based on a quantitative extension of Quantified CTL?.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 |
| Editors | Sarit Kraus |
| Publisher | International Joint Conferences on Artificial Intelligence |
| Pages | 1588-1594 |
| Number of pages | 7 |
| ISBN (Electronic) | 9780999241141 |
| DOIs | |
| State | Published - 2019 |
| Event | 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 - Macao, China Duration: 10 Aug 2019 → 16 Aug 2019 |
Publication series
| Name | IJCAI International Joint Conference on Artificial Intelligence |
|---|---|
| Volume | 2019-August |
| ISSN (Print) | 1045-0823 |
Conference
| Conference | 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 |
|---|---|
| Country/Territory | China |
| City | Macao |
| Period | 10/08/19 → 16/08/19 |
Bibliographical note
Publisher Copyright:© 2019 International Joint Conferences on Artificial Intelligence. All rights reserved.