Payoff Function
   HOME

TheInfoList



OR:

In
game theory Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed ...
, normal form is a description of a ''game''. Unlike extensive form, normal-form representations are not graphical ''per se'', but rather represent the game by way of a
matrix Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the m ...
. While this approach can be of greater use in identifying strictly dominated strategies and
Nash equilibria In game theory, the Nash equilibrium is the most commonly used solution concept for non-cooperative games. A Nash equilibrium is a situation where no player could gain by changing their own strategy (holding all other players' strategies fixed) ...
, some information is lost as compared to extensive-form representations. The normal-form representation of a game includes all perceptible and conceivable
strategies Strategy (from Greek στρατηγία ''stratēgia'', "troop leadership; office of general, command, generalship") is a general plan to achieve one or more long-term or overall goals under conditions of uncertainty. In the sense of the "art o ...
, and their corresponding payoffs, for each player. In static games of
complete Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...
,
perfect information Perfect information is a concept in game theory and economics that describes a situation where all players in a game or all participants in a market have knowledge of all relevant information in the system. This is different than complete informat ...
, a normal-form representation of a game is a specification of players' strategy spaces and payoff functions. A strategy space for a player is the set of all strategies available to that player, whereas a strategy is a complete plan of action for every stage of the game, regardless of whether that stage actually arises in play. A payoff function for a player is a mapping from the cross-product of players' strategy spaces to that player's set of payoffs (normally the set of real numbers, where the number represents a
cardinal Cardinal or The Cardinal most commonly refers to * Cardinalidae, a family of North and South American birds **''Cardinalis'', genus of three species in the family Cardinalidae ***Northern cardinal, ''Cardinalis cardinalis'', the common cardinal of ...
or
ordinal utility In economics, an ordinal utility function is a function representing the preferences of an agent on an ordinal scale. Ordinal utility theory claims that it is only meaningful to ask which option is better than the other, but it is meaningless to as ...
—often cardinal in the normal-form representation) of a player, i.e. the payoff function of a player takes as its input a strategy profile (that is a specification of strategies for every player) and yields a representation of payoff as its output.


An example

The matrix provided is a normal-form representation of a game in which players move simultaneously (or at least do not observe the other player's move before making their own) and receive the payoffs as specified for the combinations of actions played. For example, if player 1 plays top and player 2 plays left, player 1 receives 4 and player 2 receives 3. In each cell, the first number represents the payoff to the row player (in this case player 1), and the second number represents the payoff to the column player (in this case player 2).


Other representations

Often,
symmetric game In game theory, a symmetric game is a game where the payoffs for playing a particular strategy depend only on the other strategies employed, not on who is playing them. If one can change the identities of the players without changing the payoff t ...
s (where the payoffs do not depend on which player chooses each action) are represented with only one payoff. This is the payoff for the row player. For example, the payoff matrices on the right and left below represent the same game. The topological space of games with related payoff matrices can also be mapped, with adjacent games having the most similar matrices. This shows how incremental incentive changes can change the game.


Uses of normal form


Dominated strategies

The payoff matrix facilitates elimination of dominated strategies, and it is usually used to illustrate this concept. For example, in the
prisoner's dilemma The prisoner's dilemma is a game theory thought experiment involving two rational agents, each of whom can either cooperate for mutual benefit or betray their partner ("defect") for individual gain. The dilemma arises from the fact that while def ...
, we can see that each prisoner can either "cooperate" or "defect". If exactly one prisoner defects, he gets off easily and the other prisoner is locked up for a long time. However, if they both defect, they will both be locked up for a shorter time. One can determine that ''Cooperate'' is strictly dominated by ''Defect''. One must compare the first numbers in each column, in this case 0 > −1 and −2 > −5. This shows that no matter what the column player chooses, the row player does better by choosing ''Defect''. Similarly, one compares the second payoff in each row; again 0 > −1 and −2 > −5. This shows that no matter what row does, column does better by choosing ''Defect''. This demonstrates the unique
Nash equilibrium In game theory, the Nash equilibrium is the most commonly used solution concept for non-cooperative games. A Nash equilibrium is a situation where no player could gain by changing their own strategy (holding all other players' strategies fixed) ...
of this game is (''Defect'', ''Defect'').


Sequential games in normal form

These matrices only represent games in which moves are simultaneous (or, more generally, information is
imperfect The imperfect ( abbreviated ) is a verb form that combines past tense (reference to a past time) and imperfective aspect (reference to a continuing or repeated event or state). It can have meanings similar to the English "was doing (something)" o ...
). The above matrix does not represent the game in which player 1 moves first, observed by player 2, and then player 2 moves, because it does not specify each of player 2's strategies in this case. In order to represent this
sequential game In game theory, a sequential game is defined as a game where one player selects their action before others, and subsequent players are informed of that choice before making their own decisions. This turn-based structure, governed by a time axis, d ...
we must specify all of player 2's actions, even in contingencies that can never arise in the course of the game. In this game, player 2 has actions, as before, ''Left'' and ''Right''. Unlike before he has four strategies, contingent on player 1's actions. The strategies are: # ''Left if player 1 plays Top and Left otherwise'' # ''Left if player 1 plays Top and Right otherwise'' # ''Right if player 1 plays Top and Left otherwise'' # ''Right if player 1 plays Top and Right otherwise'' On the right is the normal-form representation of this game.


General formulation

In order for a game to be in normal form, we are provided with the following data: There is a finite set ''I'' of players, each player is denoted by ''i''. Each player ''i'' has a finite ''k'' number of
pure strategies In game theory, a move, action, or play is any one of the options which a player can choose in a setting where the optimal outcome depends ''not only'' on their own actions ''but'' on the actions of others. The discipline mainly concerns the actio ...
:: S_i = \. A is an association of strategies to players, that is an ''I''-
tuple In mathematics, a tuple is a finite sequence or ''ordered list'' of numbers or, more generally, mathematical objects, which are called the ''elements'' of the tuple. An -tuple is a tuple of elements, where is a non-negative integer. There is o ...
: \vec = (s_1, s_2, \ldots,s_I) such that : s_1 \in S_1, s_2 \in S_2, \ldots, s_I \in S_I A is a function : u_i: S_1 \times S_2 \times \ldots \times S_I \rightarrow \mathbb. whose intended interpretation is the award given to a single player at the outcome of the game. Accordingly, to completely specify a game, the payoff function has to be specified for each player in the player set ''I''= . Definition: A ''game in normal form'' is a structure : \Tau=\langle I, \mathbf, \mathbf\rangle where: :I=\ is a set of players, :\mathbf= \ is an ''I''-tuple of pure strategy sets, one for each player, and : \mathbf = \ is an ''I''-tuple of payoff functions.


References

* * . An 88-page mathematical introduction
free online
at many universities. * * . A comprehensive reference from a computational perspective; see Chapter 3

* * J. von Neumann and O. Morgenstern, ''Theory of games and Economic Behavior'', John Wiley Science Editions, 1964. Which was originally published in 1944 by Princeton University Press. {{Matrix classes Game theory game classes