Abstract
The Anscombe-Aumann (AA) model, originally introduced to give a normative basis to expected utility, is nowadays mostly used for another purpose: to analyze deviations from expected utility due to ambiguity (unknown probabilities). The AA model makes two ancillary assumptions that do not refer to ambiguity: expected utility for risk and backward induction. These assumptions, even if normatively appropriate, fail descriptively. This paper relaxes these ancillary assumptions to avoid the descriptive violations, while maintaining AAβs convenient mixture operation. Thus, it becomes possible to test and apply all AA-based ambiguity theories descriptively while avoiding confounds due to violated ancillary assumptions. The resulting tests use only simple stimuli, avoiding noise due to complexity. We demonstrate the latter in a simple experiment where we find that three assumptions about ambiguity, commonly made in AA theories, are violated: reference independence, universal ambiguity aversion, and weak certainty independence. The second, theoretical, part of the paper accommodates the violations found for the first ambiguity theory in the AA modelβSchmeidlerβs CEU theoryβby introducing and axiomatizing a reference dependent generalization. That is, we extend the AA ambiguity model to prospect theory.
Avoid common mistakes on your manuscript.
Keynes (1921) and Knight (1921) emphasized the need to develop theories for decision making when probabilities are unknown. This led Savage (1954) and others to provide a behavioral foundation of (subjective) expected utility: if no objective probabilities are available, then subjective probabilities should be used instead. However, Ellsberg (1961) provided two paradoxes showing that Savageβs theory fails descriptively, and according to some also normatively (Ellsberg 1961; Cerreia-Vioglio et al. 2011; Gilboa and Schmeidler 1989; Klibanoff et al. 2005). It led to the development of modern ambiguity theories; i.e., decision theories for unknown probabilities that deviate from expected utility.
Anscombe and Aumann (1963; AA henceforth) presented a two-stage model of uncertainty to obtain a simpler foundation of expected utility than Savageβs.Footnote 1Gilboa and Schmeidler (1989) and Schmeidler (1989) showed that the AA two-stage model is well suited for another purpose: to analyze ambiguity theoretically. Since then, the AA model has become the most-used model for this alternative purpose.
The AA model makes two ancillary assumptionsβexpected utility for risk and backward induction (see SectionΒ 1)βthat do not concern ambiguity.Footnote 2 These assumptions have been justified on normative grounds but fail descriptively, as many studies have shown (references in SectionΒ 1). They are made only to facilitate the theoretical analysis of ambiguity by providing a convenient linear mixture operation. We show how these ancillary assumptions can be relaxed to become descriptively valid while maintaining the mixture operation. We thus make the AA model suited for descriptive purposes while maintaining its analytical power. AA-based theories of ambiguity can then be applied and tested descriptively while avoiding confounds due to violated ancillary assumptions. We call our modification of the AA model the reduced AA (rAA) model.
We demonstrate the applicability of the rAA method in an experiment (SectionΒ 3). This experiment is simple but, as we will see, suffices to falsify most current AA-based ambiguity theories, due to reference dependence. The second, theoretical, part of the paper (SectionΒ 4 and further) provides a reference dependent generalization of Schmeidlerβs (1989) Choquet expected utility to accommodate the empirical violations found in the first part. This result amounts to extending the AA model to cover Tversky and Kahnemanβs (1992) prospect theory. Unlike the second part of the paper, the first part avoids using advanced theory so as to provide ready tools to test AA theories for experimentalists. The two parts can be read independently, but are joined in this paper to combine a negative empirical finding on some theories with a positive result on a new theory that solves the problems found. We give a one-sentence description of the rAA method at the end of SectionΒ 2. A detailed outline of the paper is at the end of the next section.
1 Background (substantive and ancillary assumptions) and outline
This section presents a basic version of the AA model so as to motivate the method that we introduce in the next section. A formalized and general version of the AA model will be presented in the theoretical part of the paper, starting in SectionΒ 4. FigureΒ 1a depicts a standard βSavageβ act for decision under uncertainty. E1,β¦,E n denote mutually exclusive and exhaustive events. That is, exactly one will obtain, but it is uncertain which one. Following AA, we assume that a horse race takes place with n horses participating, and exactly one will win. Event E i refers to horse i winning. The act yields consequence x i if event E i obtains. We mostly assume that consequences are monetary, although they can be anything. U(x i ) is the utility of consequence x i . V denotes a general functional that represents preferences. It is increasing in all its arguments. Savage (1954) considered the case where V gives subjective expected utility. Nowadays, there is much interest in ambiguity theories, where V can be any such theory, e.g., a multiple prior theory. Such theories are also the topic of this paper.
In decision under risk, we assume probabilities to be known. Then choices are between lotteries (probability distributions). FigureΒ 1b denotes a lottery yielding x j with probability p j . Following AA, we assume that a roulette wheel is spun to generate the probabilities. Besides the expected utility evaluation depicted, many deviating models have been studied (Starmer 2000).
FigureΒ 2 depicts an act in AAβs model. Both uncertainty and risk are involved. The act is like a Savage act in Fig.Β 1a, but now consequences are lotteries, i.e., probability distributions over βoutcomesβ x i j . Uncertainty is resolved in two stages. First nature chooses which event E i obtains, resulting in the corresponding lottery. Next the lottery is resolved, resulting in outcome x i j with probability p i j , j =β1,β¦,m.Footnote 3 In AAβs model, acts are evaluated as depicted. First, every lottery of the second stage is evaluated by its expected utility. Next, an ambiguity functional V is applied to those expected utilities as it was to utilities in Fig.Β 1a. The evaluation of the ambiguity by the functional V is of central interest in the modern ambiguity literature. The evaluation of the lotteries only serves to facilitate the analysis of ambiguity in the first stage. The evaluation of each lottery in the second stage is independent of what happens at the other branches in the figure. We can, for instance, replace each lottery by its certainty equivalent derived βin isolationβ in Fig.Β 1b, and then evaluate the resulting ambiguous act as in Fig.Β 1a. That is, we are using backward induction here.
We list the two assumptions made, and add two more: (1) lotteries, being unambiguous, are evaluated using expected utility (EU); (2) backward induction is used to evaluate the two stages; (3) there is no reference dependence, with gains and losses treated the same; (4) there is universal ambiguity aversion. The last two assumptions concern ambiguity and are, therefore, of central interest. They are called substantive. Assumptions 1 and 2 define the AA model, with its two-stage structure. They only serve to simplify the mathematical analysis and are, therefore, called ancillary.
The purpose of this paper is descriptive. We, therefore, wish to avoid descriptive problems of the ancillary assumptions. As regards the first assumption, Allaisβ (1953) thought experiment provided the first evidence against EU for risk, later confirmed by many empirical studies. It led to the popular prospect theory (Kahneman and Tversky 1979; Tversky and Kahneman 1992). Surveys of violations of EU for risk include Birnbaum (2008), Edwards (1954), Fehr-Duda and Epper (2012), Fox et al. (2015), Schmidt (2004), Slovic et al. (1988), and Starmer (2000). In view of the many violations of EU found, Assumption (1) is currently considered to be descriptively unsatisfactory. Several authors argued that it is also normatively undesirable (Allais 1953; Machina 1989).
Assumption (2), backward induction, is a kind of monotonicity condition. If we only focus on consequences that are sure money amounts (degenerate lotteries; Fig.Β 1a), then the condition is uncontroversial. However, it becomes debatable if consequences are nondegenerate lotteries as in Fig.Β 2. Then the condition implies that the decision makerβs evaluation of the lottery faced there, i.e., of the act conditional on the event E i that obtained, is independent of what happens outside of E i . This is a form of separability rather than of monotonicity (Bommier 2017 p. 106; Machina 1989 p. 1624), which may be undesirable for ambiguous events E i . Although most papers using the AA model do not discuss this assumption explicitly, several recent papers have criticized it (Bommier 2017; Bommier et al. 2017 Footnote 7; Cheridito et al. 2015; Machina 2014 p. 385 3rd bulleted point; Saito 2015; Schneider and Schonger 2017; Skiadas 2013 p. 63; Wakker 2010Section 10.7.3).
Dynamic optimization principles such as backward induction that are self-evident under expected utility become problematic and cannot all be satisfied under nonexpected utility (Machina 1989). Several authors have therefore argued against backward induction for nonexpected utility on normative grounds.Footnote 4 Many studies have found empirical violations of backward induction.Footnote 5 We conclude that both ancillary assumptions are descriptively problematic and, according to several authors, also normatively problematic. Our rAA model therefore aims to avoid the problems just discussed.
We now turn to a detailed outline of the paper. SectionΒ 2 explains the rAA model informally, showing how to test AA theories without being affected by violations of the ancillary assumptions. In particular, no two-stage uncertainty as in Fig.Β 2 occurs in the rAA model, and we only use stimuli as in Fig.Β 1. An additional advantage of our stimuli is that they are less complex, reducing the burden for subjects and the noise in the data. Dominiak and Schnedler (2011) and Oechssler et al. (2016) tested Schmeidlerβs (1989) uncertainty aversion for two-stage acts, and found no clear relations with Ellsberg-type ambiguity aversion. This can be taken as evidence against the descriptive usefulness of two-stage acts.
SectionΒ 3 illustrates our approach in a simple experiment. Unsurprisingly, we find that losses are treated differently, with more ambiguity seeking, than gains (reference dependence). We have thus tested and falsified the substantive Assumptions 3 and 4. Many studies have demonstrated reference dependence outside of ambiguity, and several have done so within ambiguity.Footnote 6 Our experiment shows it in a simpler way and is the first to have done so for the AA model. It may be conjectured that AA theories could indirectly model the reference dependence found. This conjecture holds true for the smooth model (Klibanoff et al. 2005) and other utility-driven theories of ambiguity.Footnote 7 However, we prove that it does not hold true for most commonly used AA theories, because weak certainty independence, a necessary condition for most theories,Footnote 8 is violated. Baillon and Placido (2017) also tested this condition and also found it violated. Generalizations of these theories are therefore desirable. We turn to those in the next, theoretical, part of the paper, with definitions and basic results in SectionΒ 4 and the reference dependent generalization of Schmeidler (1989) in SectionΒ 5. Faro (2005, Ch. 3) provided an alternative ambiguity model with reference dependence.
Our generalization of Schmeidlerβs model can accommodate loss aversion, and ambiguity aversion for gains combined with ambiguity seeking for losses, as in prospect theory. In many applications of ambiguity (asset markets, insurance, health) the gain-loss distinction is important, and descriptive models that assume reference-independent universal ambiguity aversion cannot accommodate this. As regards our finding of violations of weak certainty independence, reference dependence is the only generalization needed to accommodate these violations. Weak certainty independence remains satisfied if we restrict our attention to gains or to losses. SectionΒ 6 analyzes loss aversion under ambiguity. A discussion, with implications for existing ambiguity theories, is in SectionΒ 7. SectionΒ 8 concludes.
A model-theoretic isomorphism of the rAA model with the full AA model is in AppendixΒ E. Its implications can be stated in simple terms for experimentalists, without requiring a study of its formal content: Although the rAA model is a submodel of the full AA model, every ambiguity property that can be defined in the full AA model can be tested in the rAA model using the method explained in the next section. No information on ambiguity is lost by restricting to the rAA model. A simple test such as the one in SectionΒ 3 can be devised for every ambiguity condition other than weak certainty independence.
The first, empirical part of this paper, preceding SectionΒ 4, makes empirical studies of the AA model possible, providing an easy recipe. It is accessible to readers with no mathematical background. We postpone formal definitions and results to the second, theoretical part, in SectionΒ 4 and further. Given the negative finding in the first part, with violations of most existing AA ambiguity theories, the second part presents a positive result: the first reference-dependent AA theory.
2 The reduced AA model and the AA twin of the decision maker
This section explains the reduced AA model informally, so that it can easily be used by experimenters. AppendixΒ E gives a formal presentation. FigureΒ 3a depicts a two-stage AA act as in Fig.Β 2.
We do not use two-stage acts when empirically measuring the preferences of the decision maker. We only consider one-stage acts as: (1) in Fig.Β 3b, where all second-stage lotteries are degenerate and only uncertainty about the horses matters, or: (2) in Fig.Β 4, where the first-stage uncertainty, not depicted, is degenerate and only the risks of the roulette wheel matter. In Fig.Β 4, we avoid degenerate lotteries by only considering lotteries that give the worst outcome, ββ20 in our case, with a probability of at least 0.2, and give the best outcome, 10, with a probability of at least 0.2.
The preference relation of the decision maker over the domain of one-stage acts just described (Figs.Β 3b andΒ 4) is denoted \(\succcurlyeq \). This domain and \(\succcurlyeq \) are called the reduced AA (rAA) model. We assume that EU (expected utility) holds for risky choices \(\succcurlyeq \) in the rAA domain. Most violations of EU occur when tails of distributions are relevant, but on the RAA domain the tails are fixed and play no role. Hence, EU is empirically plausible here, and we assume it. Further explanation and references are in SectionΒ 7. As for the ancillary assumption of backward induction, it is vacuous on the rAA domain.
In theoretical analyses of the AA model, two-stage acts do play a role. To capture them in our rAA method, we do not consider the actual preferences of the decision maker over them, but instead we consider a preference relation \(\succcurlyeq ^{*}\) of what we call the AA twin of the decision maker. The asterisk indicates that these preferences do not need to agree with the actual empirical preferences of the decision maker, but belong to her idealized AA twin. This \(\succcurlyeq ^{*}\) agrees with \(\succcurlyeq \) on the rAA domain, but extends it to the whole AA model, and is required to satisfy the AA conditions (EU for risk and backward induction). As we explain next, \(\succcurlyeq ^{*}\) exists and is uniquely determined this way.
Consider Fig.Β 4. Because the stimuli come from the rAA domain, the indifference also holds for βΌβ instead of βΌ. Because \(\succcurlyeq ^{*}\) satisfies EU, the βΌβ indifference is maintained if we remove the βcommon-consequenceβ upper and lower 0.2 branches, and then the βcommon-ratioβ 0.6 probabilities. That is, for each i, CA i for sure is βΌβ equivalent to the lottery at branch E i in Fig.Β 3a:
using the obvious notation for lotteries. By backward induction (CE substitution), the act in Fig.Β 3a is βΌβ indifferent to the act in Fig.Β 3b, which is again in the rAA domain governed by \(\succcurlyeq \). This way, the βΌβ indifference class of every two-stage AA act is uniquely determined and, hence, so is \(\succcurlyeq ^{*}\). We can infer the whole relation \(\succcurlyeq ^{*}\) this way. We summarize the procedure, for any preference relationship \(\succcurlyeq ^{*}\):
-
(1)
Every act from rAA is left unaltered because \(\succcurlyeq ^{*}\) agrees with \(\succcurlyeq \) on the rAA domain.
-
(2)
For every lottery, its CA certainty equivalent is defined through Eq.Β 1 and Fig.Β 4.
-
(3)
Every two-stage act is replaced by a one-stage act as in Fig.Β 3.
Point (2) means that CA s are \(\succcurlyeq ^{*}\) certainty equivalents. Stating the rAA method in one sentence:
We can find out any AA preference \(\succcurlyeq ^{*}\) from rAA preferences \(\succcurlyeq \) by using the substitution in Fig.Β 3.
We can thus apply all techniques from the AA model to analyze \(\succcurlyeq ^{*}\) and infer properties of the uncertainty attitude of \(\succcurlyeq ^{*}\) on horse acts using only \(\succcurlyeq \) preferences on the rAA domain as empirical inputs. The uncertainty attitudeβwhich may deviate from subjective expected utilityβof the AA twin \(\succcurlyeq ^{*}\) is identical to that of \(\succcurlyeq \). Thus, all results from the AA literature immediately apply to \(\succcurlyeq \).
In applications, if only few CAs are to be measured, then we can measure each one separately as in Fig.Β 4. If there are many, we can carry out a few measurements as in Fig.Β 4, derive the EU utility function from them, and use it to determine all CAs that we need. Two drawbacks of the rAA method must be acknowledged. First, the stimuli used for measuring risk attitudes in Fig.Β 4 are made more complex by the mixing in of the best and worst outcomes. Second, when testing mixture conditions from the full AA model, we have to modify every two-stage act into an rAA act as just described.
The following section gives an illustration of the rAA method, showing how it can be used to test AA theories experimentally. We test weak certainty independence there, a preference condition necessary for many AA theories.
3 Experimental illustration of the reduced AA model and reference dependence
This section demonstrates the rAA model in a small experiment. First, we present a common example. The unit of payment in the example can be taken to be money or utility. In the experiment that follows, the unit of payment will be utility and not money, so that the violations found there directly pertain to the general AA model. Because the rAA model is a submodel of the full AA model (but large enough to recover the latter entirely), any violation of a preference condition found from \(\succcurlyeq \) in the rAA model immediately gives a violation of that preference condition for \(\succcurlyeq ^{*}\) in the full AA model.
Example 1
(Reflection of ambiguity attitudes) A known urn K contains 50 red (R) and 50 black (B) balls. An unknown (ambiguous) urn A contains 100 black and red balls in unknown proportion. One ball will be drawn at random from each urn, and its color will be inspected. R k denotes the event of a red ball drawn from the known urn, and B k , R a , and B a are analogous. People usually prefer to receive β¬ 10 under B k (and 0 otherwise) rather than under B a and they also prefer to receive β¬ 10 under R k rather than under R a . These choices reveal ambiguity aversion for gains.
We next multiply all outcomes by ββ1, turning them into losses. This change of sign can affect decision attitudes. Many people now prefer to lose β¬ 10 under B a rather than under B k and also to lose β¬ 10 under R a rather than under R k . That is, many people exhibit ambiguity seeking for losses. β‘
The above example illustrates that ambiguity attitudes are different for gains than for losses, making it desirable to separate these, similar to what has been found for risk (Tversky and Kahneman 1992). This separation is impossible in most current ambiguity theories. We tested the above choices in our experiment. Subjects were N =β45 undergraduate students from Tilburg University. We asked both for preferences with red as the winning color and for preferences with black as the winning color. This way we avoided suspicion about the experimenter rigging the composition of the unknown urn (Pulford 2009).
We scaled utility to be 0 at 0 and 10 at β¬ 10. That is, the winning amount was always β¬ 10. We wanted the loss outcome to be ββ10 in utility units for each subject, which required a different monetary outcome Ξ± for each subject. Thus, under EU as assumed in the AA model and as holding for the AA twins of the subjects, we must have, with the usual notation for lotteries (probability distributions over money),
One simplifying notation for lotteries: we often rewrite (p : Ξ±, 1 β p : Ξ²) as Ξ± p Ξ². The indifference displayed involves a degenerate (nonrisky) prospect (β¬0), and those are known to cause many violations of the assumed EU.Footnote 9 We therefore use the modification in Fig.Β 4. We write R = (β¬ 100.5(ββ¬20)), and rather elicit the following indifference from our subjects, as in Fig.Β 4, using the common probabilistic mixtures of lotteries, and mixing in R with weight 0.4:
Under EU as holding for the AA twin, the latter indifference also holds for βΌβ and is equivalent to the former, but the latter indifference is less prone to violations of EU, so that our subjects agree with their AA twins here.
To elicit the indifference in Eq. 3 from each subject, we asked each subject to choose between lotteries (replacing Ξ± in Eq. 3 by β j),
for each j =β0,2,4,β¦,18,20. If the subject switched from risky to safe between β j and β j ββ2, we defined Ξ± to be the midpoint between these two values, i.e., Ξ± = βj ββ1. We then assumed indifference between the safe and risky prospect with that outcome Ξ± instead of β j in the risky prospect. We used the monetary outcome Ξ±, depending on the subject, as the loss outcome for this subject. This way the loss outcome was ββ10 in utility units for each subject (as for their AA twin).Footnote 10 Details of the experiment are in the Online Appendix.
We elicited the preferences of Example 1 from our subjects using utility units, with the gain outcome β¬ 10 giving utility +β10, and the loss outcome Ξ± giving utility ββ10. Combining the bets on the two colors, the number of ambiguity averse choices was larger for gains than for losses (1.49 vs. 1.20, z =β2.01, p < .05, Wilcoxon test, two-sided), showing that ambiguity attitudes are different for gains than for losses. We replicate strong ambiguity aversion (z =β3.77, p < .01, Wilcoxon test, two-sided) for gains, but we cannot reject the null of ambiguity neutrality (z =β1.57, p > .10, Wilcoxon test, two-sided) for losses.Footnote 11 Our experiment confirms that attitudes towards ambiguity are different for gains than for losses, suggesting violations of most ambiguity models used today. The following sections will formalize this claim.
4 Definitions, notation, classical expected utility, and Choquet expected utility for mixture spaces
This section provides definitions and well-known results. Proofs are in Ryan (2009). We present our main theorems for general mixture spaces, which covers the traditional two-stage AA model, our rAA model, and also some other models. By Observation 5 in the Appendix, all results proved in the literature for the traditional two-stage AA model also hold for general mixture spaces. M denotes a set of consequences, with generic elements x, y. M is a mixture space: it is endowed with a mixture operationx p y : M Γ [0,1] Γ M β M, also denoted px + (1 β p)y, satisfying (i) x1y = x [identity]; (ii) x p y = y1βpx [commutativity]; (iii) (x p y) q y = x p q y [associativity]. The first example below was popularized by Schmeidler (1989) and Gilboa and Schmeidler (1989).
Example 2 (Two-stage AA model)
D denotes a set of (deterministic) outcomes, and M consists of all (roulette) lotteries, which are probability distributions over D taking finitely many values. The mixture operation concerns probabilistic mixing. β‘
Example 3
M = IR and mixing is the natural mixing of real numbers. β‘
Our rAA model provides another example (AppendixΒ E). S denotes the state space. It is endowed with an algebra of subsets, called events. An algebra contains S and β and is closed under complementation and finite unions and intersections. An actf = (E1:f1,...,E n :f n ) takes values f i in M and the E i βs are events partitioning the state space. The set of acts, denoted \(\mathcal {A}\), is endowed with pointwise mixing, which satisfies all conditions for mixture operations. Hence, \(\mathcal {A}\) itself is also a mixture space. A constant act f assigns the same consequence f(s) = x to all s. It is identified with this consequence.
Preferences are over the set of acts \(\mathcal {A}\) and are denoted \(\succcurlyeq \), inducing preferences \(\succcurlyeq \) over consequences through constant acts. Strict preference β» and indifference βΌ are defined as usual. A function V represents\(\succcurlyeq \) if \(V : \mathcal {A} \rightarrow I R\) and \(f \succcurlyeq g \Leftrightarrow V(f) \geq V(g)\). If a representing function exists then \(\succcurlyeq \) is a weak order, i.e., \(\succcurlyeq \) is complete (for all acts f and g, \(f \succcurlyeq g\) or \(g \succcurlyeq f\)) and transitive. \(\succcurlyeq \) is nontrivial if (not f βΌ g) for some f and g in \(\mathcal {A} \).
Continuity holds if, whenever f β» g and g β» h, there are p and q in (0,1) such that f p h β» g and f q h βΊ g. Hence, continuity relates to the mixing of consequences and does not refer to variations in states of nature. In the two-stage AA model, continuity relates to probability (as part of consequences). An affine function u on M satisfies u(x p y) = pu(x) + (1 β p)u(y). In the two-stage AA model, a function is affine if and only if it is EU (defined in AppendixΒ E; it follows from substitution and induction).
Monotonicity holds if \(f\succcurlyeq g\) whenever \(f(s) \succcurlyeq g(s)\) for all s in S. It is nontrivial if the f(s)βs are nondegenerate lotteries as in Example 2. Monotonicity then implies that the decision makerβs evaluation of f(s), i.e., of f conditional on state s, is independent of what happens outside of s. It was discussed in SectionΒ 1.
The following condition is the most important one in the axiomatization of affine representations and, hence, of EU.
Definition 1
Independence holds on M if
for all 0 < p <β1 and consequences x, y, and c. β‘
Theorem 1 (von Neumann-Morgenstern)
The following two statements are equivalent:
-
(i)
There exists an affine representationuon the consequence space M.
-
(ii)
The preference relation \(\succcurlyeq \) when restricted to M satisfies the following three conditions: (a) weak ordering; (b) continuity; (c) independence.
In (i), uis unique up to level and unit. β‘
Uniqueness of uup to level and unit means that another function uβ satisfies the same conditions as u if and only if uβ = Ο + Οu for some real Ο and positive Ο. Affinity, independence, and Theorem 1 can be applied to any mixture set other than M, such as the set of acts \(\mathcal {A}\). Formally, our term AA model refers to Example 2 plus the preference conditions considered so far in this section, being weak ordering, continuity, monotonicity, and independence on M, implying an affine (i.e., EU) representation on M. It is a two-stage model. It does not further restrict ambiguity attitudes, i.e., the preference relation over acts, and is assumed in most papers on ambiguity nowadays. We now turn to two classic results.
Anscombe and Aumannβs subjective expected utility. A probability measureP on S maps the events to [0,1] such that P(β ) =β0, P(S) =β1, and P is additive (P(E βͺ F) = P(E) + P(F) for all disjoint events E and F). Subjective expected utility (SEU) holds if there exists a probability measure P on S and a function u on M, such that \(\succcurlyeq \) is represented by
Theorem 2 (Anscombe and Aumann)
The following two statements are equivalent:
-
(i)
Subjective expected utility holds with a nonconstant affine u on M.
-
(ii)
The preference relation \(\succcurlyeq \) satisfies the following conditions: (a) nontrivial weak ordering; (b) continuity; (c) monotonicity; (d) independence.
The probabilities Pon Sare uniquely determined and u on M is unique up to level and unit. β‘
If we apply the above theorem to Example 3, we obtain subjective expected value as in de Finetti (1937; Wakker 2010 Theorem 1.6.1). Thus, two classical derivations of subjective probabilities, by Anscombe and Aumann (1963) and by de Finetti (1937), are based on the same underlying mathematics.Schmeidlerβs Choquet Expected Utility. A capacityv on S maps events to [0,1], such that v(β ) =β0, v(S) =β1, and E β F β v(E) β₯ v(F) (set-monotonicity). Unless stated otherwise, we use a rank-ordered notation for acts f = (E1:x1,β― ,E n :x n ), i.e., \(x_{1} \succcurlyeq \cdots \succcurlyeq x_{n}\) is implicitly understood. Let v be a capacity on S. Then, for any function w\(: S \rightarrow \mathbb {R}\), the Choquet integral of w with respect to v, denoted \(\int w dv\), is
Choquet expected utility holds if there exist a capacity v and a function u on M such that preferences are represented by
Two acts f and g in \(\mathcal {A}\) are comonotonic if for no s and t in S, f(s) β» f(t) and g(s) βΊ g(t). Thus, any constant act is comonotonic with any other act. A set of acts is comonotonic if every pair of its elements is comonotonic.
Definition 2
Comonotonic independence holds if
for all 0 < p <β1 and comonotonic acts f, g, and c. β‘
Under comonotonic independence, preference is not affected by mixing with constant acts (consequences) (with some technical details added in Lemma 3). Because constant acts are comonotonic with each other, comonotonic independence on \(\mathcal {A}\) still implies independence on M.
Theorem 3 (Schmeidler)
The following two statements are equivalent:
-
(i)
Choquet expected utility holds with nonconstant affine u on M ;
-
(ii)
The preference relation \(\succcurlyeq \) satisfies the following conditions: (a) nontrivial weak ordering; (b) continuity; (c) monotonicity; (d) comonotonic independence.
The capacity v on Sis uniquely determined and uon Mis unique up to level and unit. β‘
If we apply the above theorem to Example 3, we obtain a derivation of Choquet expected utility with linear utility that is alternative to Chateauneuf (1991, Theorem 1). Cerreia-Vioglio et al. (2015) provide a recent survey of applications.
Comonotonic independence implies a condition assumed by most models for ambiguity proposed in the literature.
Definition 3
Weak certainty independence holds if
for all 0 < q <β1, acts f, g, and all consequences x, y. β‘
That is, preference between two mixtures involving the same constant act x with the same weight 1 β q is not affected if x is replaced by another constant act y. This condition follows from comonotonic independence because both preferences between the mixtures should agree with the unmixed preference between f and g (again, with some technical details added in Lemma 3). Grant and Polak (2013) demonstrated that the condition can be interpreted as constant absolute uncertainty aversion: adding a constant to all utility levels does not affect preference. For a detailed analysis see Skiadas (2013).
5 Reference dependence in the AA model
Example 1 violates CEU, as we explain next. In the gain preference \(10_{B_{k}}0 \succ 10_{B_{a}}0\), the best outcome (= consequence) 10 is preferred under B k , implying the strict inequality v(B k ) > v(B a ). In the loss preference \(0_{B_{a}}(-10) \succcurlyeq 0_{B_{k}}(-10)\), the best outcome 0 is preferred under B a , implying the opposite inequality v(B a ) β₯ v(B k ). A contradiction has resulted. This reasoning does not use any assumption about the utilities (10 and ββ10 in our case) of the outcomes other than that they are of different signs (with u(0) =β0). For later purposes, we show that even weak certainty independence is violated. In the proof of the following observation, we essentially use the linear (probabilistic) mixing of outcomes typical of the AA model.
Observation 1
Example 1 violates comonotonic independence and even weak certainty independence.β‘
Example 1 has confirmed for the AA model what many empirical studies have found for other models: ambiguity attitudes are different for gains than for losses (reviewed by Trautmann and van de Kuilen 2015), violating CEU and most other ambiguity models. Hence, generalizations incorporating reference dependence are warranted. This section presents such a generalization. As in all main results, the analysis will be analogous to Schmeidlerβs analysis of rank dependence in Choquet expected utility as much as possible. Given this restriction, we stay as close as possible to the analysis of Tversky and Kahneman (1992).
In prospect theory there is a special role for a reference point, denoted π. In our model it is a consequence that indicates a neutral level of preference. It is often the status quo of the decision maker. In Example 1, the deterministic outcome 0 was the reference point. Under the certainty equivalent condition in the AA model, we can always take a deterministic outcome as reference point. Sugden (2003) emphasized the interest of nondegenerate reference points. Many modern studies consider endogenous reference points that can vary (KΓΆszegi and Rabin 2006). Our axiomatization concerns one fixed reference point. Extensions to variable reference points can be obtained by techniques as in Schmidt (2003).
Other consequences are evaluated relative to the reference point. A consequence f(s) is a gain if f(s) β» π, a loss if f(s) βΊ π, and it is neutral if f(s) βΌ π. An act f is mixed if there exist s and t in S such that f(s) β» π and f(t) βΊ π. For an act f, the gain part f+ has f+(s) = f(s) if \(f(s) \succcurlyeq \theta \) and f+(s) = π if f(s) βΊ π. The loss part fβ is defined similarly, where all gains are now replaced by the reference point. Prospect theory allows different ambiguity attitudes towards gains than towards losses. We therefore use two capacities, v+ for gains and vβ for losses. It is more natural to use a dual way of integration for losses. We thus define the dual of vβ, denoted \(\hat {v}^{-}\), by \(\hat {v}^{-}(A) =β1- v^{-}(A^{c})\) for events A.
Prospect theory (also called cumulative prospect theory in the literature) holds if there exist two capacities v+ and vβ and a function U on consequences with U(π) =β0 such that \(\succcurlyeq \) is represented by
We call U in Eq.Β 7 the (overall) utility function. There is a basic utility u and a loss aversion parameter Ξ» >β0, such that
For reasons explained later, we call Ξ» the ambiguity-loss aversion parameter (see SectionΒ 6). Because U(π) =β0, we now add the scaling convention that also u(π) =β0. For identifying the separation of U into u and Ξ», further assumptions are needed. We consider a new kind of separation based on the AA model and the mixture space setup of this paper. Wakker (2010 Chs. 8 and 12) discusses other separations in other models. The parameter Ξ» is immaterial for preferences over consequences M, affecting neither preferences between gains or losses, nor within. Thus, loss aversion in our model does not affect preferences over M (consequences), that is, over lotteries (risk) in the AA model. It only concerns ambiguity.
For later purposes, we rewrite Eq.Β 7 as
with decision weights Ο i defined as follows. Assume, for act (E1:x1,...,E n :x n ), the rank-ordering \(x_{1} \succcurlyeq \cdots \succcurlyeq x_{k} \succcurlyeq \theta \succcurlyeq x_{k + 1} \succcurlyeq \cdots \succcurlyeq x_{n}\). We define
For gain events, the decision weight depends on cumulative events that yield better consequences. For loss events, the decision weight similarly depends on decumulative events that yield worse consequences. CEU analyzed in the preceding section is the special case of PT where vβ is the dual of v+ and Ξ» in Eq.Β 10 is 1.
We next turn to preference conditions that characterize prospect theory. We generalize comonotonicity by adapting a concept of Tversky and Kahneman (1992) to the present context. Two acts f and g are cosigned if they are comonotonic and if there exists no s in S such that f(s) β» π and g(s) βΊ π. Note that, whereas for any act g and any constant act f, f is comonotonic with g, an analogous result need not hold for cosignedness. Only if the constant act is neutral, is it cosigned with every other act. This point complicates the proofs in the Appendix. A set of acts is cosigned if every pair is cosigned. We generalize comonotonic independence to allow reference dependence:
Definition 4
Cosigned independence holds if
for all 0 < p <β1 and cosigned acts f, g, and c. β‘
\(\succcurlyeq \) is truly mixed if there exists an act f with f+ β» π and π β» fβ. Double matching holds if, for all acts f and g, f+ βΌ g+ and fββΌ gβ implies f βΌ g. In a different context, Wakker and Tversky (1993) showed that more general conditions can be used. Our aim here is not to adapt those to the AA model, but we stay as close as possible to Tversky and Kahneman (1992) and use their double matching and true mixedness to achieve maximal comparability and accessibility. We now present the main theorem of this paper.
Theorem 4
Assume true mixedness. The following two statements are equivalent:
- (i)
-
(ii)
The preference relation \(\succcurlyeq \) satisfies the following conditions: (a) nontrivial weak ordering; (b) continuity; (c) monotonicity; (d) cosigned independence; (e) double matching.
The capacities are uniquely determined and the global utility function U is unique up to its unit. β‘
Tversky and Kahneman (1992 Theorem 2) provided a behavioral foundation of prospect theory in a Savagean-like framework, where outcomes are monetary with no probabilities or multiple stages involved. They thus avoided the ancillary assumptions of the AA model. As a price to pay, they did not have the convenient mixture structure typical of the AA model, making measurements and analyses of behavioral properties more difficult. They used conditions similar to (a)-(c) that are standard in most behavioral foundations, and also condition (e). Their main axiom, sign-comonotonic tradeoff consistency, had to be more complex than our main axiom (d). Several generalizations were provided for the Savagean framework, mainly weakening true mixedness and double matching, with extensions to multiattribute outcomes, connected topological outcome spaces, and nonsimple prospects, but always using a complex sign-comonotonic tradeoff consistency (Bleichrodt and Miyamoto 2003; Bleichrodt et al. 2009; KΓΆbberling and Wakker 2003; Kothiyal et al. 2011; Wakker 2010 Theorem 12.3.5; Wakker and Tversky 1993). Closest to our theorem is Schmidt and Zankβs (2009) result, who used linear utility with respect to monetary outcomes, as in Example 3. Our paper provides the first axiomatization of PT for the AA model. The difference between the aforementioned results and ours is similar to that between Savage (1954)/Wakker (2010 Theorem 4.6.4) versus Anscombe and Aumann (1963), or Gilboa (1987)/Wakker (1989) versus Schmeidler (1989).
We give the proof of the following observation in the main text because it is clarifying.
Observation 2
Example 1 can be accommodated by prospect theory.
Proof
To see that the observation holds, choose, in Example 1, v+(B k ) > v+(B a ), v+(R k ) > v+(R a ), vβ(B k ) > vβ(B a ), and vβ(R k ) > vβ(R a ). Remember here that large values of vβ correspond with low values of its dual capacity as used in the Choquet integral.
We can take vβ different than v+, letting vβ accommodate ambiguity seeking in agreement with empirical evidence.
Observation 3
For the preference relation \(\succcurlyeq \) restricted to consequences, there exists an affine representation u if and only if \(\succcurlyeq \) satisfies nontrivial weak ordering, continuity, and cosigned independence.β‘
For consequences, cosigned independence means that independence in Definition 1 is restricted to cases where the consequences x, c, y are all better or all worse than the reference point.
6 Measurements and interpretations of ambiguity loss aversion
This section considers a number of interpretations of the ambiguity-loss aversion parameter Ξ» in Theorem 4 and Eqs.Β 8β10. We first show how Ξ» can be directly revealed from preference. This direct measurement is typical of the AA model with its mixture operation, and cannot be used in other models.
Observation 4
For all fin \(\mathcal {A}\),x+, xβ β M, and \(\lambda \in \mathbb {R}\), if f βΌ π, f+ βΌ x+ β» π, and fββΌ xββΊ π, then \(x^{+}_{\hspace {0.1cm} \frac {1}{1+\lambda }} x^{-} \sim \theta \).β‘
In other words, with f, x+, and xβ as in the observation, we find p such that \(x^{+}_{p} x^{-} \sim \theta \), and then solve Ξ» from \(\frac {1}{1+\lambda } = p\) (\(\lambda =\frac {1-p}{p}\)). The condition in the theorem is intuitive: The indifference \(x^{+}_{\hspace {0.1cm} \frac {1}{1+\lambda }} x^{-} \sim \theta \) shows that, when mixing consequences (lotteries in the AA model), the loss must be weighted Ξ» times more than the gain to obtain neutrality. Under ambiguity, however, f combines the preference values of x+ and xβ in an βunweightedβ manner (see the unweighted sum of the gain- and loss-part in Eq.Β 7), leading to the same neutrality level. Apparently, under ambiguity, losses are weighted Ξ» times more than when mixing consequences (risk in the AA model). In the AA model, with consequences referring to lotteries and decision under risk, Ξ» indicates how much more losses are overweighted under ambiguity than they are under risk. Thus, Ξ» purely reflects ambiguity attitude.
In the smooth ambiguity model (Klibanoff et al. 2005), ambiguity attitudes depend entirely on the outcomes faced (in the domain of its second-order ambiguity-utility transformation function Ο), and sign dependence is a special case of such a dependency. The smooth model can accommodate extra loss aversion due to ambiguity in the same way as our parameter Ξ» does: through a kink of its Ο at 0. The smooth model differs from our model because we capture other aspects of ambiguity attitudes through functions operating on events, rather than on outcomes.
For a first prediction on values of Ξ», we consider an extreme view on loss aversion for the AA model. It entails that all loss aversion shows up under risk, and that no additional loss aversion is expected due to ambiguity. This interpretation is most natural if loss aversion only reflects extra suffering experienced under losses, rather than an overweighting of losses without them bringing disproportional suffering when experienced. That is, this extreme interpretation ascribes loss aversion entirely to the (utility of) consequences. Then it is natural to predict that Ξ» =β1, with no special role for ambiguity. We display the preference condition axiomatizating this prediction and showing how the prediction can be tested:
Neutral ambiguity-loss aversion holds if Ξ» =β1 in Observation 4.
A less extreme interpretation of ambiguity-loss aversion is as follows: There is loss aversion under risk, which can be measured in whatever is the best way provided in the literature.Footnote 12 For monetary outcomes with a fixed reference point as considered in this paper, loss aversion will generate a kink of risky utility at that reference point. As an aside, in our model loss aversion under risk does not imply violations of expected utility and is fully compatible with our AA model, simply giving a kinked function u. Ambiguity can give extra loss aversion and it can amplify (Ξ» >β1) or moderate (Ξ» <β1) it. The following preference condition characterizes Ξ»:
Nonneutral ambiguity-loss aversion. For all f in \(\mathcal {A}\), x+, xβ β M, and \(\lambda \in \mathbb {R}\), if f βΌ π, f+ βΌ x+ β» π, and fββΌ xββΊ π, then \(x^{+}_{\hspace {0.1cm} 0.5} x^{-} \succ \theta \) if and only if Ξ» >β1, and \(x^{+}_{\hspace {0.1cm} 0.5} x^{-} \prec \theta \) if and only if Ξ» <β1.
Abdellaoui et al. (2016) measured loss aversion under risk and ambiguity separa- tely and found them to be the same. Baltussen et al. (2016) also found them to be the same in one treatment (outside the βlimelightβ), but not in the other (in the limelight).
In the two-stage AA model, some consequences are outcomes and others are lotteries. Reference dependence in this paper takes lotteries as a whole, and their indifference class determines if they are gains or losses. This is analogous to the way in which Schmeidler (1989) modeled rank dependence, which also concerned lotteries as a whole. Another approach can be considered, both for reference dependence and rank dependence, where outcomes within a lottery are perceived as gains or losses and are weighted in a rank dependent manner. Here, as elsewhere, we followed Schmeidlerβs approach. Tversky and Kahneman (1981, p. 456 penultimate paragraph) recommended this approach for reference dependence. In the rAA model, subjects are never required to perceive whole lotteries in a reference or rank dependent manner, but we implement it ourselves, and subjects only see the CAs that we inserted. Hence, the above issue is no problem for us.
7 Discussion
Kreps (1988p. 101) wrote about the non-descriptive nature of two-stage acts in the AA model:
imaginary objects. β¦makes perfectly good sense in normative applications β¦But this is avery dicey and perhaps completely useless procedure in descriptive applications. β¦what sense does it make β¦because the items concerned donβt exist? Ithink we have to view the theory to follow [the traditional two-stage AA model] as being as close to purely normative as anything that we do in this book.
A pragmatic objection can be raised against the rAA model. The mixture operation of outcomes is not as easy to implement as in the original AA model. Now a mixture is not done by just multiplying probabilities, but it requires observing an indifference. But such observations are easy to obtain, as our experiment demonstrated. They concern stimuli that are easier to understand for subjects than two-stage acts.
We next analyze to what extent we have succeeded in avoiding violations of EU in the rAA model. Because we always assign a non-negligible probability (0.2 in our experiment) to the best outcome and to the worst outcome, for the preferences that we consider, the nonlinear processing of probability typical of nonEU is only relevant in the middle of the domain, bounded away from p =β0 and p =β1. The common empirical finding is that deviations from linearity mostly occur at the boundaries (Baucells and Villasis 2015; Starmer 2000; Tversky and Kahneman 1992; Viscusi and Evans 2006; Wakker 2010 p. 208).Footnote 13 Hence, the deviations from EU are weak for the stimuli in the rAA model. We recall here that loss aversion is incorporated in u, as a kink at zero.
Some papers considered relaxations of the four assumptions of the AA model listed in SectionΒ 1. Dean and Ortoleva (2017 Footnote 7) suggested using the rAA domain, but did not elaborate on it and still used the second ancillary assumption of AA (backward induction). They did however relax the first ancillary assumption of EU. Their axioms used an endogenous utility midpoint operation, which serves a purpose similar to our substitution of CA i s in Fig.Β 4. They are, to our best knowledge, the first who succeeded in using the AA model without assuming EU in the second stage. Borah and Kops (2016) analyzed the AA model theoretically on a restricted domain similar to ours. In a theoretical study, Bommier (2017) did consider two-stage AA acts, but he neither assumed EU for risk nor backward induction, instead using a sort of dual forward-induction type optimization. He analyzed ambiguity aversion as defined in his setting, but did not consider reference dependence.
8 Conclusion
To date, the AA ambiguity model could only be used for normative purposes (Kreps 1988 p. 101). We have made it suitable for descriptive purposes. We demonstrated how the two major descriptive problems (violations of EU for risk and of backward induction) can be resolved through a reduced AA model (rAA). The rAA model introduces an imaginary AA twin \(\succcurlyeq ^{*}\) for a real decision maker \(\succcurlyeq \), where every \(\succcurlyeq ^{*}\) relationship can be derived from an rAA \(\succcurlyeq \) relationship through Fig.Β 3. Next, we can apply any AA theorem available in the literature to \(\succcurlyeq ^{*}\), and its conclusions regarding ambiguity attitudes are valid for the real decision maker \(\succcurlyeq \). In a simple experiment we showed how the rAA model can be implemented and how the AA model can be tested in general. A formal model-theoretic isomorphism showed that the rAA model maintains the full analytical power of the AA model.
We conducted the first empirical test of a preference condition in the AA model that is not confounded by violations of the ancillary assumptions. This test sufficed to falsify two assumptions of the majority of AA ambiguity theories today: weak certainty independence and reference independenceβthe latter often assumed implicitly. We benefited from an additional advantage of the reduced AA model: it only needs one-stage stimuli and those are easy to understand for subjects.
To accommodate the violations found, we introduced a reference dependent generalization of the first decision model of ambiguity that received a behavioral foundation: Schmeidlerβs (1989) Choquet expected utility. Our generalization amounts to extending the AA model to prospect theory. We provided a behavioral foundation. Topics for future research include the development of reference dependent generalizations of the many other ambiguity theories in the literature, and empirical tests of such models. We hope that our paper will advance descriptive applications of ambiguity AA theories, having removed the major obstacles.
Notes
AA used a three-stage model, but one stage is omitted in modern usage. For empirical applications, this omission was justified by Oechssler et al. (2016).
Some papers relaxing these ancillary assumptions are discussed at the end of SectionΒ 7.
For simplicity of notation, we often assume that all lotteries in one act have the same number, m, of outcomes. This can always be achieved by adding zero probability outcomes to some lotteries.
See Chew et al. (2008), Kahneman and Tversky (1975 pp. 30-33), Nau (2006), Neilson (2010), and Skiadasβ (2015 source-dependent theory). These models still focus on normative universal ambiguity aversion. They cannot model the empirically prevailing ambiguity seeking for unlikely events joint with ambiguity aversion for likely events (Zeckhauser and Viscusi 1990; reviewed by Camerer and Weber 1992, and Trautmann and van de Kuilen 2015), or the kinks in preferences that are often found (Ahn et al. 2014). Dobbs (1991) also proposed a general recursive utility-driven theory of ambiguity and emphasized the importance of different attitudes for gains than for losses, which he demonstrated in an experiment. His approach thus is close to ours. Viscusi and OβConnor (1984) similarly found prevailing ambiguity seeking for losses except when they were unlikely, in which case ambiguity aversion was prevailing.
See Chambers et al. (2014): dispersion aversion; Maccheroni et al. (2006): variational model; Saponara (2017); Siniscalchi (2009): vector theory; several multiple priors theories (Chateauneuf 1991 and Gilboa and Schmeidler 1989: maxmin expected utility; Gajdos et al. 2008: contraction model; Ghirardato et al. 2004, also their Ξ±(f) model); Grant and Polak (2013); Jaffray (1994): Ξ±-maxmin theory; Kopylov (2009): choice deferral; Skiadas (2013): scale-invariant uncertainty aversion; Strzalecki (2011): multiplier preferences. Exceptions are Chateauneuf and Faro (2009), Chew et al. (2008), Hayashi and Miao (2011), Klibanoff et al. (2005), and Skiadas (2013 source-dependent theory). Further, the violation that we found involved only binary acts, implying that every model agreeing with CEU on this subdomain is violated too (Ghirardato and Marinacci 2001: biseparable preference; Luce 2000 Ch. 3: binary rank-dependent utility; tested by Choi et al. 2007).
SectionΒ 6 discusses how our measurement of utility incorporates loss aversion under risk.
Testing is against the null of one ambiguity averse choice in two choice situations. The exact distribution of subjects choosing the ambiguous option never, once, or twice is (28, 11, 6) for gains, and (21, 12, 12) for losses.
Many studies have discussed ways to measure loss aversion under risk (Abdellaoui et al. 2007). This debate is outside the scope of this paper.
As a technical point, if probability weighting is more (or less) steep in the interior for losses than for gains, this can be captured by ambiguity-loss aversion.
We first apply monotonicity with indifferences to show that the representing function is a function V of EU β f, and then monotonicity in full force to show that V is nondecreasing.
Skiadas (2013) restricted the AA model to a fixed n-tuple of probabilities. If these all exceed ΞΌ and if constant roulette lotteries are excluded, then our second modification is satisfied.
We can and do include all lotteries fromL in this definition, also those not contained inLβ²,because all preferences only involve elements ofLβ².
References
Abdellaoui, M., Vossmann, F., Weber, M. (2005). Choice-based elicitation and decomposition of decision weights for gains and losses under uncertainty. Management Science, 51, 1384β1399.
Abdellaoui, M., Bleichrodt, H., Paraschiv, C. (2007). Loss aversion under prospect theory: A parameter-free measurement. Management Science, 53, 1659β1674.
Abdellaoui, M., Bleichrodt, H., lβHaridon, O., van Dolder, D. (2016). Measuring loss aversion under ambiguity: A method to make prospect theory completely observable. Journal of Risk and Uncertainty, 52, 1β20.
Ahn, D.S., Choi, S., Gale, D., Kariv, S. (2014). Estimating ambiguity aversion in a portfolio choice experiment. Quantitative Economics, 5, 195β223.
Allais, M. (1953). Fondements dβune ThΓ©orie Positive des Choix Comportant un Risque et Critique des Postulats et Axiomes de lβEcole AmΓ©ricaine. Colloques Internationaux du Centre National de la Recherche Scientifique (EconomΓ©trie), 40, 257β332. Paris: Centre National de la Recherche Scientifique. Translated into English, with additions, as The Foundations of a Positive Theory of Choice Involving Risk and a Criticism of the Postulates and Axioms of the American School, in M. Allais & O. Hagen (1979, Eds.). Expected Utility Hypotheses and the Allais Paradox, 27β145. Reidel, Dordrecht, the Netherlands.
Anscombe, F.J., & Aumann, R.J. (1963). A definition of subjective probability. Annals of Mathematical Statistics, 34, 199β205.
Baillon, A., & Bleichrodt, H. (2015). Testing ambiguity models through the measurement of probabilities for gains and losses. American Economic Journal: Microeconomics, 7, 77β100.
Baillon, A., & Placido, L. (2017). Testing constant absolute and relative ambiguity aversion. Working paper.
Baltussen, G., van den Assem, M.J., van Dolder, D. (2016). Risky choice in the limelight. Review of Economics and Statistics, 98, 318β332.
Baucells, M., & Villasis, A. (2015). Equal tails: A simple method to elicit utility under violations of expected utility. Decision Analysis, 12, 190β204.
Birnbaum, M.H. (2008). New paradoxes of risky decision making. Psychological Review, 115, 463β501.
Bleichrodt, H., & Miyamoto, J. (2003). A characterization of quality-adjusted life-years under cumulative prospect theory. Mathematics of Operations Research, 28, 181β193.
Bleichrodt, H., Schmidt, U., Zank, H. (2009). Additive utility in prospect theory. Management Science, 55, 863β873.
Bommier, A. (2017). A dual approach to ambiguity aversion. Journal of Mathematical Economics, 71, 104β118.
Bommier, A., Kochov, A., le Grand, F. (2017). On monotone recursive preferences. Econometrica, 85, 1433β1466.
Borah, A., & Kops, C. (2016). The AnscombeβAumann representation and the independence axiom: A reconsideration. Theory and Decision, 80, 211β226.
Bruhin, A., Fehr-Duda, H., Epper, T. (2010). Risk and rationality: Uncovering heterogeneity in probability distortion. Econometrica, 78, 1375β1412.
Camerer, C.F., & Weber, M. (1992). Recent developments in modelling preferences: Uncertainty and ambiguity. Journal of Risk and Uncertainty, 5, 325β370.
Cerreia-Vioglio, S., Ghirardato, P., Maccheroni, F., Marinacci, M., Siniscalchi, M. (2011). Rational preferences under ambiguity. Economic Theory, 48, 341β375.
Cerreia-Vioglio, S., Maccheroni, F., Marinacci, M. (2015). Put-call parity and market frictions. Journal of Economic Theory, 157, 730β762.
Chambers, R.G., Grant, S., Polak, B., Quiggin, J. (2014). A two-parameter model of dispersion aversion. Journal of Economic Theory, 150, 611β641.
Chateauneuf, A. (1991). On the use of capacities in modeling uncertainty aversion and risk aversion. Journal of Mathematical Economics, 20, 343β369.
Chateauneuf, A., Eichberger, J., Grant, S. (2007). Choice under uncertainty with the best and worst in mind: NEO-additive capacities. Journal of Economic Theory, 137, 538β567.
Chateauneuf, A., & Faro, J. (2009). Ambiguity through confidence functions. Journal of Mathematical Economics, 45, 535β558.
Cheridito, P., Delbaen, F., Drapeau, S., Kupper, M. (2015). Stochastic order-monotone uncertainty-averse preferences. Working paper.
Chew, S.H., Li, K.K., Chark, R., Zhong, S. (2008). Source preference and ambiguity aversion: Models and evidence from behavioral and neuroimaging experiments. In Houser, D., & McGabe, K. (Eds.) Neuroeconomics. Advances in health economics and health services research (Vol. 20, pp. 179β201). Bingley: JAI Press.
Choi, S., Fishman, R., Gale, D., Kariv, S. (2007). Consistency and heterogeneity of individual behavior under uncertainty. American Economic Review, 97, 1921β1938.
Cubitt, P.R., Starmer, C., Sugden, R. (1998). Dynamic choice and the common ratio effect: An experimental investigation. Economic Journal, 108, 1362β1380.
de Finetti, B. (1937). La prΓ©vision: Ses lois logiques, ses sources subjectives. Annales de lβInstitut Henri PoincarΓ©, 7, 1β68. Translated into English by Henry E. Kyburg, Foresight: Its Logical Laws, its Subjective Sources. In H. E. Kyburg and H. E. Smokler (1964, Eds). Studies in Subjective Probability. Wiley, New York, 53β118; 2nd edition 1980, Krieger, New York.
de Lara Resende, J.G., & Wu, G. (2010). Competence effects for choices involving gains and losses. Journal of Risk and Uncertainty, 40, 109β132.
Dean, M., & Ortoleva, P. (2017). Allais, Ellsberg, and preferences for hedging. Theoretical Economics, 12, 377β424.
Dimmock, S.G., Kouwenberg, R., Mitchell, O.S., Peijnenburg, K. (2015). Estimating ambiguity preferences and perceptions in multiple prior models: Evidence from the field. Journal of Risk and Uncertainty, 51, 219β244.
Dobbs, I.M. (1991). A Bayesian approach to decision-making under ambiguity. Economica, 58, 417β440.
Dominiak, A., & Lefort, J.-P. (2011). Unambiguous events and dynamic Choquet preferences. Economic Theory, 46, 401β425.
Dominiak, A., & Schnedler, W. (2011). Attitudes toward uncertainty and randomization: An experimental study. Economic Theory, 48, 289β312.
Dominiak, A., Duersch, P., Lefort, J.-P. (2012). A dynamic Ellsberg urn experiment. Games and Economic Behavior, 75, 625β638.
Du, N., & Budescu, D. (2005). The effects of imprecise probabilities and outcomes in evaluating investment options. Management Science, 51, 1791β1803.
Edwards, W. (1954). The theory of decision making. Psychological Bulletin, 51, 380β417.
Eichberger, J., & Kelsey, D. (1996). Uncertainty aversion and dynamic consistency. International Economic Review, 37, 625β640.
Ellsberg, D. (1961). Risk, ambiguity and the Savage axioms. Quarterly Journal of Economics, 75, 643β669.
Faro, J.H. (2005). On the choices under ambiguity. Ph.D. dissertation. Instituto Nacional de MatemΓ‘tica Pura e Aplicada, Rio de Janeiro.
Fehr-Duda, H., & Epper, T. (2012). Probability and risk: Foundations and economic implications of probability-dependent risk preferences. Annual Review of Economics, 4, 567β593.
Fox, C.R., Erner, C., Walters, D.J. (2015). Decision under risk: From the field to the laboratory and back. In Keren, G., & Wu, G. (Eds.) The Wiley Blackwell handbook of judgment and decision making (pp. 43β88). Oxford: Blackwell.
Gajdos, T., Hayashi, T., Tallon, J.-M., Vergnaud, J.-C. (2008). Attitude towards imprecise information. Journal of Economic Theory, 140, 27β65.
Ghirardato, P., & Marinacci, M. (2001). Risk, ambiguity, and the separation of utility and beliefs. Mathematics of Operations Research, 26, 864β890.
Ghirardato, P., Maccheroni, F., Marinacci, M. (2004). Differentiating ambiguity and ambiguity attitude. Journal of Economic Theory, 118, 133β173.
Gilboa, I. (1987). Expected utility with purely subjective non-additive probabilities. Journal of Mathematical Economics, 16, 65β88.
Gilboa, I., & Schmeidler, D. (1989). Maxmin expected utility with a non-unique prior. Journal of Mathematical Economics, 18, 141β153.
Grant, S., & Polak, B. (2013). Mean-dispersion preferences and constant absolute uncertainty aversion. Journal of Economic Theory, 148, 1361β1398.
Hayashi, T., & Miao, J. (2011). Intertemporal substitution and recursive smooth ambiguity preferences. Theoretical Economics, 6, 423β475.
Jaffray, J.-Y. (1994). Dynamic decision making with belief functions. In Yager, RR, Fedrizzi, M, Kacprzyk, J (Eds.) Advances in the Dempster-Shafer theory of evidence (pp. 331β352). New York: Wiley.
Kahneman, D., & Tversky, A. (1975). Value theory: An analysis of choices under risk. Paper presented at a conference on public economics. Jerusalem 1975.
Kahneman, D., & Tversky, A. (1979). Prospect theory: An analysis of decision under risk. Econometrica, 47, 263β291.
Karni, E., & Schmeidler, D. (1991). Atemporal dynamic consistency and expected utility theory. Journal of Economic Theory, 54, 401β408.
Keynes, J.M. (1921). A treatise on probability. London: McMillan.
Klibanoff, P., Marinacci, M., Mukerji, S. (2005). A smooth model of decision making under ambiguity. Econometrica, 73, 1849β1892.
Knight, F.H. (1921). Risk, uncertainty, and profit. New York: Houghton Mifflin.
KΓΆbberling, V., & Wakker, P.P. (2003). Preference foundations for nonexpected utility: A generalized and simplified technique. Mathematics of Operations Research, 28, 395β423.
Kocher, M.G., Lahno, A.M., Trautmann, S.T. (2018). Ambiguity aversion is not universal. European Economic Review, 101, 268β283.
Kopylov, I. (2009). Choice deferral and ambiguity aversion. Theoretical Economics, 4, 199β225.
KΓΆszegi, B., & Rabin, M. (2006). A model of reference-dependent preferences. Quarterly Journal of Economics, 121, 1133β1165.
Kothiyal, A., Spinu, V., Wakker, P.P. (2011). Prospect theory for continuous distributions: A preference foundation. Journal of Risk and Uncertainty, 42, 195β210.
Kreps, D.M. (1988). Notes on the theory of choice. Boulder: Westview Press.
Luce, R.D. (2000). Utility of gains and losses: Measurement-theoretical and experimental approaches. London: Lawrence Erlbaum Publishers.
Maccheroni, F., Marinacci, M., Rustichini, A. (2006). Ambiguity aversion, robustness, and the variational representation of preferences. Econometrica, 74, 1447β1498.
Machina, M.J. (1989). Dynamic consistency and non-expected utility models of choice under uncertainty. Journal of Economic Literature, 27, 1622β1688.
Machina, M.J. (2014). Ambiguity aversion with three or more outcomes. American Economic Review, 104, 3814β3840.
McCord, M.R., & de Neufville, R. (1986). Lottery equivalents: Reduction of the certainty effect problem in utility assessment. Management Science, 32, 56β60.
Nau, R.F. (2006). Uncertainty aversion with second-order utilities and probabilities. Management Science, 52, 136β145.
Neilson, W.S. (2010). A simplified axiomatic approach to ambiguity aversion. Journal of Risk and Uncertainty, 41, 113β124.
Oechssler, J., Rau, H., Roomets, A. (2016). Hedging and ambiguity. Working paper.
Ozdenoren, E., & Peck, J. (2008). Ambiguity aversion, games against nature, and dynamic consistency. Games and Economic Behavior, 62, 106β115.
Pulford, B.D. (2009). Is luck on my side? Optimism, pessimism, and ambiguity aversion. Quarterly Journal of Experimental Psychology, 62, 1079β1087.
Ryan, M.J. (2009). Generalizations of SEU: A geometric tour of some non-standard models. Oxford Economic Papers, 61, 327β354.
Saito, K. (2015). Preferences for flexibility and randomization under uncertainty. American Economic Review, 105, 1246β1271.
Saponara, N. (2017). Revealed understanding. Working paper.
Savage, L.J. (1954). The foundations of statistics. New York: Wiley. (Second edition 1972, Dover Publications, New York).
Schmeidler, D. (1989). Subjective probability and expected utility without additivity. Econometrica, 57, 571β587.
Schmidt, U. (2003). Reference-dependence in cumulative prospect theory. Journal of Mathematical Psychology, 47, 122β131.
Schmidt, U. (2004). Alternatives to expected utility: Some formal theories. In Barber, S., Hammond, P.J., Seidl, C. (Eds.) Handbook of utility theory II (Ch. 15, pp. 757β838). Dordrecht: Kluwer Academic Publishers.
Schmidt, U., & Zank, H. (2009). A simple model of cumulative prospect theory. Journal of Mathematical Economics, 45, 308β319.
Schneider, F., & Schonger, M. (2017). An experimental test of the Anscombe-Aumann monotonicity axiom. Working paper.
Siniscalchi, M. (2009). Vector expected utility and attitudes toward variation. Econometrica, 77, 801β 855.
Siniscalchi, M. (2011). Dynamic choice under ambiguity. Theoretical Economics, 6, 379β421.
Skiadas, C. (2013). Scale-invariant uncertainty-averse preferences and source-dependent constant relative risk aversion. Theoretical Economics, 8, 59β93.
Skiadas, C.S. (2015). Dynamic choice with constant source-dependent relative risk aversion. Economic Theory, 60, 393β422.
Slovic, P., Lichtenstein, S., Fischhoff, B. (1988). Decision making. In Atkinson, R.C., Herrnstein, R.J., Lindzey, G.E., Luce, R.D. (Eds.) Stevens handbook of experimental psychology (Vol. 2, pp. 673β738). New York: Wiley.
Starmer, C. (2000). Developments in non-expected utility theory: The hunt for a descriptive theory of choice under risk. Journal of Economic Literature, 38, 332β382.
Strzalecki, T. (2011). Axiomatic foundations of multiplier preferences. Econometrica, 79, 47β73.
Sugden, R. (2003). Reference-dependent subjective expected utility. Journal of Economic Theory, 111, 172β191.
Trautmann, S.T., & van de Kuilen, G. (2015). Ambiguity attitudes. In Keren, G., & Wu, G. (Eds.) The Wiley Blackwell handbook of judgment and decision making (Ch. 3, pp. 89β116). Oxford: Blackwell.
Tversky, A., & Kahneman, D. (1981). The framing of decisions and the psychology of choice. Science, 211, 453β458.
Tversky, A., & Kahneman, D. (1992). Advances in prospect theory: Cumulative representation of uncertainty. Journal of Risk and Uncertainty, 5, 297β323.
Viscusi, W.K., & OβConnor, C. (1984). Adaptive responses to chemical labeling: Are workers Bayesian decision makers? American Economic Review, 74, 942β956.
Viscusi, W.K., & Evans, W.N. (2006). Behavioral probabilities. Journal of Risk and Uncertainty, 32, 5β15.
Wakker, P.P. (1989). Continuous subjective expected utility with nonadditive probabilities. Journal of Mathematical Economics, 18, 1β27.
Wakker, P.P. (2010). Prospect theory: For risk and ambiguity. Cambridge: Cambridge University Press.
Wakker, P.P., & Tversky, A. (1993). An axiomatization of cumulative prospect theory. Journal of Risk and Uncertainty, 7, 147β176.
Yechiam, E., Stout, J.C., Busemeyer, J.R., Rock, S.L., Finn, P.R. (2005). Individual differences in the response to forgone payoffs: An examination of high functioning drug abusers. Journal of Behavioral Decision Making, 18, 97β110.
Zeckhauser, R., & Viscusi, W.K. (1990). Risk within reason. Science, 248 (4955), 559β564.
Author information
Authors and Affiliations
Corresponding author
Additional information
Han Bleichrodt and Horst Zank made useful comments. An anonymous referee substantially improved the paper.
Electronic supplementary material
Below is the link to the electronic supplementary material.
Appendices: Proofs and an isomorphism
Appendices: Proofs and an isomorphism
1.1 Appendix A: Preparation
Several results in the ambiguity literature (e.g., Schmeidler 1989), were formulated for the two-stage AA model, and not for general mixture spaces as we use them. These results can routinely be transferred to acts for general mixture spaces. For example, this can be inferred by verifying that all those proofs remain valid for general mixture spaces, as do the proofs provided by Ryan (2009). Another way to see this point is as follows.
In all our results, Theorem 1 (or Observation 3) gives an affine representation u on M. We replace all consequences by their u values (effectively, collapsing indifference classes of consequences), endowing those with the natural mixture on real numbers. By monotonicity, we thus collapse indifference classes of acts. The newly constructed space is a two-stage AA model, with the utility function on consequences being the identity function. All preference conditions defined in this paper are preserved under the transformation used. Hence, we can use the existing theorems in the literature. They give the corresponding theorems on the underlying general mixture space. We have thus shown:
Observation 5
All cited preference foundations for AA theories hold for general mixture spaces.β‘
1.2 Appendix B: Proof of Observation 3: cosigned expected utility
A nonloss is a consequence that is a gain or is neutral, and a nongain is a consequence that is a loss or is neutral. We first derive a preparatory lemma.
Lemma 1
Assume that the preference relation \(\succcurlyeq \), restricted to consequences, satisfies weak ordering, continuity, and cosigned independence. If x and y are nonlosses, then so are all x p y for 0 β€ p β€β1. If x and y are nongains, then so are all x p y for 0 β€ p β€β1.
Proof
Assume the conditions in the lemma. We consider the case of nonlossesx, y. Assume, for contradiction, x q y βΊ π for some q. Continuity readily implies existence of a largestp < q such that x p y βΌ π and a smallest r > q such x r y βΌ π. Define xβ² = x p y and yβ² = x r y.Then xβ²and yβ² are neutral but, by continuity, every \(x^{\prime }_{p^{\prime }}y^{\prime }\) mustbe a loss. The set of \(x^{\prime }_{p^{\prime }}y^{\prime }\) (0 β€ pβ²β€β1) is cosigned, implying that von Neumann-Morgensternindependence holds here without a cosignedness restriction. \(x^{\prime } \succ x^{\prime }_{1/3}y^{\prime }\) and independence imply that their 0.5 β 0.5 mixture is strictly preferred to \(x^{\prime }_{1/3}y^{\prime }\) (take \(c = x^{\prime }_{1/3}y^{\prime }\) in the definition of cosigned independence), implying that\(x^{\prime }_{2/3}y^{\prime } \succ x^{\prime }_{1/3}y^{\prime }\). In contradiction with this, \(y^{\prime } \succ x^{\prime }_{2/3}y^{\prime }\) and independence imply that their 0.5 β 0.5 mixture is strictly preferred to \(x^{\prime }_{2/3}y^{\prime }\), implying \(x^{\prime }_{1/3}y^{\prime } \succ x^{\prime }_{2/3}y^{\prime }\). A contradiction has resulted.
We now turn to the proof of Observation 3. Necessity of the preference conditions is obvious. We hence assume these preference conditions and derive an affine representation. We assume the vNM axioms (the axioms in Theorem 1) for \(\succcurlyeq \) over consequences with, however, independence weakened to sign-independence: x β» y β x p z β» y p z only if either all consequences are nonlosses or they all are nongains. By true mixedness, there exist consequences Ξ± and Ξ² with Ξ± β» π β» Ξ², and we will use these consequences in the following derivation.
Lemma 1 implies that the set of nonlosses is a mixture set (closed under mixing). On this set, all vNM axioms are satisfied, and an affine representing functional u+ is obtained. We normalize u+(π) =β0,u+(Ξ±) =β1. We similarly obtain an affine uβ on nongains. To extend the representation and its affinity to mixed consequences, we define an as-if gain preference relation \(\succcurlyeq ^{+}\) over consequences, including losses, as follows. It agrees with \(\succcurlyeq \) for gains, as we will see, and affinity extends it to losses: \(x \succcurlyeq ^{+} y\) if there exists p <β1 such that \(\alpha _{p} x \succcurlyeq \alpha _{p} y \succcurlyeq \theta \). We first show that the choice of p in the definition of \(\succcurlyeq ^{+}\) is immaterial.
Lemma 2
If \(x \succcurlyeq ^{+} y\) then \(\alpha _{p} x \succcurlyeq \alpha _{p} y\) for all p >β0 for which both mixtures are nonlosses.
Proof
Consider Ξ± p x, Ξ± p y, Ξ± r x, and Ξ± r y, and assume that all are nonlosses. Assume p > r.Then Ξ± p x is a mixture of Ξ± r x and Ξ±, and Ξ± p y is a mixture of Ξ± r y and Ξ±, where both mixtures use the same weights ((1 β p)/(1 β r)and (p β r)/(1 β r)). By the affine representation for nonlosses, the preference between Ξ± p x and Ξ± p y is the same as between Ξ± r x and Ξ± r y.
The above lemma shows that \(\succcurlyeq ^{+}\) indeed agrees with \(\succcurlyeq \) for nonlosses (take p =β0). To see that it establishes an affine extension for losses, we briefly show that \(\succcurlyeq ^{+}\) satisfies all usual vNM axioms, also on losses. Completeness, transitivity, nontriviality, and independence all readily follow from the definition of \(\succcurlyeq ^{+}\) by taking a mixture weight p in its definition so close to 1 that this same mixture weight p can be used for all consequences concerned in the axioms. This also holds for continuity, where, applying it to \(\succcurlyeq \) and Ξ± p f, Ξ± p g, and Ξ± p h with p sufficiently close to 1, implies it for \(\succcurlyeq ^{+}\), f, g, and h. All vNM axioms are satisfied for \(\succcurlyeq ^{+}\), giving an affine representation, denoted u+ of \(\succcurlyeq ^{+}\) and, hence, also of \(\succcurlyeq \) on all nonlosses.
We similarly define an as-if loss preference relation: \(x \succcurlyeq ^{-} y\) if there exists p <β1 such that \(\theta \succcurlyeq \beta _{p} x \succcurlyeq \beta _{p} y\). We similarly obtain an affine representation, denoted uβ, of \(\succcurlyeq ^{-}\) that agrees with \(\succcurlyeq \) for all nongains. u+ and uβ both represent \(\succcurlyeq \) on the set of neutral consequences. We show that this overlap is big enough to ensure that the two representations are identical.
We can set u+(π) =β0 = uβ(π). By continuity, we can take 0 < p <β1 such that Ξ± p Ξ² βΌ π. Because uβ represents \(\succcurlyeq \) for losses, uβ(Ξ²) < uβ(π) =β0, and hence uβ(Ξ±) >β0. We normalize uβ(Ξ±) = u+(Ξ±) =β1. Indifferences Ξ± q Ξ³ βΌ π for losses Ξ³, and the affine representations, imply that u+ = uβ for losses Ξ³. Thus, u+(Ξ²) = uβ(Ξ²). This and indifferences Ξ΄ r Ξ² βΌ π imply that u+ = uβ for gains Ξ΄ too. Hence, u+ = uβ everywhere, and u+ = uβ. Consequently, both these functions represent \(\succcurlyeq \) on nonlosses and on nongains. They also represent preferences between gains and losses properly, assigning positive values to the former and negative values to the latter. We have thus obtained an affine representation u+ = uβ of \(\succcurlyeq \), implying all the vNM conditions for consequences without sign restrictions. We denote u = u+ = uβ. This completes the proof of Observation 3. β‘
1.3 Appendix C: Proof of Theorem 4
We first show that the implications in the definitions of independence can be reversed. We use the term strong (comonotonic/cosigned) independence to refer to these reinforced versions.
Lemma 3
Assume that \(\succcurlyeq \) is a continuous weak order. Then the reversed implications in Definitions 1, 2, and 4 also hold.
Proof
Assume the conditions in the lemma and theimplication of the definition considered. Consider three acts f, g, h. If f, g, h are comonotonic (or cosigned), then so is the mixture set of all their mixtures, by Observation 3. In each case, independence therefore holds on the mixture set considered without a comonotonicity/cosignedness restriction, and we have the usual axioms thatimply expected utility and the reversed implications of Lemma 3.
Necessity of the Preference Conditions in Theorem 4; i.e., (i) implies (ii): We assume (i), PT, and briefly indicate how cosigned independence is implied. The other conditions are routine. Consider cosigned f, g, c. We may assume a common partition E1,β¦,E n such that the consequences of the acts depend on these events. Because of cosignedness we can have
for all h equal to f, g, or c, or a mixture of these acts. For example, if for i there exists a hβ² from {f, g, c} with \(h_{i}^{\prime }\) a gain, then all h i s are nonlosses and i β€ k. If h j β» h i for a hβ² from {f, g, c}, then \(h_{j} \succcurlyeq h_{i}\) for all three acts, and j < i. Thus, we can use the same decision weights (Eqs.Β 12 andΒ 13) for all three acts and for all their mixtures. It implies that PT(f p c) = pPT(f) + (1 β p)PT(c), with the same equality for g instead of f. This implies cosigned independence. β‘
Sufficiency of the Preference Conditions in Theorem 4 ((ii) implies (i)). In Observation 3 we derived expected utility for consequences if only cosigned independence is assumed. In agreement with the definition of prospect theory, we normalize expected utility for consequence π such that u(π) =β0 and for some consequence (existing because of true mixedness) \(\check {\alpha } \succ \theta \) such that \(u(\check {\alpha })=β1\). Let a nonloss act be an act g such that g(s) is a nonloss for every s. A nongain act is defined similarly. By Lemma 1, the set of nonloss acts is closed under mixing, and so is the set of nongain acts. By Schmeidlerβs Theorem 3, there exists a CEU functional \(CEU^{+} = \int _{S} u(g^{+}(s))dv^{+}\) on the nonloss acts g+ that represents \(\succcurlyeq \) there CEUβ is similar.
By true mixedness, there exists a truly mixed act. By monotonicity, we can replace all nonloss consequences of the act by its maximal consequence, and all loss consequences by its minimal consequence, without affecting its true mixedness. The act now only has two consequences and can be written as Ξ³ F Ξ² with Ξ³ β» π β» Ξ². (Ξ³ abbreviates good (or gain) and Ξ² abbreviates bad.) By continuity, we assume that Ξ³ F Ξ² βΌ π, by either improving (by mixing with π) Ξ² or worsening (by mixing with π) Ξ³. Ξ³ F Ξ² will be used for calibrating the PT functional, and is called the calibration act.
We now define a functional PT+ on nonloss acts and a functional PTβ on nongain acts, and a prospect theory functional PT that is the sum of those two. Next we show that PT represents preference. More precisely, we define
where Ξ» >β0 is such that PT(Ξ³ F Ξ²) =β0. Thus, PT(Ξ³ F Ξ²) = PT+(Ξ³ F π) + PTβ(π F Ξ²), and Ξ» = βCEU+(Ξ³ F π)/CEUβ(π F Ξ²). We define c as the PT value of the gain part of Ξ³ F Ξ²; i.e.,
This c is minus the PT value of the loss part of Ξ³ F Ξ²; i.e., PTβ(π F Ξ²) = βc.
PT represents preference on all nonloss acts, and also on all nongain acts. Because it also compares nonloss acts properly with nongain acts (this holds for every Ξ» >β0), it is representing on the union of these, which is the set of all nonmixed acts. We call an act f proper if PT(f) = PT(g) for some nonmixed act g with f βΌ g. To prove that PT is representing, it suffices, by transitivity, to show that all acts are proper, and this is what we will do. That is, we use the nonmixed acts for calibrating PT relative to preferences. We start with a set of binary acts cosigned with the calibration act: \(\mathcal {A}_{F}\) is defined as the set of all acts Ξ΄ F Ξ± with \(\delta \succcurlyeq \theta \succcurlyeq \alpha \).
Lemma 4
All acts in \(\mathcal {A}_{F}\) are proper.
Proof
In this proof we only consider acts from \(\mathcal {A}_{F}\).All these acts are cosigned, implying that we can use cosigned independencefor all mixtures. We choose particular nonmixed acts. For any actf we find a nonmixed equivalent g defined as follows. Let x be a consequence such that with g = x F π we have PT(g) = PT(f). By continuity of PT, such an x always exists. Thus, g is a nonmixed binary act with the same PT value as f, but it is in \(\mathcal {A}_{F}\) andis cosigned with f and π. We will demonstrate properness on A F by showing that each act is equivalent to a nonmixed equivalent.
-
Case 1 [acts with PT value zero]: Let PT(f) =β0. Define a = PT+(f+) = βPTβ(fβ) β₯β0.π is a nonmixed equivalent of f. We show that f βΌ π.
-
Case 1.1: a β€ c(c as in Eq.Β 16). \(PT^{+}(f^{+})= \frac {a}{c} PT^{+}(\gamma _{F} \theta )\). By CEU for nonlosses, f+ βΌ (Ξ³ F π)a/cπ. Similarly, fββΌ (π F Ξ²)a/cπ. By double matching, f βΌ (Ξ³a/cπ) F (Ξ²a/cπ) = (Ξ³ F Ξ²)a/cπ βΌ π(the last indifference by cosigned independence). By transitivity,f βΌ π and f is proper.
-
Case 1.2: a > c.We consider a mix of f with π, f p π.From the definition of the PT functional we have PT(f p π) = pPT(f) =β0and PT+(f p π)+) = βPTβ((f p π)β) = pa.We choose p so small that 0 < pa < c.From Case 1.1 we have f p π βΌ π.By strong cosigned independence, this impliesf βΌ π.f is proper.
-
Case 2 [acts with positive PT value]: Let PT(f) >β0.By continuity and the definition of PT, there exists a consequence Ξ΄ between π and the maximal consequence in f such that PT(Ξ΄ F π) = PT(f) >β0.Ξ΄ F π is a nonmixed equivalent of f. Define a+ = PT+(f+)and aβ = βPTβ(fβ).Then PT(Ξ΄ F π) = a+ β aβ.
-
Case 2.1: a+ β€ c (hence aβ < c). Write b+ = a+/c and bβ = aβ/c.
PT+(f+) = b+PT+(Ξ³ F π) and PTβ(fβ) = bβPTβ(π F Ξ²). Then it follows from CEU for gains that \(f^{+} \sim (\gamma _{F} \theta )_{b^{+}}\theta \). For the loss part of f, we similarly have \(f^{-} \sim (\theta _{F} \beta )_{b^{-}}\theta \). By double matching, \(f \sim (\gamma _{b^{+}} \theta )_{_{F}}(\beta _{b^{-}} \theta )\). We now isolate a symmetric componentwith absolute prospect theory value aβ for the gain part and the loss part (this was the step most difficult to find in this paper):\((\gamma _{b^{+}} \theta )_{_{F}}(\beta _{b^{-}} \theta ) = (\gamma _{F} \beta )_{b^{-}} \left [(\gamma _{\frac {b^{+} - b^{-}}{1-b^{-}}} \theta )_{_{F}} \theta \right ] ~ \sim (\theta )_{b^{-}} \left [(\gamma _{\frac {b^{+} - b^{-}}{1-b^{-}}} \theta )_{_{F}} \theta \right ] ~ \sim (\gamma _{(b^{+} - b^{-})} \theta )_{_{F}} \theta = f^{*}\). From PT(fβ) = c(b+ β bβ) = a+ β aβ = PT(Ξ΄ F π) and CEU for nonlosses it follows thatfββΌ Ξ΄ F π. By transitivity, f βΌ Ξ΄ F π.f is proper.
-
Case 2.2: a+ > c. We mix f and Ξ΄ F π with π to obtain fβ = f p π and (Ξ΄ F π)β = (Ξ΄ F π) p π. We define \(a^{+}_{\downarrow } = PT((f_{p} \theta )^{+})\), which is pa+, and \(a^{-}_{\downarrow } = PT((f_{p} \theta )^{-})\), which is paβ. We choose p so small that \(a^{-}_{\downarrow } < a^{+}_{\downarrow } < c\). From prospect theory we have PT(fβ) = PT((Ξ΄ F π)β), which, by Case 2.1, implies fββΌ (Ξ΄ F π)β. Because f, Ξ΄ F π, and π are cosigned, f p π βΌ (Ξ΄ F π) p π implies f βΌ Ξ΄ F π. Again, f is proper.
-
Case 3 [Acts with negative PT value]: Let PT(f) <β0. This case is similar to Case 2.
We have demonstrated that all acts in \(\mathcal {A}_{F}\) areproper. β‘
We next show that all acts are proper. Consider a general act g, and event E such that g yields nonlosses on E and losses on Ec.
-
Case 1: There exists a matching act \(f \in \mathcal {A}_{F}\) such that PT+(f+) = PT+(g+) and PTβ(fβ) = PTβ(gβ). Hence, PT(f) = PT(g), and from CEU for nonlosses and for nongains we have f+ βΌ g+ and fββΌ gβ. From double matching, f βΌ g. Because f and g have the same PT value and are equivalent, and f is proper, it follows that g is also proper.
-
Case 2. There exists no matching act \(f \in \mathcal {A}_{F}\) forg as in Case 1. We mix act g with π to obtain an act gβ = g p π. We choose p so small that we find a matching act fβ β A F , i.e., \(PT^{+}(f^{+}_{\downarrow }) = PT^{+}(g^{+}_{\downarrow })\) and \(PT^{-} (f^{-}_{\downarrow })=PT^{-}(g^{-}_{\downarrow })\). Thus, PT(fβ) = PT(gβ), and Case 1 implies fββΌ gβ.
Let \(\tilde {g} = x_{E}\theta \) be the nonmixed equivalent of g. Let \(\tilde {g_{\downarrow }}= x^{\prime }_{E}\theta \) similarly be the nonmixed equivalent of gβ. We have \(PT(g_{\downarrow })=PT(\tilde {g}_{\downarrow })\), and because of Case 1 this implies \(\tilde {g}_{\downarrow } \sim g_{\downarrow }\). Because g, \(\tilde {g}\), and π are cosigned, \(g_{p} \theta \sim \tilde {g}_{p} \theta \) implies \(g \sim \tilde {g}\). Thus, g is proper. We have proved sufficiency of the preference conditions.
Uniqueness Results Uniqueness of v+(vβ) follows from Schmeidlerβs Theorem 3 applied to nonloss (nongain) acts. It is obvious that the unitof utility can be multiplied by any positive constant. We show that no other change is possible. Restricting attention to nonloss consequences shows, by Schmeidlerβs theorem, that u, when restricted to nonlosses, is unique up to a unit, given that the scale u(π) =β0 is fixed. Similarly, restricting attention to nongain consequences shows thatu, when restricted to nongains, is unique up to a unit that, a priori, might be different than for gains. However, the equivalence Ξ³ F Ξ² βΌ π shows that the unit of losses is joined with that of gains, and a change of one implies the same change of the other. Hence, only one unit of utility is free to choose.
1.4 Appendix D: Remaining proofs
Proof of Observation 1
\((20_{B_{k}}0)_{\frac {1}{2}}(0) \succ (20_{B_{a}}0)_{\frac {1}{2}}(0)\) and \((20_{B_{k}}0)_{\frac {1}{2}}(-20) \preccurlyeq (20_{B_{a}}0)_{\frac {1}{2}}(-20)\) violate weak certainty independence, but are exactly the preferences in Example 1 under the AA model. To see the latter point, the left mixture in the first preference, for example, yields \(20_{\frac {1}{2}}0 = 10\) underevent B k .
Proof of Observation 4
PT(f) = CEU+(f+) + Ξ»CEUβ(fβ) = u(x+) + Ξ»u(xβ) = PT(π) =β0 implies u(x+) = βΞ»u(xβ). Then for \(g=x^{+}_{\hspace {0.1cm} p} x^{-} \sim \theta \), PT(g) = pu(x+) + (1 β p)u(xβ) = p(βΞ»)u(xβ) + (1 β p)u(xβ) =β0, implying \(-\lambda p + 1-p = 0 \Leftrightarrow p= \frac {1}{1+\lambda }\).
1.5 Appendix E: An isomorphism between our reduced and the full AA model
This appendix formally shows that the procedure described in SectionΒ 2, considering only a subdomain of the preferences (formalized through an rAA model) as used in the experiment, is model-theoretically isomorphic to the full AA model. The rAA model thus contains all information of the complete model, and we can indeed use all techniques of the full AA model despite our restricted domain. We first present the usual AA model formally. We assume Example 2. Generic notation: Ξ±, Ξ², x i , y i for outcomes; x = (p1:x1,β¦,p m :x m ), with the obvious interpretation, for lotteries. General acts are also called (two-stage) acts because there are two stages of uncertainty.
Preferences over lotteries induce preferences over outcomes through degenerate lotteries. A certainty equivalent (CE) of a lottery is an outcome that is equivalent to that lottery. Under EU, it agrees with the CA of the lottery. The certainty equivalent condition means that there exists a unique certainty equivalent for each lottery. Uniqueness can always be achieved by collapsing indifference classes of outcomes. A function u on L is expected utility (EU) if \(u((p_{1}{\text :}x_{1}, \ldots , p_{m}{\text :}x_{m})) = \sum _{i = 1}^{m} p_{i} u(x_{i})\) and it represents \(\succcurlyeq \) on L. This is equivalent to affinity of u. We use the same symbol u for the function defined on X and its expectation defined on L. We sometimes call u on L the risky utility function. We defined the (two-stage) AA model in the main text by EU maximization over lotteries (w.r.t. u) plus backward induction, which is equivalent to monotonicity under the following richness, which is assumed in this appendix:
Assumption 1
A nontrivial weak order \(\succcurlyeq \) isgiven on the set \(\mathcal {A}\) ofacts, with a best outcome B and a worst outcome W.The CE condition is satisfied. β‘
The best and worst outcomes are defined by \(B \succcurlyeq \alpha \succcurlyeq W\) for all outcomes Ξ±. They simplify utility scalings and relations between different models.
An act f is one-stage if all lotteries f(s) are degenerate; i.e., f assigns outcomes rather than nondegenerate lotteries to all states (upper panel in Fig.Β 5). Then all relevant uncertainty has been resolved in the first stage. A lottery, identified with the corresponding constant act, is sometimes also called a one-stage lottery (left panel in Fig.Β 5). Now all relevant uncertainty is resolved in the second stage.
The AA assumptions of EU on L and of monotonicity are called ancillary assumptions. They imply that a function representing preferences over acts must be of the form
with V nondecreasing.Footnote 14 Further assumptions, in addition to the ancillary assumptions and the common assumptions of weak ordering and nontriviality, concern the function V, i.e., the aggregation of uncertainty over S, and they concern ambiguity. They are of central interest, and we call them substantive assumptions.
We next discuss the experiment in SectionΒ 3 formally. The experiment concerns the two-stage AA model with: (a) S = {R a , B a }; (b) bets on the ambiguous urn are acts; (c) bets on the known urn are fifty-fifty lotteries (also some other lotteries are used); (d) B =β10, W = ββ20. We used EU to analyze risky choices. We only used a subpart of the two-stage AA model, the rAA model, in two respects. First, all acts and lotteries presented to subjects were one-stage (upper and left panel in Fig.Β 5). We obtained all desired utility levels at the second stage using consequences that are outcomes, i.e., degenerate lotteries. Yet we could indirectly infer mixtures of consequences under the two-stage AA model if necessary. For example, we could derive, for the AA twin,
because we elicited CE(100.5Ξ±) =β0. The second respect in which we only used a subpart of the two-stage AA model is that we never used degenerate lotteries when eliciting risky preferences. We next formalize our reduced form of the AA model, called the rAA model.
The first modification [focusing on one-stage acts and lotteries]. For each two-stage act f, each lottery f(s) is replaced by CE(f(s)) (arrow in Fig.Β 5). This replacement is not done by the decision maker, but by the researcher. We inferred Eq.Β 18 this way.
The rAA model preserves the underlying mixing of outcomes of the two-stage AA model by temporarily returning to the underlying lotteries for a mix. We use a notation \(\beta = \alpha _{^{\prime }p} \gamma = p\alpha +^{\prime } (1-p)\gamma \), where the first prime preceding the subscript probability p indicates that the mixture operation here is different from the original (probabilistic) one in the two-stage AA model, and the second prime following the + sign indicates the same. The two mixture operations are isomorphic though, and lead to the same indifference class. Informally, we take any lotteries x, z with Ξ± = CE(x),Ξ³ = CE(z), we take y = x p z, and then get Ξ² as CE(y). Because of EU on L, it does not matter which x and z we take in this process, and the operation is well defined. Always
This holds irrespective of the particular choices x and z. We use Eq.Β 19 as the formal definition of the new mixture operation. The mixture operation is most easily observable from:
That is, we take x = Ξ± and z = Ξ³. An example is Eq. 2 which showed that \(0 = 10_{^{\prime }0.5}\alpha \).
The second modification [avoiding degenerate lotteries for risky preferences]. In the first modification, we put deterministic outcomes central for the analysis of ambiguity by focusing on one-stage acts. Violations of SEU for such acts, due to ambiguity, are our substantive interest. In the second modification considered now, concerning the analysis of risk through one-stage lotteries, we avoid degenerate lotteries, staying away from the upper left box in Fig.Β 5.
We define R = B0.5W, and take some fixed 0 < ΞΌ <β1 (0.4 in SectionΒ 3). For each lottery x, we define xβ² = R ΞΌ x. Under the ancillary assumptions of the AA model, EU holds on L, and then a CE-indifference Ξ² βΌ y is not affected if we bring in ΞΌR, as in
In general, indifferences are not affected under EU if we add or remove primes from all the lotteries. We call Ξ² in Eq.Β 21 the conditional CE of y, denoted Ξ² = CA(y). We used this procedure in Eqs. 2 and 3. The CA condition means that there exists a unique CA for each lottery x β L. Given existence, uniqueness can always be achieved by collapsing indifference classes.Footnote 15
The two modifications combined. The rAA model results from combining the two modifications. Every two-stage act f in the two-stage AA model is replaced by CA(f), defined by replacing every f(s) by CA(f(s)), and turning every two-stage act into an equivalent one-stage act (arrow in Fig.Β 5). We carried out the first modification, but with primes added to Eq.Β 20 because of the second modification.
We call the rAA model derived from the two-stage AA model as just described the corresponding rAA model. Conversely, from every rAA model the uniquely determined corresponding two-stage AA model can be recovered, mostly by deriving preferences between two-stage acts from their CA images. We summarize the rAA model formally.
Definition 5
The reduced AA (rAA) model holds if thefollowing definitions and conditions are satisfied. AssumeS, D, L as before. B and W are the best and worst outcomes, R = W0.5B, and 0 < ΞΌ <β1is fixed. For each lottery x, we have xβ² = R ΞΌ x, and Lβ²β L is the set of all lotteries xβ².\(\mathcal {OA}\) contains(a) all one-stage acts, and (b) Lβ².Thus, all elements of \(\mathcal {OA}\) areone-stage. Preferences \(\succcurlyeq \) aredefined only over \(\mathcal {OA}\).Preferences over Lβ²are represented by EU, the expectation u of a function on D also denoted u.Preferences over outcomes agree with those over constant acts, and are represented byu on D.Monotonicity holds. Conditional certainty equivalents, denoted CA, aredefined as in Eq.Β 21, and are assumed to uniquely exist for everyx β L(the CA condition).Footnote 16
The mixture operation on outcomes is defined through Eq.Β 19, and can, for instance, be revealed from indifferences through the following analog of Eq.Β 20:
We summarize some useful relations between the corresponding reduced and two-stage AA models.
Observation 6
Assume the Richness Assumption 1. Then there is a one-to-one correspondence between two-stage and reduced AA models (based on the maps f β CA(f) and x β xβ²), and the preferences of one model uniquely determine those of the other. The rAA model is a substructure of the corresponding two-stage AA model, and its preferences agree with the restriction of the two-stage AA model preferences.β‘
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Trautmann, S., Wakker, P.P. Making the Anscombe-Aumann approach to ambiguity suitable for descriptive applications. J Risk Uncertain 56, 83β116 (2018). https://doi.org/10.1007/s11166-018-9273-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11166-018-9273-7