Reasoning about equilibria in game-like concurrent systems

Julian Gutierrez; Paul Harrenstein; Michael Wooldridge

Reasoning about equilibria in game-like concurrent systems

Julian Gutierrez, Paul Harrenstein, Michael Wooldridge

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

Abstract

Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. We first present a computational model for such systems, and investigate its properties. We then define and investigate a branching-time logic for reasoning about the equilibrium properties of such systems. The key operator in this logic is a path quantifier [NE]φ, which asserts that φ holds on all Nash equilibrium computations of the system.

Original language	English
Title of host publication	Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning
Editors	Chitta Baral, Giuseppe De Giacomo
Place of Publication	Marina del Rey CA USA
Publisher	Association for the Advancement of Artificial Intelligence (AAAI)
Pages	408-417
Number of pages	10
ISBN (Electronic)	9781577356578
Publication status	Published - 2014
Externally published	Yes
Event	International Conference on the Principles of Knowledge Representation and Reasoning 2014 - Vienna, Austria Duration: 20 Jul 2014 → 24 Jul 2014 Conference number: 14th https://www.dbai.tuwien.ac.at/kr2014/

Conference

Conference	International Conference on the Principles of Knowledge Representation and Reasoning 2014
Abbreviated title	KR 2014
Country/Territory	Austria
City	Vienna
Period	20/07/14 → 24/07/14
Internet address	https://www.dbai.tuwien.ac.at/kr2014/

Keywords

Games
Concurrency
Equilibria
Complexity

Access to Document

301274307-oaFinal published version, 433 KB

https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7925

Cite this

Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2014). Reasoning about equilibria in game-like concurrent systems. In C. Baral, & G. De Giacomo (Eds.), Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 408-417). Association for the Advancement of Artificial Intelligence (AAAI). https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7925

Gutierrez, Julian ; Harrenstein, Paul ; Wooldridge, Michael. / Reasoning about equilibria in game-like concurrent systems. Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. editor / Chitta Baral ; Giuseppe De Giacomo. Marina del Rey CA USA : Association for the Advancement of Artificial Intelligence (AAAI), 2014. pp. 408-417

@inproceedings{9fd78ac5f01d4488966dde93480fe755,

title = "Reasoning about equilibria in game-like concurrent systems",

abstract = "Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. We first present a computational model for such systems, and investigate its properties. We then define and investigate a branching-time logic for reasoning about the equilibrium properties of such systems. The key operator in this logic is a path quantifier [NE]φ, which asserts that φ holds on all Nash equilibrium computations of the system.",

keywords = "Games, Concurrency, Equilibria, Complexity",

author = "Julian Gutierrez and Paul Harrenstein and Michael Wooldridge",

year = "2014",

language = "English",

pages = "408--417",

editor = "Baral, {Chitta } and {De Giacomo}, {Giuseppe }",

booktitle = "Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning",

publisher = "Association for the Advancement of Artificial Intelligence (AAAI)",

address = "United States of America",

note = "International Conference on the Principles of Knowledge Representation and Reasoning 2014, KR 2014 ; Conference date: 20-07-2014 Through 24-07-2014",

url = "https://www.dbai.tuwien.ac.at/kr2014/",

}

Gutierrez, J, Harrenstein, P & Wooldridge, M 2014, Reasoning about equilibria in game-like concurrent systems. in C Baral & G De Giacomo (eds), Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence (AAAI), Marina del Rey CA USA, pp. 408-417, International Conference on the Principles of Knowledge Representation and Reasoning 2014, Vienna, Austria, 20/07/14. <https://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7925>

Reasoning about equilibria in game-like concurrent systems. / Gutierrez, Julian; Harrenstein, Paul; Wooldridge, Michael.
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. ed. / Chitta Baral; Giuseppe De Giacomo. Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), 2014. p. 408-417.

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

TY - GEN

T1 - Reasoning about equilibria in game-like concurrent systems

AU - Gutierrez, Julian

AU - Harrenstein, Paul

AU - Wooldridge, Michael

N1 - Conference code: 14th

PY - 2014

Y1 - 2014

N2 - Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. We first present a computational model for such systems, and investigate its properties. We then define and investigate a branching-time logic for reasoning about the equilibrium properties of such systems. The key operator in this logic is a path quantifier [NE]φ, which asserts that φ holds on all Nash equilibrium computations of the system.

AB - Our aim is to develop techniques for reasoning about gamelike concurrent systems, where the components of the system act rationally and strategically in pursuit of logicallyspecified goals. We first present a computational model for such systems, and investigate its properties. We then define and investigate a branching-time logic for reasoning about the equilibrium properties of such systems. The key operator in this logic is a path quantifier [NE]φ, which asserts that φ holds on all Nash equilibrium computations of the system.

KW - Games

KW - Concurrency

KW - Equilibria

KW - Complexity

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

M3 - Conference Paper

AN - SCOPUS:84962129095

SP - 408

EP - 417

BT - Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning

A2 - Baral, Chitta

A2 - De Giacomo, Giuseppe

PB - Association for the Advancement of Artificial Intelligence (AAAI)

CY - Marina del Rey CA USA

T2 - International Conference on the Principles of Knowledge Representation and Reasoning 2014

Y2 - 20 July 2014 through 24 July 2014

ER -

Reasoning about equilibria in game-like concurrent systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Research output

Reasoning about equilibria in game-like concurrent systems

Cite this