View source for Bayes linear statistics

'''Bayes linear statistics''' is a subjectivist statistical methodology and framework.  Traditional subjective Bayesian analysis is based upon fully specified [[Probability distribution|probability distribution]]s, which are very difficult to specify at the necessary level of detail.  Bayes linear analysis attempts to solve this problem by developing theory and practise for using partially specified probability models.  Bayes linear in its current form has been primarily developed by Michael Goldstein.  Mathematically and philosophically it extends [[Biography:Bruno de Finetti|Bruno de Finetti]]'s [[Coherence (philosophical gambling strategy)#Operational subjective probabilities as wagering odds|Operational Subjective]] approach to probability and statistics.

==Motivation==
Consider first a traditional Bayesian Analysis where you expect to shortly know ''D'' and you would like to know more about some other observable ''B''.  In the traditional Bayesian approach it is required that every possible outcome is enumerated i.e. every possible outcome is the cross product of the [[Partition of a set|partition of a set]] of ''B'' and ''D''.  If represented on a computer where ''B'' requires ''n'' bits and ''D'' ''m'' bits then the number of states required is <math>2^{n+m}</math>.  The first step to such an analysis is to determine a person's subjective probabilities e.g. by asking about their betting behaviour for each of these outcomes.  When we learn ''D'' conditional probabilities for ''B'' are determined by the application of Bayes' rule.

Practitioners of subjective Bayesian statistics routinely analyse datasets where the size of this set is large enough that subjective probabilities cannot be meaningfully determined for every element of ''D'' &times; ''B''.  This is normally accomplished by assuming exchangeability and then the use of parameterized models with prior distributions over parameters and appealing to the [[De Finetti's theorem|de Finetti's theorem]] to justify that this produces valid operational subjective probabilities over ''D'' &times; ''B''.  The difficulty with such an approach is that the 
validity of the statistical analysis requires that the subjective probabilities are a good representation of an individual's beliefs however this method results in a very precise specification over ''D'' &times; ''B'' and it is often difficult to articulate what it would mean to adopt these belief specifications.

In contrast to the traditional Bayesian paradigm Bayes linear statistics following de Finetti uses Prevision or subjective expectation as a primitive, probability is then defined as the expectation of an indicator variable.  Instead of specifying a subjective probability for every element in the partition ''D'' &times; ''B'' the analyst specifies subjective expectations for just a few quantities that they are interested in or feel knowledgeable about.  Then instead of conditioning an adjusted expectation is computed by a rule that is a generalization of Bayes' rule that is based upon expectation.

The use of the word linear in the title refers to de Finetti's arguments that probability theory is a linear theory (de Finetti argued against the more common measure theory approach).

==Example==
In Bayes linear statistics, the probability model is only partially specified, and it is not possible to calculate conditional probability by Bayes' rule.  Instead Bayes linear suggests the calculation of an Adjusted Expectation.

To conduct a Bayes linear analysis it is necessary to identify some values that you expect to know shortly by making measurements ''D'' and some future value which you would like to know ''B''.  Here ''D'' refers to a vector containing data and ''B'' to a vector containing quantities you would like to predict.  For the following example ''B'' and ''D'' are taken to be two-dimensional vectors i.e.

:<math>B = (Y_1,Y_2),~ D = (X_1,X_2).</math>

In order to specify a Bayes linear model it is necessary to supply expectations for the vectors ''B'' and ''D'', and to also specify the correlation between each component of ''B'' and each component of ''D''.

For example the expectations are specified as:

: <math>E(Y_1)=5,~E(Y_2)=3,~E(X_1)=5,~E(X_2)=3</math>

and the covariance matrix is specified as :

: <math>
\begin{array}{c|cccc}
    &    X_1    &    X_2    &    Y_1    &    Y_2     \\ \hline
X_1 &      1    &    u      &    \gamma    &    \gamma     \\
X_2 &      u    &    1      &    \gamma    &    \gamma     \\
Y_1 &      \gamma  &    \gamma    &    1      &    v       \\
Y_2 &      \gamma  &    \gamma    &    v      &    1       \\
\end{array}.
</math>

The repetition in this matrix, has some interesting implications to be discussed shortly.

An adjusted expectation is a linear estimator of the form

: <math>c_0 + c_1X_1 + c_2X_2</math>

where <math>c_0, c_1</math> and <math>c_2</math> are chosen to minimise the prior expected loss for the observations i.e. <math>Y_1, Y_2</math> in this case.  That is for <math>Y_1</math>

: <math>E([Y_1 - c_0 - c_1X_1 - c_2X_2]^2)\,</math>

where

: <math>c_0, c_1, c_2\,</math>

are chosen in order to minimise the prior expected loss in estimating <math>Y_1</math>

In general the adjusted expectation is calculated with

: <math>E_D(X) = \sum^k_{i=0} h_iD_i .</math>

Setting <math>h_0, \dots, h_k</math> to minimise

: <math>E\left(\left[X-\sum^k_{i=0}h_iD_i\right]^2\right). </math>

From a proof provided in (Goldstein and Wooff 2007) it can be shown that:

: <math>E_D(X) = E(X) + \mathrm{Cov}(X,D)\mathrm{Var}(D)^{-1}(D-E(D)) . \,</math>

For the case where {{math|Var(''D'')}} is not invertible the Moore–Penrose pseudoinverse should be used instead.

Furthermore, the adjusted variance of the variable {{mvar|X}} after observing the data {{mvar|D}} is given by

: <math>\mathrm{Var}_D(X) = \mathrm{Var}(X) - \mathrm{Cov}(X,D)\mathrm{Var}(D)^{-1}\mathrm{Cov}(D,X). </math>

==See also==
*[[Imprecise probability]]

== External links==
* [http://maths.dur.ac.uk/stats/bayeslin/ Bayes Linear Methods]

== References ==

* Goldstein, M. (1981) ''Revising Previsions: a Geometric Interpretation (with Discussion)''. [[Organization:Journal of the Royal Statistical Society|Journal of the Royal Statistical Society]], Series B, 43(2), 105-130
* Goldstein, M. (2006) ''Subjectivism principles and practice''. Bayesian Analysis][https://web.archive.org/web/20151004174936/http://ba.stat.cmu.edu/journal/2006/vol01/issue03/goldstein.pdf]
* Michael Goldstein, David Wooff (2007) ''Bayes Linear Statistics, Theory & Methods'',  Wiley. {{isbn|978-0-470-01562-9}}
* de Finetti, B. (1931) "Probabilism: A Critical Essay on the Theory of Probability and on the Value of Science," (translation of 1931 article) in ''Erkenntnis,'' volume 31, September 1989. The entire double issue is devoted to de Finetti's philosophy of probability.
* de Finetti, B. (1937) “La Prévision: ses lois logiques, ses sources subjectives,” Annales de l'Institut Henri Poincaré,
: - "Foresight: its Logical Laws, Its Subjective Sources," (translation of the [http://www.numdam.org/item?id=AIHP_1937__7_1_1_0  1937 article] in French) in H. E. Kyburg and H. E. Smokler (eds), ''Studies in Subjective Probability,'' New York: Wiley, 1964.
* de Finetti, B. (1974) ''Theory of Probability'', (translation by A Machi and AFM Smith of 1970 book) 2 volumes, New York: Wiley, 1974-5.

<!-- marking as stub, as basic explanation of topic not quite right yet -->

{{DEFAULTSORT:Bayes Linear Statistics}}
[[Category:Bayesian statistics|Linear statistics]]
[[Category:Probability interpretations]]

{{Sourceattribution|Bayes linear statistics}}