Logics for Non-Cooperative Games with Expectations
Logics for Non-Cooperative Games with Expectations
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.
Godo acknowledges support from the Spanish projects EdeTRI (TIN2012-39348-C02-01) and AT (CONSOLIDER CSD 2007-0022). Marchioni acknowledges support from the Marie Curie Project NAAMSI (FP7-PEOPLE-2011-IEF).
Peer Reviewed
Logique en informatique, Logical characterisation, Non-cooperative games, Informatique et langage, Expectations, Intelligence artificielle, Strategic choice, Complexity results, Apprentissage, Computational characterisation, Noncooperative games, Noncooperative game, Payoff function, Discrete polynomials
Logique en informatique, Logical characterisation, Non-cooperative games, Informatique et langage, Expectations, Intelligence artificielle, Strategic choice, Complexity results, Apprentissage, Computational characterisation, Noncooperative games, Noncooperative game, Payoff function, Discrete polynomials
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!