Bayesian Rationality in Satisfaction Games

TL;DR

This paper introduces Bayesian satisfaction, a new game theory paradigm combining Bayesian rationality and satisfaction games, to analyze resource allocation with stable equilibrium outcomes and effective iterative algorithms.

Contribution

It proposes a novel class of equilibrium in satisfaction games based on Bayesian rationality, linking it to correlated equilibria, and develops algorithms for computing these equilibria.

Findings

Algorithms reliably find equilibrium outcomes

New equilibrium concept unifies existing notions

Numerical examples demonstrate algorithm effectiveness

Abstract

We introduce a new paradigm for game theory -- Bayesian satisfaction. This novel approach is a synthesis of the idea of Bayesian rationality introduced by Aumann, and satisfaction games. The concept of Bayesian rationality for which, in part, Robert Aumann was awarded the Nobel Prize in 2005, is concerned with players in a game acting in their own best interest given a subjective knowledge of the other players' behaviours as represented by a probability distribution. Satisfaction games have emerged in the engineering literature as a way of modelling competitive interactions in resource allocation problems where players seek to attain a specified level of utility, rather than trying to maximise utility. In this paper, we explore the relationship between optimality in Aumann's sense (correlated equilibria), and satisfaction in games. We show that correlated equilibria in a satisfaction game represent stable outcomes in which no player can increase their probability of satisfaction by unilateral deviation from the specified behaviour. Thus, we propose a whole new class of equilibrium outcomes in satisfaction games which include existing notions of equilibria in such games. Iterative algorithms for computing such equilibria based on the existing ideas of regret matching are presented and interpreted within the satisfaction framework. Numerical examples of resource allocation are presented to illustrate the behaviour of these algorithms. A notable feature of these algorithms is that they almost always find equilibrium outcomes whereas existing approaches in satisfaction games may not.