User:IssaRice/Scoring rule

how can we formalize the idea of a rule for scoring predictions?

first pass: statements and probabilities

we can start with a list $s_1,\dots ,s_n$ of statements. each statement makes a yes/no prediction about the future, like "the die will show 3 when rolled". then we have a list of probabilities $p_1,\dots ,p_n$ where $p_j$ is the probability someone assigns to $s_j$ being true. now, reality evaluates each statement, giving us a yes/no answer $r(s_j)\in \{0,1\}$. our probabilities are scored against this response from reality. so a scoring rule S can be some function of $p_1,\dots ,p_n,r(s_1),\dots ,r(s_n)$. so the type can be $S:[0,1{]}^n\times \{0,1{\}}^n\to \mathbf{R}$.

if we are an ordinary statistician [1], we might pick a rule like $\sum _{j=1}^n(p_j-r(s_j){)}^2$. (this is actually almost the brier score)

second pass: events

in probability theory, we are used to dealing with events and random variables. in the previous section, we naively stated scoring rules in terms of statements and probabilities. but we might try now to phrase things in terms of events.

instead of statements $s_1,\dots ,s_n$, we could have a list of events $A_1,\dots ,A_n$. here, $A_j$ is an event expressing the fact that $s_j$ is true. then $p_j=P(A_j)$, where P is the probability measure which encodes our knowledge of what events are likely. $r(s_j)$ is the outcome in some possible world, so $r(s_j)=1_{A_j}(\omega )$. the idea here is we have some implicit sample space $\mathrm{\Omega }$ of all "possible worlds". then each $\omega \in \mathrm{\Omega }$ is a possible world. but this is exactly the idea expressed by our reality function $r$ -- we could have had some other reality $r^{\prime }$ in which our same probabilities would perform differently.

so our second pass is that we can define a scoring rule as something that takes a list of events $A_1,\dots ,A_n$, a probability measure (which encodes the numbers $p_1,\dots ,p_n$, assuming we have access to the events), and a world $\omega$. so $S:(2^{\mathrm{\Omega }}{)}^n\times [0,1{]}^{2^{\mathrm{\Omega }}}\times \mathrm{\Omega }\to \mathbf{R}$

you might complain that in the previous section, we didn't tell the scoring function anything about what the statements were that were being predicted, whereas here we do (since we pass in the events). this is right, but it's just that here if we don't pass in the events, then just given P and $\omega$ we can't tell how to compute the probabilities.

third pass: non-binary predictions

instead of having all our predictions be about yes/no questions, we could allow more kinds of responses. for instance, instead of six predictions "the next roll of the die will be a i", yes=1/6, no=5/6, for i=1,...,6, we could instead have a single prediction like "the next roll will be a ..." 1: 1/6, 2: 1/6, ..., 6: 1/6.

given one prediction with k options (mutually exclusive and collectively exhaustive), and a second prediction with m options (again mutually exclusive and collectively exhaustive), we could roll them into a single prediction with km options. so in a way, we could work as if there was only one thing to be predicted.

so given probabilities $p_1,\dots ,p_k$ of the k options for a single prediction, a scoring function could take those probabilities, plus information about which option was correct, so some number $i\in \{1,\dots ,k\}$. so $S:[0,1{]}^k\times \{1,\dots ,k\}\to \mathbf{R}$.

here we get to one of the confusions i have about the explanation of scoring rules in [2]. there, we score each probability separately, i.e. $S^{\prime }:[0,1]\to \mathbf{R}$. and we assume that $S(p_1,\dots ,p_k,i)=S^{\prime }(p_i)$. i think it's better to write this as $\sum _{j=1}^k{S}^{\prime }(p_j)[j=i]$, where $[j=i]$ is 1 if j=i and 0 otherwise. this makes the dependence on all the probabilities clear.

how do we make sense of stuff like the invariance $S[P(A,B)]=S[P(A)]+S[P(B|A)]$ from Technical Explanation? we first need two partitions $A_1,\dots ,A_k$ and $B_1,\dots ,B_m$ of the sample space. these two partitions induce a third partition where each element of the new partition is the intersection of one element each from As and Bs, e.g. $A_1\cap B_1,A_1\cap B_2,\dots$. call this new partition $C_1,\dots ,C_r$. then we want something like $S(P(C_1),\dots ,P(C_r),(a,b))=S(P(A_1),\dots ,P(A_k),a)+S(P(B_1|A_j),\dots ,P(B_m|A_j),b)$ for every $A_j$ (need better notation?).

proving logarithmic scoring is proper

from [3], if $\overline{p}$ is the actual beliefs of the forecaster, and $p$ is the submitted probabilities, then to be proper we want $\overline{*}{a}_r{\mathbb{E}}_{\overline{p}}[S]$.