Formal Definition
An -player strategic game is characterized by an action set and utility function for each player . When player chooses strategy and the remaining players choose a strategy profile described by the -tuple, then player 's utility is .
A "strategy modification" for player is a function . That is, tells player to modify his behavior by playing action when instructed to play .
Let be a countable probability space. For each player, let be his information partition, be 's posterior and let, assigning the same value to states in the same cell of 's information partition. Then is a correlated equilibrium of the strategic game if for every player and for every strategy modification :
In other words, is a correlated equilibrium if no player can improve his expected utility via a strategy modification.
Read more about this topic: Correlated Equilibrium
Famous quotes containing the words formal and/or definition:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)