Independence of irrelevant alternatives

Last updated

Independence of irrelevant alternatives (IIA), also known as binary independence, the independence axiom, is an axiom of decision theory and economics describing a necessary condition for rational behavior. The axiom says that a choice between and should not depend on the quality of a third, unrelated outcome .

Contents

The axiom is deeply connected to several of the most important results in social choice, welfare economics, ethics, and decision theory. Among these results are Arrow's impossibility theorem, the VNM utility theorem, Harsanyi's utilitarian theorem, and the Dutch book theorems.

Violations of IIA are called menu effects or menu dependence.

Motivation

This is sometimes explained with a short story by philosopher Sidney Morgenbesser:

Morgenbesser, ordering dessert, is told by a waitress that he can choose between blueberry or apple pie. He orders apple. Soon the waitress comes back and explains cherry pie is also an option. Morgenbesser replies "In that case, I'll have blueberry."

Independence of irrelevant alternatives rules out this kind of arbitrary behavior, by stating that:

If A(pple) is chosen over B(lueberry) in the choice set {A, B}, introducing a third option C(herry) must not result in B being chosen over A.

By field

Decision theory

In rational choice theory, IIA is one of the von Neumann-Morgenstern axioms, four axioms that together characterize rational choice under uncertainty (and establish that it can be represented as maximizing expected utility). One of these axioms generalizes IIA to random events.

Say we have two possible outcomes, (i.e. Good is preferred to Bad), and also an irrelevant outcome . Let be any probability. IIA states that a random probability of receiving rather than or does not affect our decision.

Here we write to mean a gamble (or lottery) with a probability of resulting in and probability of resulting in . Then, for any and (with the "irrelevant" part of the lottery underlined):

.

In other words, the probabilities involving cancel out, because the probability of is unchanged, regardless of which lottery we pick.

In prescriptive (or normative) models, independence of irrelevant alternatives is used together with the other VNM axioms to develop a theory of how rational agents should behave, often relying on the Dutch Book arguments.

Economics

In economics, the axiom is connected to the theory of revealed preferences. Economists often invoke IIA when building descriptive (positive) models of behavior to ensure agents have well-defined preferences that can be used for making testable predictions. If agents' behavior or preferences are allowed to change depending on irrelevant circumstances, any model could be made unfalsifiable by claiming some irrelevant circumstance must have changed when repeating the experiment. Often, the axiom is justified by arguing that any irrational agent will be money pumped until going bankrupt, making their preferences unobservable or irrelevant to the rest of the economy.

IIA is a direct consequence of the multinomial logit model in empirical econometrics.[ citation needed ]

Behavioral economics

While economists must often make do with assuming IIA for reasons of computation or to make sure they are addressing a well-posed problem, experimental economists have shown that real human decisions often violate IIA, known as a menu effect. For example, the decoy effect shows that inserting a $5 medium soda between a $3 small and $5.10 large can make customers perceive the large as a better deal (because it's "only 10 cents more than the medium"). Behavioral economics introduces models that weaken or remove the positive (not normative) assumption of IIA. This provides greater accuracy, at the cost of making the model more complex and more difficult to falsify.

Social choice

In social choice theory and election science, independence of irrelevant alternatives is often stated as "if one candidate (X) would win an election without a new candidate (Y), and Y is added to the ballot, then either X or Y should win the election." Situations where Y affects the outcome are called spoiler effects.

Arrow's impossibility theorem shows that no reasonable (non-random, non-dictatorial) ranked-choice voting voting system can satisfy IIA, even when voters are perfectly honest. However, Arrow's theorem does not apply to rated voting methods, which can (and typically do) pass IIA. Approval voting, score voting, and median voting all satisfy the IIA criterion and Pareto efficiency. Note that if new candidates are added to ballots without changing any of the ratings for existing ballots, the score of existing candidates remains unchanged, leaving the winner the same. Generalizations of Arrow's impossibility theorem show that if the voters change their rating scales depending on the candidates who are running, the outcome of cardinal voting may still be affected by the presence of non-winning candidates.

Other methods that pass IIA include sortition and random dictatorship.

Artificial intelligence

See also

Bibliography

Related Research Articles

Rational choice theory refers to a set of guidelines that help understand economic and social behaviour. The theory originated in the eighteenth century and can be traced back to the political economist and philosopher Adam Smith. The theory postulates that an individual will perform a cost–benefit analysis to determine whether an option is right for them. It also suggests that an individual's self-driven rational actions will help better the overall economy. Rational choice theory looks at three concepts: rational actors, self interest and the invisible hand.

In social choice theory, a Condorcet paradox is a situation where majority rule behaves in a way that is self-contradictory. In such a situation, every possible choice is rejected by the electorate in favor of another, because there is always some other outcome that a majority of voters consider to be better.

In social choice theory and politics, the spoiler effect refers to a situation where the entry of a losing candidate affects the results of an election. A voting system that is not affected by spoilers satisfies independence of irrelevant alternatives or independence of spoilers.

In economics, utility is a measure of the satisfaction that a certain person has from a certain state of the world. Over time, the term has been used in at least two different meanings.

Arrow's impossibility theorem is a celebrated result and key impossibility theorem in social choice theory. It shows that no ranked voting rule can produce a logically coherent ranking in elections with more than two candidates. Specifically, no such rule can satisfy a key criterion of decision theory, called independence of irrelevant alternatives: that its choice between and should not depend on the quality of a third, unrelated outcome .

In welfare economics and social choice theory, a social welfare function—also called a socialordering, ranking, utility, or choicefunction—is a function that ranks a set of social states by their desirability. A social welfare function takes two possible outcomes, then combines every person's preferences to determine which outcome is considered better by society as a whole. Inputs to the function can include any variables that affect the well-being of a society.

The Gibbard–Satterthwaite theorem is a theorem in voting theory. It was first conjectured by the philosopher Michael Dummett and the mathematician Robin Farquharson in 1961 and then proved independently by the philosopher Allan Gibbard in 1973 and economist Mark Satterthwaite in 1975. It deals with deterministic ordinal electoral systems that choose a single winner, and states that for every voting rule of this form, at least one of the following three things must hold:

  1. The rule is dictatorial, i.e. there exists a distinguished voter who can choose the winner; or
  2. The rule limits the possible outcomes to two alternatives only; or
  3. The rule is susceptible to tactical voting: in some situations, a voter's sincere ballot may not best defend their opinion.

The expected utility hypothesis is a foundational assumption in mathematical economics concerning decision making under uncertainty. It postulates that rational agents maximize utility, meaning the subjective desirability of their actions. Rational choice theory, a cornerstone of microeconomics, builds this postulate to model aggregate social behaviour.

In probability theory, Luce's choice axiom, formulated by R. Duncan Luce (1959), states that the probability of selecting one item over another from a pool of many items is not affected by the presence or absence of other items in the pool. Selection of this kind is said to have "independence from irrelevant alternatives" (IIA).

Social choice theory or social choice is a branch of economics that analyzes mechanisms and procedures for collective decisions. Social choice incorporates insights from welfare economics, mathematics, and political science to find the best ways to combine individual opinions, preferences, or beliefs into a single coherent measure of well-being.

Revealed preference theory, pioneered by economist Paul Anthony Samuelson in 1938, is a method of analyzing choices made by individuals, mostly used for comparing the influence of policies on consumer behavior. Revealed preference models assume that the preferences of consumers can be revealed by their purchasing habits.

<span class="mw-page-title-main">Social Choice and Individual Values</span>

Kenneth Arrow's monograph Social Choice and Individual Values and a theorem within it created modern social choice theory, a rigorous melding of social ethics and voting theory with an economic flavor. Somewhat formally, the "social choice" in the title refers to Arrow's representation of how social values from the set of individual orderings would be implemented under the constitution. Less formally, each social choice corresponds to the feasible set of laws passed by a "vote" under the constitution even if not every individual voted in favor of all the laws.

In social choice theory, a dictatorship mechanism is a rule by which, among all possible alternatives, the results of voting mirror a single pre-determined person's preferences, without consideration of the other voters. Dictatorship by itself is not considered a good mechanism in practice, but it is theoretically important: by Arrow's impossibility theorem, when there are at least three alternatives, dictatorship is the only ranked voting electoral system that satisfies unrestricted domain, Pareto efficiency, and independence of irrelevant alternatives. Similarly, by Gibbard's theorem, when there are at least three alternatives, dictatorship is the only strategyproof rule.

In decision theory, the von Neumann–Morgenstern (VNM) utility theorem shows that, under certain axioms of rational behavior, a decision-maker faced with risky (probabilistic) outcomes of different choices will behave as if they are maximizing the expected value of some function defined over the potential outcomes at some specified point in the future. This function is known as the von Neumann–Morgenstern utility function. The theorem is the basis for expected utility theory.

In economics, and in other social sciences, preference refers to an order by which an agent, while in search of an "optimal choice", ranks alternatives based on their respective utility. Preferences are evaluations that concern matters of value, in relation to practical reasoning. Individual preferences are determined by taste, need, ..., as opposed to price, availability or personal income. Classical economics assumes that people act in their best (rational) interest. In this context, rationality would dictate that, when given a choice, an individual will select an option that maximizes their self-interest. But preferences are not always transitive, both because real humans are far from always being rational and because in some situations preferences can form cycles, in which case there exists no well-defined optimal choice. An example of this is Efron dice.

Intensity of preference, also known as intensity preference, is a term popularized by the work of the economist Kenneth Arrow, who was a co-recipient of the 1972 Nobel Memorial Prize in Economics. This term is used in reference to models for aggregating ordinal rankings.

<span class="mw-page-title-main">Jean-François Mertens</span> Belgian game theorist (1946–2012)

Jean-François Mertens was a Belgian game theorist and mathematical economist.

A graphoid is a set of statements of the form, "X is irrelevant to Y given that we know Z" where X, Y and Z are sets of variables. The notion of "irrelevance" and "given that we know" may obtain different interpretations, including probabilistic, relational and correlational, depending on the application. These interpretations share common properties that can be captured by paths in graphs. The theory of graphoids characterizes these properties in a finite set of axioms that are common to informational irrelevance and its graphical representations.

Maximal lotteries refers to a probabilistic voting system first considered by the French mathematician and social scientist Germain Kreweras in 1965. The method uses preferential ballots and returns so-called maximal lotteries, i.e., probability distributions over the alternatives that are weakly preferred to any other probability distribution. Maximal lotteries satisfy the Condorcet criterion, the Smith criterion, polynomial runtime, and probabilistic versions of reinforcement, participation, and independence of clones.

A jury theorem is a mathematical theorem proving that, under certain assumptions, a decision attained using majority voting in a large group is more likely to be correct than a decision attained by a single expert. It serves as a formal argument for the idea of wisdom of the crowd, for decision of questions of fact by jury trial, and for democracy in general.