Combining Probabilities

Suppose that Mr. Smith, who is correct 75% of the time, claims that a
certain event X will NOT occur.  It would seem on this basis that the
probability of X ocurring is 0.25.  On the other hand, Mr. Jones, who 
is correct 60% of the time, claims that X WILL occur.  Given both of
these predictions, with their respective reliabilities, what is the 
probability that X will occur?

The problem is underspecified.  Essentially the overall context has 3 
parameters, S (Smith's prediction), J (Jones's prediction), R (the real
outcome).  Thus, letting "y" and "n" respectively denote X and not X, 
the eight possibilities along with their probabilities are 

                   S  J  R     probability
                   -  -  -     -----------
                   n  n  n        p0
                   n  n  y        p1
                   n  y  n        p2
                   n  y  y        p3
                   y  n  n        p4
                   y  n  y        p5
                   y  y  n        p6
                   y  y  y        p7

where
          p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 = 1
                      
Also, since S=R 75% of the time, we have

                p0 + p2 + p5 + p7 = 0.75

and since J=R 60% of the time, we have

                p0 + p3 + p4 + p7 = 0.60

From this we want to determine the probability that R=y given that 
S=n and J=y.  Thus, we need to find the value of p3/(p2+p3), which 
is the probability of [n y y] divided by the probability of [n y *], 
where "*" indicates "either y or n".  Clearly the problem is under- 
specified.

Setting A=p0+p7, B=p1+p6, C=p2+p5, and D=p3+p4, the conditions can 
be written as
                     A+B+C+D = 1.00
                     A  +C   = 0.75
                     A    +D = 0.60

which is three linear equations in four unknowns (with the extra
constraint that each probability is in the interval 0 to 1), so there
are infinitely many solutions.  For example, we can set A=0.5, B=0.25,
C=0.15, and D=0.10, and satisfy all three equations, but we could
also set A=0.6, B=0.25, C=0.15, and D=0.00.  Furthermore, even if
we arbitrarily select one of these solutions, there are still
infinitely many ways of partitioning C and D to give the values 
of p2 and p3.  

For example, suppose we take the solution with C=0.15 and D=0.10. 
We then have  p2+p5 = 0.15  and  p3+p4 = 0.10.  If we take p4=0.10 
and p5=0.00, we have p3=0.00 and p2=0.15, so the probability of
X is 0.  On the other hand, we can equally well take p4=0.00 and 
p5=0.15, which gives p3=0.10 and p2=0.00, so the probability of X
is 1.  Thus, any answer from 0 to 1 is strictly consistent with the 
stated conditions.

Nevertheless, in real life the problems we confront are often (always?)
underspecified, and our customers will likely not be satisfied with 
that as an answer.  Are there any "reasonable" assumptions we could 
make, in the absence of more information, that would enable us to give
a "reasonable" answer?  One approach would be to estimate (guess) how 
much correlation exists between the correctness of J and S.  For 
example, since S seems to be smarter than J, we might assume that S 
is correct whenever J is correct, as well as being correct on some 
experiments when J is incorrect.  This would imply that p3=p4=0 and 
p2>0, so the probability of X is 0.

Another approach would be to assume that the correctness of S and J's
predictions are statistically independent, in the sense that they
are each just as likely to be right regardless of whether the other 
is right or wrong.  This assumption implies

                        p0+p7            p3+p4
              0.60 = ------------- = --------------
                      p0+p2+p5+p7     p1+p3+p4+p6

and
                        p0+p7          p2+p5
              0.75 = ------------ = -------------
                      p0+p3+p4+p7    p1+p2+p5+p6

Letting u=0.6 and v=0.75 denote the probabilities of correctness for
Jones and Smith respectively, these equations together with the 
previous constraints uniquely determine the four sums

             p0+p7 =     uv     = 9/20
             p1+p6 = (1-u)(1-v) = 2/20
             p2+p5 =   (1-u)v   = 6/20
             p3+p4 =   u(1-v)   = 3/20

but this still doesn't uniquely determine the value of p3/(p2+p3).
We need at least one more assumption.  I would suggest that we assume
symmetry between "y" and "n".  In other words, assume that probability
of any combination is equal to the probability of the complementaty
combination, given by changing each "y" to an "n" and vice versa.
This amounts to the assumption that X (the real answer) has an a_priori
probability of 1/2, AND that the probability of predicting correctly 
is the same regardless of whether R is "y" or "n".  On this basis we 
have p0=p7, p1=p6, p2=p5, and p3=p4, so we have p2=6/40, p3=3/40, and 
p3/(p2+p3) = 1/3.

Therefore, assuming S and J are not correlated, and assuming "y" and 
"n" are symmetrical, the probability of X, given that S[75%] says X
will not occur and J[60%] says it will, is 33.3%.  Any (positive) 
correlation between S and J would tend to lower this probability.

Notice that our resulting value for the probability of X is not equal
to the a_priori value of 1/2 that we assumed by imposing symmetry
between "y" and "n".  If we have some a_priori reason to believe the
probability of X is something different than 1/2, we could re-do the
calculation using this value.  (Of course, we cannot use the computed
probability of X for the particular conditions at hand, because the
a_priori probability of X applies to all possible conditions, not just
when Smith says it won't occur and Jones says it will.)  To account
for this additional information (if we have it), we can let x denote
the a_priori probability of X, and then write the individual state 
probabilities as

         p0 = uv(1-x)          p7 = uvx
         p1 = (1-u)(1-v)x      p6 = (1-u)(1-v)(1-x)
         p2 = (1-u)v(1-x)      p5 = (1-u)vx
         p3 = u(1-v)x          p4 = u(1-v)(1-x)

On this basis the probability of X is

                    p3               u(1-v)x
        Pr{X}  =  -------  =  ---------------------
                  p2 + p3     (1-u)v(1-x) + u(1-v)x

Naturally if we have no knowledge of the a_priori probability of X,
we just assume x=1/2, and this formula reduces to the one given
previously.

For a slightly more complicated case, suppose Mr. Red's ability to 
correctly identify the outcome of a TRUE/FALSE experiment is 75%, Mr. 
Green's is 60% and Mr. Blue's is 55%.  If Mr. Blue, Mr. Green, and Mr.
Red all agree that the outcome of the experiment is TRUE, is the 
resulting probability of "TRUE" 75% or is it weighted somewhere 
between 75% and 55% ?

Again this is underspecified, but if we impose the assumptions of 
(1) pairwise independence and (2) "y"/"n" symmetry, then in the general 
case of N prognosticators these two assumptions are sufficient to
uniquely determine the answer.  In other words, if N people with 
reliabilities r1, r2, ..., rN have each predicted the outcome will 
be 'TRUE', and if we assume the correctness of their predictions have
no correlation, and that there is symmetry between TRUE and FALSE 
outcomes, then the probability of a "TRUE" outcome is

                               (r1)(r2)...(rN)
          Pr{TRUE} = ---------------------------------------
                     (r1)(r2)...(rN) + (1-r1)(1-r2)...(1-rN)

Thus, in the particular example described above with r1=3/4, r2=3/5, 
and r3=11/20, the probability of "TRUE" is 11/13 (i.e., about 84.6%).

Let Q=[q1,q2,...,qN] denote a logical vector (i.e., each component qj
is either "TRUE" or "FALSE") and let Q' denote the complement of Q.
Also, define 
                              /  1-r    if q=FALSE
                   f(r,q) =  (
                              \   r     if q=TRUE

and let F(Q) denote the product of f(ri,qi), i=1 to N.  Then the
probability that the outcome will be TRUE given the predictions Q is
given by
                             F(Q)
              Pr{TRUE} = -------------
                          F(Q) + F(Q')

This result is formally correct, given the stated assumptions, but as
discussed earlier, the most important thing to realize about these 
problems is that they are underspecified and have no definite answer.
For example, if the a_priori probability of the outcome "TRUE" is
known to be x, then the above formula becomes

                                 x F(Q)
              Pr{TRUE}  =  --------------------
                           x F(Q) + (1-x) F(Q')

Given various sets of assumptions, all of which satisfy the stated
conditions of the problem, the correct probability can have any
value from 0.0 to 1.0.

The formula P = F(Q)/(F(Q)+F(Q')) is valid ONLY for one specific
set of assumptions, and those assumptions are not particularly
realistic.  It assumes that the correctness of Smith's predictions 
is totally uncorrelated with the correctness of Jones's predictions,
which would almost certainly NOT be the case in any realistic
situation.  (It's much more likely that Jones and Smith use at least 
some of the same criteria for making their predictions).  

To really answer the original question we would need to supply more
information, specifically, the probabilities of each of the eight
possible combinations of predictions and outcomes, as discussed
previously.

For another example, suppose the Yankees and the Red Sox are playing,
and the Red Sox have won 70% of their games, and the Yankees have won 
50% of their games.  What is the probability that the Yankees will
win?  Again the context is clearly underspecified, because the 
conditions of the question can be met by many different contexts, 
leading to many different outcome distributions.  However, if we 
need to assign a probability based on this information alone, it's 
clear that our answer must assume the probability of Y beating R is 
some function of y and w (the fraction of games wone by Y and R 
respectively).  Thus we need a function F(y,r) such that

                 Pr{Y beats R}  =  F(y,r)

It follows that

                   F(y,r) + F(r,y) = 1

and 0 <= F(x,y) <= 1  for any x,y in [0,1].  One class of functions
that satisfies this requirement is

                           f(y)
               F(y,r) = -----------
                        f(y) + f(r)

where f is any mapping from [0,1] to [0,+inf].  For example, suppose
y=0.5 and r=0.7.  Taking  f(x) = x  this gives Y a 41.7% chance of
winning and R a 58.3% chance of winning.  More generally, if we set
f(x) = x^k  and reduce the exponent k so it approaches 0, the
probabilities approach 50/50, whereas with k greater than 1 the
probability of Y winning goes to zero.

What is the "best" or optimal choice for f(x)?  We might assume each
team has a "skill level", and this level is distributed binomially.
Then, given the percentage of games won by a certain team we could 
infer the skill level by integration over the whole population, 
assuming that each team plays every other team the same number of 
times, and assuming Pr{i beats j} = si/(si+sj).

Another approach that is sometimes suggested is to use the expression
(Y)(R)/((Y)(R) + (Y')(R')), where Y' and R' are the conjugates of Y 
and R. The two possible outcomes are Ywins-Rloses, and Yloses-Rwins. 
To find the probability (only from w/l record) of R winning we would 
then have

        (Rwin)(Ylose)                     (.5)(.3)
  -----------------------------   =  -------------------  =  0.3
  (Rwin)(Ylose) + (Ywin)(Rlose)      (.5)(.3) + (.5)(.7)


This formula has a certain aesthetic appeal, but it also has some
possibly counter-intuitive consequences.  For example, suppose the two
best teams in the league, X and Y, win x=99% and y=97% of their games,
respectively.  We might expect these two teams to be fairly evenly
matched, which would be consistent with the formula 

                                   x
                Pr{X beats Y} = -------  = 0.5051
                                 x + y

In contrast, the alternative formula gives

                                 x(1-y)              
           Pr{X beats Y}  =  ---------------  =  0.7538
                             x(1-y) + (1-x)y

It isn't obvious to me that a 99% team should be this heavily favored
over a 97% team.  If this really was the applicable formula, then 
the presence of a 99% team in the league would almost preclude the
existence of a 97% team, depending on how many teams are in the 
league and how often these teams play each other.

One possible objection to the simple weighting function 

                          f(y)
                      -----------
                      f(y) + f(r)

with f(x)=x is that it seems the "system" will tend towards equilibrium.
For systems of more than two teams, the teams will always come to 
equalibrium regardless of the initial conditions. In other words, 
each team would converge to the same win/loss record.  On the other 
hand, a team with a winning percentage of .800 will have ample 
opportunity to sustain their winning ways by using the latter 
expression 
                         y(1-x)
                    ---------------
                    y(1-x) + (1-y)x

as a model.  It's a good idea to impose the overall equilibrium 
requirement on the whole population when deriving a model.  Of course, 
the second model is really a special case of the "simple weighted"
model.  In other words, we have

                                  y(1-x)
            Pr{Y beats X}  =  ---------------
                              y(1-x) + (1-y)x

and dividing the numerator and denominator by (1-x)(1-y) gives the
equivalent form
                           y/(1-y)               f(y)
     Pr{Y beats X}  =  ----------------   =  -----------
                       y/(1-y) + x/(1-x)      f(y) + f(x)

where f(z) = z/(1-z).  This particular function f(z) is not unique
in giving a self consistent population.

A more fundamental approach would be to model the underlying process.
For example, suppose there are 256 ranked players in world, with skill
levels ranging from 1 to 9 distributed binomially as follows

                    skill  number of
                    level  players
                      1      1
                      2      8
                      3     28
                      4     56
                      5     70
                      6     56
                      7     28
                      8      8
                      9      1

Of course, "skill" might be a matrix rather than a scalar, and you
could get into all sorts of interesting interactions (scissors cuts
paper, paper wraps stone, stone breaks scissors, etc), but let's
just assume that "skill" in this game can be modelled by a simple
scalar.  

Now we must also specify to what extent skill determines the outcome
of a contest.  If the game's outcome is largly determined by chance,
then the world's most skillful player may only beat the least
skillfull player 60% of the time.  One way of modelling this is 
to say that the probability of player P_m beating player P_n is

                                     (s_m)^k
         Pr{ m beats n }  =   --------------------
                               (s_m)^k  +  (s_n)^k

where s_j is the skill of player P_j and the constant k determines 
the importance of skill in this game.  As k goes to 0 all the
probabilities go to 0.5, meaning that the outcome of a game is 
only weakly determined by skill.  If k is very large, then the more
skillful player will almost always win.

Now we have a simple but complete model for which we can compute the
long-term win/loss records of each skill level.  In general, for a
league of 2^N players with binomially distributed skill levels and
assuming a skill factor of k (and every player plays every other
player equally often), the "winning percentage" of a player with 
skill level q is 
                    _                           _
                   |         N       C(N,j)      |    1
                   |  q^k  SUM   -------------   | - ---
                   |_       j=0  q^k + (j+1)^k  _|    2
         Win(q) =  -------------------------------------
                                  2^N - 1

where C(N,j) is the binomial coefficient N!/((n-j)! j!).  Taking N=8
and k=2, the winning percentages for each of the 9 skill levels are as
shown below:
                    skill  number of  winning
                    level   players   percentage
                      1        1       4.9393
                      2        8      16.4711
                      3       28      29.5133
                      4       56      41.5554
                      5       70      51.7592
                      6       56      60.0785
                      7       28      66.7554
                      8        8      72.0936
                      9        1      76.3722

Of course, the weighted average of all these winning percentages 
is 50%.  Also, since Win(q) is invertible, it follows that for any
system of this general type the formula for predicting winners can be
expressed in the form f(x)/(f(x)+f(y)).

Return to MathPages Main Menu