Logics for Non-Cooperative Games with Expectations

Abstract : We introduce the logics E(G) for reasoning about probabilistic expectation over classes G of games with discrete polynomial payoff functions represented by finite-valued Lukasiewicz formulas and provide completeness and complexity results. In addition, we introduce a new class of games where players’ expected payoff functions are encoded by E(G)-formulas. In these games each player’s aim is to randomise her strategic choices in order to affect the other players’ expectations over an outcome as well as their own. We offer a logical and computational characterisation of this new class of games.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01141906
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, April 14, 2015 - 9:55:50 AM
Last modification on : Thursday, June 27, 2019 - 4:27:49 PM
Long-term archiving on : Monday, September 14, 2015 - 8:10:32 AM

File

Godo_12907.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01141906, version 1
  • OATAO : 12907

Collections

Citation

Lluis Godo, Enrico Marchioni. Logics for Non-Cooperative Games with Expectations. European Workshop on Multi-Agent Systems - EUMAS 2013, Dec 2013, Toulouse, France. pp. 82-96. ⟨hal-01141906⟩

Share

Metrics

Record views

90

Files downloads

50