Reasoning about quality and fuzziness of strategic behaviours

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

doi:10.24963/ijcai.2019/220

Reasoning about quality and fuzziness of strategic behaviours

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

The Rachel and Selim Benin School of Engineering and Computer Science

The Hebrew University of Jerusalem

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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
Pages	1588-1594
Number of pages	7
ISBN (Electronic)	9780999241141
DOIs	https://doi.org/10.24963/ijcai.2019/220
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

Conference

Conference	28th International Joint Conference on Artificial Intelligence, IJCAI 2019
Country/Territory	China
City	Macao
Period	10/08/19 → 16/08/19

All Science Journal Classification (ASJC) codes

Artificial Intelligence

Access to Document

10.24963/ijcai.2019/220

Cite this

Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., & Perelli, G. (2019). Reasoning about quality and fuzziness of strategic behaviours. In S. Kraus (Ed.), Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (pp. 1588-1594). (IJCAI International Joint Conference on Artificial Intelligence; Vol. 2019-August). https://doi.org/10.24963/ijcai.2019/220

@inproceedings{f1d968393af04a01a130bbf972bd7808,

title = "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 our logic, based on a quantitative extension of Quantified CTL?.",

author = "Patricia Bouyer and Orna Kupferman and Nicolas Markey and Bastien Maubert and Aniello Murano and Giuseppe Perelli",

note = "Publisher Copyright: {\textcopyright} 2019 International Joint Conferences on Artificial Intelligence. All rights reserved.; 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 ; Conference date: 10-08-2019 Through 16-08-2019",

year = "2019",

doi = "10.24963/ijcai.2019/220",

language = "الإنجليزيّة",

series = "IJCAI International Joint Conference on Artificial Intelligence",

pages = "1588--1594",

editor = "Sarit Kraus",

booktitle = "Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019",

}

Bouyer, P, Kupferman, O, Markey, N, Maubert, B, Murano, A & Perelli, G 2019, Reasoning about quality and fuzziness of strategic behaviours. in S Kraus (ed.), Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. IJCAI International Joint Conference on Artificial Intelligence, vol. 2019-August, pp. 1588-1594, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, 10/08/19. https://doi.org/10.24963/ijcai.2019/220

Reasoning about quality and fuzziness of strategic behaviours. / Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas et al.
Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. ed. / Sarit Kraus. 2019. p. 1588-1594 (IJCAI International Joint Conference on Artificial Intelligence; Vol. 2019-August).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Reasoning about quality and fuzziness of strategic behaviours

AU - Bouyer, Patricia

AU - Kupferman, Orna

AU - Markey, Nicolas

AU - Maubert, Bastien

AU - Murano, Aniello

AU - Perelli, Giuseppe

PY - 2019

Y1 - 2019

N2 - 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?.

AB - 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?.

UR - http://www.scopus.com/inward/record.url?scp=85074922709&partnerID=8YFLogxK

U2 - 10.24963/ijcai.2019/220

DO - 10.24963/ijcai.2019/220

M3 - منشور من مؤتمر

T3 - IJCAI International Joint Conference on Artificial Intelligence

SP - 1588

EP - 1594

BT - Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019

A2 - Kraus, Sarit

T2 - 28th International Joint Conference on Artificial Intelligence, IJCAI 2019

Y2 - 10 August 2019 through 16 August 2019

ER -

Reasoning about quality and fuzziness of strategic behaviours

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this