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:
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)