cherry nothing (CNOT)I watched C beams glitter in the dark near the Hadamard Gate.tag:daikaiju.org.uk,2007:/Blosxom2008-01-20T19:32:00Ztag:daikaiju.org.uk,2008:/articles/ellsbergswagerEllsberg's Wager2008-01-20T19:32:00Z2008-01-20T19:32:00Zstevehttp://daikaiju.org.uk/~steve/cnot/2008/01/20/index.atom
Tags: probability, decision, Pearl, belief, Dempster-Shafer, religion, games,
<p>
There is a bag containing at least one token. Tokens must be either black or white. One token will be drawn at random from the bag and then returned to it, say at noon on Sunday. Now imagine that everyone in some community has one black token and one white token. They can place one (and only one) on a Magic Box before noon, and if it's colour matches the token that is drawn out at noon, then a Desirable Prize is dispensed. There's no penalty for getting it wrong. Which token should they choose? For those who are interested we're playing a game where the payoff matrix is identity.
</p>
<center><table>
<tr><td colspan="2" /><td colspan="2"><em>token choice</em></td></tr>
<tr><td colspan="2" /><td>black</td><td>white</td></tr>
<tr><td><em>the bag's outcome</em></td><td>black</td><td><b>1</b></td><td><b>0</b></td></tr>
<tr><td /><td>white</td><td><b>0</b></td><td><b>1</b></td></tr>
</table></center>
<p>
Obviously the best strategy depends on what the bag contains. Suppose it's a <em>balanced</em> bag that contains an equal number of white tokens and black tokens. Even small children will tell you that either token is equally good in this case, and when psychologists have investigated people's choices they about 50% of people choose black and 50% of people choose white. What if we have no idea what's in the bag except that nothing but a white or a black token will be pulled out? It's a bag of <em>mystery</em>! Again either token has a 50-50 chance. And given the choice, in this case too people will choose roughly equal proportions of each token.
</p><p>
So lets's be clear - the strategies for a one-off game are <strong>identical</strong> for <em>balanced</em> and <em>mystery</em> bags. Now suppose we offer people a choice of matching their token against a token drawn from either the <em>balanced</em> bag or the <em>mystery</em> bag. Most people choose to play against the <em>balanced</em> bag. Most of the people choosing the <em>balanced</em> bag will not switch to the <em>mystery</em> bag <strong>even if the game is repeated</strong>. This is known as <a href="http://en.wikipedia.org/wiki/Daniel_Ellsberg">Ellsberg</a>'s paradox. It's named after Daniel Ellsberg, better known for leaking the Pentagon Papers in an attempt to stop the Vietnam war, by the way. He's now an outspoken opponent of the USA's war in Iraq, and the frequently threatened attack on Iran.
</p>
<p>
See, in the case of the repeated game, the <em>mystery</em> bag offers the opportunity of learning to exploit any imbalance that may exist in the proportion of token colours, but in the <em>balanced</em> case you're always stuck at 50% and can never improve upon it. Ellsberg's paradox caused much consternation amongst many economists as their theories are frequently based on the assumption (spoken or unspoken, and frequently attended by hordes of similar assumptions) that all agents act rationally (ie. in their best interests). Psychologists aren't really sure why so many people choose the <em>balanced</em> bag - could it be a commitment to fairness, a preference for not making hard choices, fear of the unknown...? Nobody really knows for certain. But maybe we can make an educated guess.
</p>
<p>
Let's look more closely at how strategies for the one-off game are arrived at. In the case of the <em>balanced</em> bag we have an probability estimate of 50%, and a maximum confidence in that estimate - given that token colour is a random variable we can't do better. The <em>balanced</em> probability is considered to be unconditional. In the case of the bag of <em>mystery</em> we have an initial probability estimate of 50% but no confidence at all in it - it's really a representation of our own ignorance, what Bayesians would call a 'prior'.
</p>
<p>
A mathematical formalism that addresses this notion of confidence is called Dempster-Shafer theory, a generalisation of Bayesian statistics. Take the set ω of outcomes. In the case above ω = {black, white}. We are interested in the 'power set' or set-of-all-subsets of ω. We write this as 2<sup>ω</sup> = {ø, {black}, {white}, ω}. Now let's define a function called the mass m, which will be a little bit like probability in that it adds up to 1, but it's defined not on ω but on 2<sup>ω</sup>. We'll define m(ø) = 0 and then we can ignore the empty set completely.
</p>
<p>
The mass of a set s is m(s) and represents the 'weight of evidence' that the outcome is in that set, but not evidence for a particular member of that set. At the beginning of our game:
<center><table>
<tr>
<th>m</th>
<th>Balanced</th>
<th>Mystery</th>
</tr>
<tr>
<td>ω</td>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>{white}</td>
<td>½</td>
<td>0</td>
</tr>
<tr>
<td>{black}</td>
<td>½</td>
<td>0</td>
</tr>
</table></center>
</p>
<p>As the game progresses, we will receive evidence for the <em>mystery</em> bag's internal state (the particular outcomes of each draw) - and gradually we will see m(ω) going down, and m({black}) and m({white}) rising. While we will never have the rock-solid certainty of the <em>balanced</em> bag system, we could conceivably find that one or other of the outcomes is in the lead and adapt our strategy accordingly.
</p>
<p>
For decision making purposes, we usually don't want to work with the masses themselves, but with an interval of probabilities. The <em>Support</em> S(p) where p ⊆ ω is defined as the sum of m(x) where x ∈ 2<sup>p</sup>. The <em>Plausibility</em> of p is the extent to which evidence against p leaves room for the possibility that the event is in p and is given by Pl(p) = 1 - S(¬ p). Also note that S(p) ≤ Pl(p).
</p>
<p>
To look at our table again:
<center><table>
<thead><tr>
<th></th>
<th colspan="3">Balanced</th>
<th colspan="3">Mystery</th>
</tr>
<tr>
<th></th>
<th>m</th>
<th>S</th>
<th>Pl</th>
<th>m</th>
<th>S</th>
<th>Pl</th>
</tr>
</tr></thead>
<tr>
<td>ω</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
<tr>
<td>{white}</td>
<td>½</td>
<td>½</td>
<td>½</td>
<td>0</td>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>{black}</td>
<td>½</td>
<td>½</td>
<td>½</td>
<td>0</td>
<td>0</td>
<td>1</td>
</tr>
</table></center>
</p>
<p></p>
<p>This sort of reasoning has lead some people assert the nonexistence (or sometimes non-utility) of probability altogether (whatever that turns out to mean). <a href="http://bayes.cs.ucla.edu/jp_home.html">Judea Pearl</a>, an AI dude from UCLA, has argued that the support is actually a probability of provability, where provability is contrasted with truth. Judea Pearl is also the originator of much of the science of belief propagation (by 'belief' he means 'support') and causality research (I've become very interested in this recently).</p>
<p>As evidenced by the <a href="http://politicalhumor.about.com/cs/quotethis/a/rumsfeldquotes.htm">confused</a> thinking on the subject of decision under uncertainty it appears a pervasive human cognitive bias is preference for the experience of irreducible risk over the experience of having to deal with our own ignorance. Knowing this bad mental habit is certainly useful in itself, but I was interested to find out that there is an entire branch of decision theory that is based on it, for those situations where it is actually appropriate. They call it 'info-gap theory' which is just about the worst name I could have imagined. It comes as no surprise that the 1950s are ultimately responsible for this crime against nomenclature.</p>
<p>The appropriate domain is wherever the precautionary principle applies wherever making the wrong decision leads to irreversible harm and there is no further opportunity to make the decision over again- medicine, biodiversity, etc. In info-gap theory we need make decisions based on optimising robustness under failure, not the expectation of 'utility' (or just 'payoff' in pure game theory). Pascal's wager is a fun example. Pascal's wager is the argument that you have nothing to lose from believing in a God because if (s)He doesn't exist you'll still be as just as dead as if you hadn't. There is a similar, but subtler, <a href="http://www.accesstoinsight.org/tipitaka/an/an03/an03.065.than.html"> argument</a> attributed to the Buddha.</p>
<p>There is an obvious problem with Pascal's approach; the assumption that Gods will invariably reward belief and/or punish denial. We don't know this. Now we're almost back to our bag of tokens; we have two levels of uncertainty. Drawing any conclusions, that is, deciding whether to believe in Gods, deciding which set of Gods to pick, deciding whether to decide whether to believe in Gods at all, and adapting your strategy to account for potential past or future lives is left as an exercise for the reader.</p>