The Annals of Applied Statistics 2014, Vol. 8, No. 2, 1256-1280 DOI: 10.1214/14-AOAS739 c © Institute of Mathematical Statistics, 2014

## PROBABILITY AGGREGATION IN TIME-SERIES: DYNAMIC HIERARCHICAL MODELING OF SPARSE EXPERT BELIEFS 1

By Ville A. Satop¨¨, Shane T. Jensen, Barbara A. Mellers, aa Philip E. Tetlock and Lyle H. Ungar

University of Pennsylvania

Most subjective probability aggregation procedures use a single probability judgment from each expert, even though it is common for experts studying real problems to update their probability estimates over time. This paper advances into unexplored areas of probability aggregation by considering a dynamic context in which experts can update their beliefs at random intervals. The updates occur very infrequently, resulting in a sparse data set that cannot be modeled by standard time-series procedures. In response to the lack of appropriate methodology, this paper presents a hierarchical model that takes into account the expert's level of self-reported expertise and produces aggregate probabilities that are sharp and well calibrated both inand out-of-sample. The model is demonstrated on a real-world data set that includes over 2300 experts making multiple probability forecasts over two years on different subsets of 166 international political events.

1. Introduction. Experts' probability assessments are often evaluated on calibration , which measures how closely the frequency of event occurrence agrees with the assigned probabilities. For instance, consider all events that an expert believes to occur with a 60% probability. If the expert is well calibrated, 60% of these events will actually end up occurring. Even though several experiments have shown that experts are often poorly calibrated [see, e.g., Cooke (1991), Shlyakhter et al. (1994)], these are noteworthy exceptions. In particular, Wright et al. (1994) argue that higher self-reported expertise can be associated with better calibration.

Received September 2013; revised March 2014.

1 Supported by a research contract to the University of Pennsylvania and the University of California from the Intelligence Advanced Research Projects Activity (IARPA) via the Department of Interior National Business Center contract number D11PC20061.

Key words and phrases. Probability aggregation, dynamic linear model, hierarchical modeling, expert forecast, subjective probability, bias estimation, calibration, time series.

This is an electronic reprint of the original article published by the

Institute of Mathematical Statistics in The Annals of Applied Statistics ,

2014, Vol. 8, No. 2, 1256-1280. This reprint differs from the original in pagination and typographic detail.

Calibration by itself, however, is not sufficient for useful probability estimation. Consider a relatively stationary process, such as rain on different days in a given geographic region, where the observed frequency of occurrence in the last 10 years is 45%. In this setting an expert could always assign a constant probability of 0.45 and be well-calibrated. This assessment, however, can be made without any subject-matter expertise. For this reason the long-term frequency is often considered the baseline probability-a naive assessment that provides the decision-maker very little extra information. Experts should make probability assessments that are as far from the baseline as possible. The extent to which their probabilities differ from the baseline is measured by sharpness [Gneiting et al. (2008), Winkler and Jose (2008)]. If the experts are both sharp and well calibrated, they can forecast the behavior of the process with high certainty and accuracy. Therefore, useful probability estimation should maximize sharpness subject to calibration [see, e.g., Raftery et al. (2005), Murphy and Winkler (1987)].

There is strong empirical evidence that bringing together the strengths of different experts by combining their probability forecasts into a single consensus, known as the crowd belief , improves predictive performance. Prompted by the many applications of probability forecasts, including medical diagnosis [Wilson et al. (1998), Pepe (2003)], political and socio-economic foresight [Tetlock (2005)], and meteorology [Sanders (1963), Vislocky and Fritsch (1995), Baars and Mass (2005)], researchers have proposed many approaches to combining probability forecasts [see, e.g., Ranjan and Gneiting (2010), Satop¨¨ et al. (2014a), Batchelder, Strashny and Romney (2010) aa for some recent studies, and Genest and Zidek (1986), Wallsten, Budescu and Erev (1997), Clemen and Winkler (2007), Primo et al. (2009) for a comprehensive overview]. The general focus, however, has been on developing one-time aggregation procedures that consult the experts' advice only once before the event resolves.

Consequently, many areas of probability aggregation still remain rather unexplored. For instance, consider investors aiming to assess whether a stock index will finish trading above a threshold on a given date. To maximize their overall predictive accuracy, they may consult a group of experts repeatedly over a period of time and adjust their estimate of the aggregate probability accordingly. Given that the experts are allowed to update their probability assessments, the aggregation should be performed by taking into account the temporal correlation in their advice.

This paper adds another layer of complexity by assuming a heterogeneous set of experts, most of whom only make one or two probability assessments over the hundred or so days before the event resolves. This means that the decision-maker faces a different group of experts every day, with only a few experts returning later on for a second round of advice. The problem at hand is therefore strikingly different from many time-series estimation

problems, where one has an observation at every time point-or almost every time point. As a result, standard time-series procedures like ARIMA [see, e.g., Mills (1991)] are not directly applicable. This paper introduces a time-series model that incorporates self-reported expertise and captures a sharp and well-calibrated estimate of the crowd belief. The model is highly interpretable and can be used for the following:

- · analyzing under and overconfidence in different groups of experts,
- · gaining question-specific quantities with easy interpretations, such as expert disagreement and problem difficulty.
- · obtaining accurate probability forecasts, and

This paper begins by describing our geopolitical database. It then introduces a dynamic hierarchical model for capturing the crowd belief. The model is estimated in a two-step procedure: first, a sampling step produces constrained parameter estimates via Gibbs sampling [see, e.g., Geman and Geman (1984)]; second, a calibration step transforms these estimates to their unconstrained equivalents via a one-dimensional optimization procedure. The model introduction is followed by the first evaluation section that uses synthetic data to study how accurately the two-step procedure can estimate the crowd belief. The second evaluation section applies the model to our real-world geopolitical forecasting database. The paper concludes with a discussion of future research directions and model limitations.

2. Geopolitical forecasting data. Forecasters were recruited from professional societies, research centers, alumni associations, science bloggers and word of mouth ( n =2365). Requirements included at least a Bachelor's degree and completion of psychological and political tests that took roughly two hours. These measures assessed cognitive styles, cognitive abilities, personality traits, political attitudes and real-world knowledge. The experts were asked to give probability forecasts (to the second decimal point) and to self-assess their level of expertise (on a 1-to-5 scale with 1 = Not At All Expert and 5 = Extremely Expert) on a number of 166 geopolitical binary events taking place between September 29, 2011 and May 8, 2013. Each question was active for a period during which the participating experts could update their forecasts as frequently as they liked without penalty. The experts knew that their probability estimates would be assessed for accuracy using Brier scores. 2 This incentivized them to report their true beliefs instead of attempting to game the system [Winkler and Murphy (1968)]. In addition to receiving $150 for meeting minimum participation requirements that did

2 The Brier score is the squared distance between the probability forecast and the event indicator that equals 1.0 or 0.0 depending on whether the event happened or not, respectively. See Brier (1950) for the original introduction.

Table 1 Five-number summaries of our real-world data

| Statistic                                      |   Min. | Q 1     | Median   | Mean    | Q 3      |   Max. |
|------------------------------------------------|--------|---------|----------|---------|----------|--------|
| # of days a question is active                 |      4 | 35 . 6  | 72 . 0   | 106 . 3 | 145 . 20 |    418 |
| # of experts per question                      |    212 | 543 . 2 | 693 . 5  | 783 . 7 | 983 . 2  |   1690 |
| # forecasts given by each expert on a question |      1 | 1 . 0   | 1 . 0    | 1 . 8   | 2 . 0    |    131 |
| # questions participated by an expert          |      1 | 14 . 0  | 36 . 0   | 55 . 0  | 90 . 0   |    166 |

not depend on prediction accuracy, the experts received status rewards for their performance via leader-boards displaying Brier scores for the top 20 experts. Given that a typical expert participated only in a small subset of the 166 questions, the experts are considered indistinguishable conditional on the level of self-reported expertise.

The average number of forecasts made by a single expert in one day was around 0.017, and the average group-level response rate was around 13.5 forecasts per day. Given that the group of experts is large and diverse, the resulting data set is very sparse. Tables 1 and 2 provide relevant summary statistics on the data. Notice that the distribution of the self-reported expertise is skewed to the right and that some questions remained active longer than others. For more details on the data set and its collection see Ungar et al. (2012).

To illustrate the data with some concrete examples, Figure 1(a) and 1(b) show scatterplots of the probability forecasts given for (a) Will the expansion of the European bailout fund be ratified by all 17 Eurozone nations before 1 November 2011? and (b) Will the Nikkei 225 index finish trading at or above 9500 on 30 September 2011? The points have been shaded according to the level of self-reported expertise and jittered slightly to make overlaps visible. The solid line gives the posterior mean of the calibrated crowd belief as estimated by our model. The surrounding dashed lines connect the point-wise 95% posterior intervals. Given that the European bailout fund was ratified before November 1, 2011 and that the Nikkei 225 index finished trading at around 8700 on September 30, 2011, the general trend of the probability forecasts tends to converge toward the correct answers. The individual experts, however, sometimes disagree strongly, with the disagreement persisting even near the closing dates of the questions.

Table 2 Frequencies of the self-reported expertise (1 = Not At All Expert and 5 = Extremely Expert) levels across all the 166 questions in our real-world data

| Expertise level   | 1      | 2      | 3      | 4     | 5     |
|-------------------|--------|--------|--------|-------|-------|
| Frequency (%)     | 25 . 3 | 30 . 7 | 33 . 6 | 8 . 2 | 2 . 1 |

## Self-Reported Expertise

## 2 3 0 5

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0087v1-figure-b0cea57b-7d0f-4e32-9126-739e8dbf94fa.jpg)

(a) Will the expansion of the European bailout fund be ratified by 17 Eurozone nations before 1 November 2011? all

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0087v1-figure-89f8618a-d647-44cc-a899-769ec60b2715.jpg)

(b) Will the Nikkei 225 index finish trading at or above 9,500 on 30 September 2011?

Fig. 1. Scatterplots of the probability forecasts given for two questions in our data set. The solid line gives the posterior mean of the calibrated crowd belief as estimated by our model. The surrounding dashed lines connect the point-wise 95% posterior intervals.

3. Model. Let p i,t,k ∈ (0 1) be the probability forecast given by the , i th expert at time t for the k th question, where i =1 , . . . , I k , t =1 , . . . , T k , and k =1 , . . . , K . Denote the logit probabilities with

$$Y _ { i, t, k } = \log i t ( p _ { i, t, k } ) = \log \left ( \frac { p _ { i, t, k } } { 1 - p _ { i, t, k } } \right ) \in \mathbb { R } \\ \intertext { + h o n t + n o b i l i t i o n } \, \text{ for completion } \, k \text{ at } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{\ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text$$

and collect the logit probabilities for question k at time t into a vector Y t,k =[ Y 1 ,t,k Y 2 ,t,k · · · Y I k ,t,k ] T . Partition the experts into J groups based on some individual feature, such as self-reported expertise, with each group sharing a common multiplicative bias term b j ∈ R for j =1 , . . . , J . Collect these bias terms into a bias vector b =[ b 1 b 2 · · · b J ] T . Let M k be a I k × J matrix denoting the group memberships of the experts in question k ; that is, if the i th expert participating in the k th question belongs to the j th group, then the i th row of M k is the j th standard basis vector e j . The bias vector b is assumed to be identical across all K questions. Under this notation, the model for the k th question can be expressed as

$$\mathbf Y _ { t, k } = M _ { k } \mathbf b X _ { t, k } + \mathbf v _ { t, k },$$

$$& 6 & V. \ A. \ \text{SATOP} \ddot { \Lambda } \text{ET} \text{AL}. \\ & ( 3. 2 ) & X _ { t, k } = \gamma _ { k } X _ { t - 1, k } + w _ { t, k }, \\ & & X _ { 0, k } \sim \mathcal { N } ( \mu _ { 0 }, \sigma _ { 0 } ^ { 2 } ), \\ & \text{where} \, ( 3. 1 ) \ \text{ denotes the observed process, (3. 2 ) shows the h}.$$

where (3.1) denotes the observed process, (3.2) shows the hidden process that is driven by the constant γ k ∈ R , and ( µ ,σ 0 2 0 ) ∈ ( R R , + ) are hyperparameters fixed a priori to 0 and 1, respectively. The error terms follow:

$$& \mathbf v _ { t, k } | \sigma _ { k } ^ { 2 } \stackrel { \text{i.i.d.} } { \sim } \mathcal { N } _ { I _ { k } } ( 0, \sigma _ { k } ^ { 2 } \mathbf I _ { I _ { k } } ), \\ & w _ { t, k } | \tau _ { k } ^ { 2 } \stackrel { \text{i.i.d.} } { \sim } \mathcal { N } ( 0, \tau _ { k } ^ { 2 } ).$$

$$w _ { t, k } | \tau _ { k } ^ { 2 } \stackrel { i. i. d. } { \sim } \mathcal { N } ( 0, \tau _ { k } ^ { 2 } ). \\ \dots \dots \dots$$

Therefore, the parameters of the model are b , σ 2 k , γ k and τ 2 k for k =1 , . . . , K . Their prior distributions are chosen to be noninformative, p ( b , σ 2 k | X k ) ∝ σ 2 k and p γ ( k , τ 2 k | X k ) ∝ τ 2 k .

Given that the experts may believe in false information, hide their true beliefs or be biased for many other reasons, their probability assessments should be aggregated via a model that can detect potential bias, separate signal from noise and use the collective opinion to estimate X t,k . In our model the experts are assumed to be, on average, a multiplicative constant b away from X t,k . Therefore, an individual element of b can be interpreted as a group-specific systematic bias that labels the group either as overconfident [ b j ∈ (1 , ∞ )] or as underconfident [ b j ∈ (0 1)]. , See Section 3 for a brief discussion on different bias structures. Any other deviation from X t,k is considered random noise . This noise is measured in terms of σ 2 k and can be assumed to be caused by momentary over-optimism (or pessimism), false beliefs or other misconceptions.

The hidden state X t,k represents the aggregate logit probability for the k th event given all the information available up to and including time t . To make this more specific, let Z k ∈ { 0 1 , } indicate whether the event associated with the k th question happened ( Z k =1) or did not happen ( Z k =0). If {F t,k } T k t =1 is a filtration representing the information available up to and including a given time point, then according to our model E [ Z k |F t,k ] = P ( Z k = 1 |F t,k ) = logit -1 ( X t,k ). Ideally this probability maximizes sharpness subject to calibration [for technical definitions of calibration and sharpness see Ranjan and Gneiting (2010), Gneiting and Ranjan (2013)]. Even though a single expert is unlikely to have access to all the available information, a large and diverse group of experts may share a considerable portion of the available information. The collective wisdom of the group therefore provides an attractive proxy for F t,k .

The random fluctuations in the hidden process are measured by τ 2 k and are assumed to represent changes or shocks to the underlying circumstances that ultimately decide the outcome of the event. The systematic component γ k allows the model to incorporate a constant signal stream that drifts the

hidden process. If the uncertainty in the question diminishes [ γ k ∈ (1 , ∞ )], the hidden process drifts to positive or negative infinity. Alternatively, the hidden process can drift to zero, in which case any available information does not improve predictive accuracy [ γ k ∈ (0 1)]. , Given that all the questions in our data set were resolved within a prespecified timeframe, we expect γ k ∈ (1 , ∞ ) for all k =1 , . . . , K .

As for any future time T ∗ ≥ t ,

$$X _ { T ^ { * }, k } = \gamma _ { k } ^ { T ^ { * } - t } X _ { t } + \sum _ { i = k + k } ^ { T ^ { * } } \gamma _ { k } ^ { T ^ { * } - i } w _ { i }$$

$$\sim \mathcal { N } & \left ( \gamma _ { k } ^ { T ^ { * } - t } X _ { t, k }, \tau _ { k } ^ { 2 } \sum _ { i = t + 1 } ^ { T ^ { * } } \gamma _ { k } ^ { T ^ { * } - i } \right ), \\ \text{mod for time forward prediction as well } T h$$

$$+ \sum _ { i = t + 1 } ^ { T ^ { * } } \gamma _ { k } ^ { T ^ { * } - i } w _ { i } \\. \quad \sim \stackrel { T ^ { * } } { \sim } \quad \sigma _ { * }$$

the model can be used for time-forward prediction as well. The prediction for the aggregate logit probability at time T ∗ is given by an estimate of γ T ∗ -t X t,k . Naturally the uncertainty in this prediction grows in T . To make such time-forward predictions, it is necessary to assume that the past population of experts is representative of the future population. This is a reasonable assumption because even though the future population may consist of entirely different individuals, on average the population is likely to look very similar to the past population. In practice, however, social scientists are generally more interested in an estimate of the current probability than the probability under unknown conditions in the future. For this reason, our analysis focuses on probability aggregation only up to the current time t .

For the sake of model identifiability, it is sufficient to share only one of the elements of b among the K questions. In this paper, however, all the elements of b are assumed to be identical across the questions because some of the questions in our real-world data set involve very few experts with the highest level of self-reported expertise. The model can be extended rather easily to estimate bias at a more general level. For instance, by assuming a hierarchical structure b ik ∼N ( b j ( i,k ) , σ 2 j ( i,k ) ), where j ( i, k ) denotes the selfreported expertise of the i th expert in question k , the bias can be estimated at an individual-level. These estimates can then be compared across questions. Individual-level analysis was not performed in our analysis for two reasons. First, most experts gave only a single prediction per problem, which makes accurate bias estimation at the individual-level very difficult. Second, it is unclear how the individually estimated bias terms can be validated.

If the future event can take upon M &gt; 2 possible outcomes, the hidden state X t,k is extended to a vector of size M -1 and one of the outcomes, for example, the M th one, is chosen as the base case to ensure that the probabilities will sum to one at any given time point. Each of the remaining

- M -1 possible outcomes is represented by an observed process similar to (3.1). Given that this multinomial extension is equivalent to having M -1 independent binary-outcome models, the estimation and properties of the model are easily extended to the multi-outcome case. This paper focuses on binary outcomes because it is the most commonly encountered setting in practice.
- 4. Model estimation. This section introduces a two-step procedure, called Sample-And-Calibrate (SAC), that captures a well-calibrated estimate of the hidden process without sacrificing the interpretability of our model.

/negationslash

- 4.1. Sampling step. Given that ( a b , X t,k /a,a τ 2 2 k ) = ( b , X t,k , τ 2 k ) for any a &gt; 0 yield the same likelihood for Y t,k , the model as described by (3.1) and (3.2) is not identifiable. A well-known solution is to choose one of the elements of b , say, b 3 , as the reference point and fix b 3 =1. In Section 5 we provide a guideline for choosing the reference point. Denote the constrained version of the model by

$$\begin{array} { c c c } \text{move } \upsilon _ { y } \\ \text{Y} _ { t, k } & = & M _ { k } b ( 1 ) X _ { t, k } ( 1 ) + \text{v} _ { t, k }, \\ X _ { t, k } ( 1 ) & = & \gamma _ { k } ( 1 ) X _ { t - 1, k } ( 1 ) + w _ { t, k }, \\ \text{v} _ { t, k } | \sigma _ { k } ^ { 2 } ( 1 ) & \stackrel { i. i. d. } { \sim } \mathcal { N } _ { I _ { k } } ( 0, \sigma _ { k } ^ { 2 } ( 1 ) \text{I} _ { I _ { k } } ), \\ w _ { t, k } | \tau _ { k } ^ { 2 } ( 1 ) & \stackrel { i. i. d. } { \sim } \mathcal { N } ( 0, \tau _ { k } ^ { 2 } ( 1 ) ), \\ \text{ailing input notation, } ( a ), \text{ signifies the value } u \end{array}$$

where the trailing input notation, (a), signifies the value under the constraint b 3 = . Given that this version is identifiable, estimates of the model a parameters can be obtained. Denote the estimates by placing a hat on the parameter symbol. For instance, ˆ (1) and b ˆ X t,k (1) represent the estimates of b (1) and X t,k (1), respectively.

These estimates are obtained by first computing a posterior sample via Gibbs sampling and then taking the average of the posterior sample. The first step of our Gibbs sampler is to sample the hidden states via the ForwardFiltering-Backward-Sampling (FFBS) algorithm. FFBS first predicts the hidden states using a Kalman filter and then performs a backward sampling procedure that treats these predicted states as additional observations [see, e.g., Carter and Kohn (1994), Migon et al. (2005) for details on FFBS]. Given that the Kalman filter can handle varying numbers or even no forecasts at different time points, it plays a very crucial role in our probability aggregation under sparse data.

Our implementation of the sampling step is written in C++ and runs quite quickly. To obtain 1000 posterior samples for 50 questions each with 100 time points and 50 experts takes about 215 seconds on a 1.7 GHz Intel

Core i5 computer. See the supplemental article for the technical details of the sampling steps [Satop¨¨ et al. (2014b)] and, for example, Gelman et al. aa (2003) for a discussion on the general principles of Gibbs sampling.

4.2. Calibration step. Given that the model parameters can be estimated by fixing b 3 to any constant, the next step is to search for the constant that gives an optimally sharp and calibrated estimate of the hidden process. This section introduces an efficient procedure that finds the optimal constant without requiring any additional runs of the sampling step. First, assume that parameter estimates ˆ (1) and b ˆ X t,k (1) have already been obtained via the sampling step described in Section 4.1. Given that for any β ∈ R / { } 0 ,

$$Y _ { 1 }$$

$$\mu _ { r } \stackrel { \dots } { \dots } \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \\ \mathbf Y _ { t, k } & = \mathbf M _ { k } b ( 1 ) X _ { t, k } ( 1 ) + \mathbf v _ { t, k } \\ & = \mathbf M _ { k } ( b ( 1 ) \beta ) ( X _ { t, k } ( 1 ) / \beta ) + \mathbf v _ { t, k } \\ & = \mathbf M _ { k } b ( \beta ) X _ { t, k } ( \beta ) + \mathbf v _ { t, k }, \\ \partial \quad \mathbf v _ { 1 } \vee \partial \, \dots \cdots \cdots \mathbf v _ { 2 } \, \mathbf v _ { 3 } \, \partial \, \mathbf v _ { 4 } \, \partial \, \mathbf v _ { 5 } \, \Delta \, \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

we have that b ( β ) = b (1) β and X t,k ( β ) = X t,k (1) /β . Recall that the hidden process X t,k is assumed to be sharp and well calibrated. Therefore, b 3 can be estimated with the value of β that simultaneously maximizes the sharpness and calibration of ˆ X t,k (1) /β . A natural criterion for this maximization is given by the class of proper scoring rules that combine sharpness and calibration [Gneiting et al. (2008), Buja, Stuetzle and Shen (2005)]. Due to the possibility of complete separation in any one question [see, e.g., Gelman et al. (2008)], the maximization must be performed over multiple questions. Therefore,

$$& ( 4. 1 ) & & \hat { \beta } = \arg \max _ { \beta \in \mathbb { R } / \{ 0 \} } \sum _ { k = 1 } ^ { K } \sum _ { t = 1 } ^ { T _ { k } } S ( Z _ { k }, \hat { X } _ { k, t } ( 1 ) / \beta ), \\ & \text{where } Z _ { k } \in \{ 0, 1 \} \text{ is the event indicator for question $k$. The funct}.$$

where Z k ∈{ 0 1 , } is the event indicator for question k . The function S is a strictly proper scoring rule such as the negative Brier score [Brier (1950)]

$$S _ { \text{BRI} } ( Z, X ) = - ( Z - \text{logit} ^ { - 1 } ( X ) ) ^ { 2 } \\ \text{nio core } [ \text{Coord } ( 1 0 5 ) ]$$

or the logarithmic score [Good (1952)]

$$S _ { \text{LOG} } ( Z, X ) = Z \log ( \text{git} ^ { - 1 } ( X ) ) + ( 1 - Z ) \log ( 1 - \text{git} ^ { - 1 } ( X ) ). \\ \text{The attempt of the uncomtant modal random rate are than vision}$$

The estimates of the unconstrained model parameters are then given by

$$\ n s t r a i n e d \ \text{model param} \\ \hat { X } _ { t, k } & = \hat { X } _ { k, t } ( 1 ) / \hat { \beta }, \\ \hat { b } & = \hat { b } ( 1 ) \hat { \beta }, \\ \hat { \tau } _ { k } ^ { 2 } & = \hat { \tau } _ { k } ^ { 2 } ( 1 ) / \hat { \beta } ^ { 2 }, \\ \hat { \sigma } _ { k } ^ { 2 } & = \hat { \sigma } _ { k } ^ { 2 } ( 1 ), \\ \hat { \gamma } _ { k } & = \hat { \gamma } _ { k } ( 1 ). \\ \hat { \tau } _ { k } ^ { 2 } \ \text{and} \ \gamma _ { k } \ \text{are not affect}$$

Notice that estimates of σ 2 k and γ k are not affected by the constraint.

5. Synthetic data results. This section uses synthetic data to evaluate how accurately the SAC-procedure captures the hidden states and bias vector. The hidden process is generated from standard Brownian motion. More specifically, if Z t,k denotes the value of a path at time t , then

$$Z _ { k } & = \mathbb { 1 } ( Z _ { T _ { k }, k } > 0 ), \\ X _ { t, k } & = \log \text{t} \left [ \Phi \left ( \frac { Z _ { t, k } } { \sqrt { T _ { k } - t } } \right ) \right ] \\ \colon T _ { k } & \text{calibrated } \log \text{pit probabilities for}$$

gives a sequence of T k calibrated logit probabilities for the event Z k = 1. A hidden process is generated for K questions with a time horizon of T k = 101. The questions involve 50 experts allocated evenly among five expertise groups. Each expert gives one probability forecast per day with the exception of time t = 101 when the event resolves. The forecasts are generated by applying bias and noise to the hidden process as described by (3.1). Our simulation study considers a three-dimensional grid of parameter values:

$$\succeq \begin{matrix} \succeq \\ \sigma ^ { 2 } \in \{ 1 / 2, 1, 3 / 2, 2, 5 / 2 \}, \\ \beta \in \{ 1 / 2, 3 / 4, 1, 4 / 3, 2 / 1 \}, \\ K \in \{ 2 0, 4 0, 6 0, 8 0, 1 0 0 \}, \\ \end{matrix}$$

where β varies the bias vector by b = [1 / , 2 3 / , 4 1 4 , / , 3 2 / 1] T β . Forty synthetic data sets are generated for each combination of σ 2 , β and K values. The SAC-procedure runs for 200 iterations of which the first 100 are used for burn-in.

$$K \in \{ 2 0, 4 0, 6 0, 8 0, 1 0 0 \}, \\. \quad. \quad. \quad. \quad. \quad. \quad..$$

SAC under the Brier (SAC BRI ) and logarithm score (SAC LOG ) are compared with the Exponentially Weighted Moving Average (EWMA). EWMA, which serves as a baseline, can be understood by first denoting the (expertiseweighted) average forecast at time t for the k th question with

$$\bar { p } _ { t, k } & = \sum _ { j = 1 } ^ { J } \omega _ { j } \left ( \frac { 1 } { | E _ { j } | } \sum _ { i \in E _ { j } } p _ { i, t, k } \right ), \\ \text{who is to one to all overwrite in the $i$} \text{sorted}$$

where E j refers to an index set of all experts in the j th expertise group and ω j denotes the weight associated with the j th expertise group. The EWMA forecasts for the k th problem are then constructed recursively from

$$\hat { p } _ { t, k } ( \alpha ) = \begin{cases} \bar { p } _ { 1, k }, & \text{for $t=1$}, \\ \alpha \bar { p } _ { t, k } + ( 1 - \alpha ) \hat { p } _ { t - 1, k } ( \alpha ), & \text{for $t>1$}, \end{cases} \\ \text{ro $\alpha$ and $\bullet$ or found from $two$ to $minimum cost $b$},$$

where α and ω are learned from the training set by

$$( \hat { \alpha }, \hat { \omega } ) = \arg \min _ { \alpha, \omega _ { j } \in [ 0, 1 ] } \sum _ { k = 1 } ^ { K } \sum _ { t = 1 } ^ { T _ { k } } ( Z _ { k } - \hat { p } _ { t, k } ( \alpha, \omega ) ) ^ { 2 } \quad \text{s.t.} \ \sum _ { j = 1 } ^ { J } \omega _ { j } = 1.$$

Table 3 Summary measures of the estimation accuracy under synthetic data. As EWMA does not produce an estimate of the bias vector, its accuracy on the bias term cannot be reported

| Model   | Quadratic loss         |   Absolute loss |
|---------|------------------------|-----------------|
| SAC BRI | Hidden process 0.00226 |          0.0334 |
| SAC LOG | 0.00200                |          0.0313 |
| EWMA    | 0.00225                |          0.0339 |
| SAC BRI | Bias vector 0.147      |          0.217  |
| SAC LOG | 0.077                  |          0.171  |

If p t,k =logit -1 ( X t,k ) and ˆ p t,k is the corresponding probability estimated by the model, the model's accuracy to estimate the hidden process is measured with the quadratic loss, ( p t,k -ˆ p t,k ) 2 , and the absolute loss, | p t,k -ˆ p t,k | . Table 3 reports these losses averaged over all conditions, simulations and time points. The three competing methods, SAC BRI , SAC LOG and EWMA, estimate the hidden process with great accuracy. Based on other performance measures that are not shown for the sake of brevity, all three methods suffer from an increasing level of noise in the expert logit probabilities but can make efficient use of extra data.

Some interesting differences emerge from Figure 2 which shows the marginal effect of β on the average quadratic loss. As can be expected, EWMA per-

Fig. 2. The marginal effect of β on the average quadratic loss.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0087v1-figure-8ef1f363-b36e-4e35-9033-a5dc4983211b.jpg)

forms well when the experts are, on average, close to unbiased. Interestingly, SAC estimates the hidden process more accurately when the experts are overconfident (large β ) compared to underconfident (small β ). To understand this result, assume that the experts in the third group are highly underconfident. Their logit probabilities are then expected to be closer to zero than the corresponding hidden states. After adding white noise to these expected logit probabilities, they are likely to cross to the other side of zero. If the sampling step fixes b 3 =1, as it does in our case, the third group is treated as unbiased and some of the constrained estimates of the hidden states are likely to be on the other side of zero as well. Unfortunately, this discrepancy cannot be corrected by the calibration step that is restricted to shifting the constrained estimates either closer or further away from zero but not across it. To maximize the likelihood of having all the constrained estimates on the right side of zero and hence avoiding the discrepancy, the reference point in the sampling step should be chosen with care. A helpful guideline is to fix the element of b that is a priori believed to be the largest.

The accuracy of the estimated bias vector is measured with the quadratic loss, ( b j -ˆ ) b j 2 , and the absolute loss, | b j -ˆ b j | . Table 3 reports these losses averaged over all conditions, simulations and elements of the bias vector. Unfortunately, EWMA does not produce an estimate of the bias vector. Therefore, it cannot be used as a baseline for the estimation accuracy in this case. Given that the losses for SAC BRI and SAC LOG are quite small, they estimate the bias vector accurately.

- 6. Geopolitical data results. This section presents results for the realworld data described in Section 2. The goal is to provide application specific insight by discussing the specific research objectives itemized in Section 1. First, however, we discuss two practical matters that must be taken into account when aggregating real-world probability forecasts.
- 6.1. Incoherent and imbalanced data. The first matter regards human experts making probability forecasts of 0.0 or 1.0 even if they are not completely sure of the outcome of the event. For instance, all 166 questions in our data set contain both a zero and a one. Transforming such forecasts into the logit space yields infinities that can cause problems in model estimation. To avoid this, Ariely et al. (2000) suggest changing p = 0 00 . and 1 00 to . p =0 02 and 0 98, respectively. This is similar to . . winsorising that sets the extreme probabilities to a specified percentile of the data [see, e.g., Hastings et al. (1947) for more details on winsorising]. Allard, Comunian and Renard (2012), on the other hand, consider only probabilities that fall within a constrained interval, say, [0 001 0 999], . , . and discard the rest. Given that this implies ignoring a portion of the data, we adopt a censoring approach similar to Ariely et al. (2000) by changing p = 0 00 . and 1 00 to . p = 0 01 . and 0 99, respectively. Our results remain insensitive to the exact choice of .

censoring as long as this is done in a reasonable manner to keep the extreme probabilities from becoming highly influential in the logit space.

The second matter is related to the distribution of the class labels in the data. If the set of occurrences is much larger than the set of nonoccurrences (or vice versa), the data set is called imbalanced . On such data the modeling procedure can end up over-focusing on the larger class and, as a result, give very accurate forecast performance over the larger class at the cost of performing poorly over the smaller class [see, e.g., Chen (2008), Wallace and Dahabreh (2012)]. Fortunately, it is often possible to use a well-balanced version of the data. The first step is to find a partition S 0 and S 1 of the question indices { 1 2 , , . . . , K } such that the equality ∑ k ∈ S 0 T k = ∑ k ∈ S 1 T k is as closely approximated as possible. This is equivalent to an NP-hard problem known in computer science as the Partition Problem : determine whether a given set of positive integers can be partitioned into two sets such that the sums of the two sets are equal to each other [see, e.g., Karmarkar and Karp (1982), Hayes (2002)]. A simple solution is to use a greedy algorithm that iterates through the values of T k in descending order, assigning each T k to the subset that currently has the smaller sum [see, e.g., Kellerer, Pferschy and Pisinger (2004), Gent and Walsh (1996) for more details on the Partition Problem ]. After finding a well-balanced partition, the next step is to assign the class labels such that the labels for the questions in S x are equal to x for x =0 or 1. Recall from Section 4.2 that Z k represents the event indicator for the k th question. To define a balanced set of indicators ˜ Z k for all k ∈ S x , let

$$\tilde { Z } _ { k } & = x, \\ \tilde { p } _ { i, t, k } & = \begin{cases} 1 - p _ { i, t, k }, & \text{ if } Z _ { k } = 1 - x, \\ p _ { i, t, k }, & \text{ if } Z _ { k } = x, \end{cases} \\.., I _ { k }, \text{ and } t = 1, \dots, T _ { k }. \text{ The resulting set}$$

where i =1 , . . . , I k , and t =1 , . . . , T k . The resulting set

$$\{ ( \tilde { Z } _ { k }, \{ \tilde { p } _ { i, t, k } | i = 1, \dots, I _ { k }, t = 1, \dots, T _ { k } \} ) \} _ { k = 1 } ^ { K } \\ \dots \lambda \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{cases}$$

is a balanced version of the data. This procedure was used to balance our real-world data set both in terms of events and time points. The final output splits the events exactly in half ( | S 0 | = | S 1 | =83) such that the number of time points in the first and second halves are 8737 and 8738, respectively.

6.2. Out-of-sample aggregation. The goal of this section is to evaluate the accuracy of the aggregate probabilities made by SAC and several other procedures. The models are allowed to utilize a training set before making aggregations on an independent testing set. To clarify some of the upcoming notation, let S train and S test be index sets that partition the data into training and testing sets of sizes | S train | = N train and | S test | =166 -N train , respectively. This means that the k th question is in the training set if and

only if k ∈ S train . Before introducing the competing models, note that all choices of thinning and burn-in made in this section are conservative and have been made based on pilot runs of the models. This was done to ensure a posterior sample that has low autocorrelation and arises from a converged chain. The competing models are as follows:

- 1. Simple Dynamic Linear Model (SDLM). This is equivalent to the dynamic model from Section 3 but with b = 1 and β =1. Thus,

$$\mathbf Y _ { t, k } & = X _ { t, k } + \mathbf v _ { t, k }, \\ X _ { t, k } & = \gamma _ { k } X _ { t - 1, k } + w _ { t, k },$$

where X t,k is the aggregate logit probability. Given that this model does not share any parameters across questions, estimates of the hidden process can be obtained directly for the questions in the testing set without fitting the model first on the training set. The Gibbs sampler is run for 500 iterations of which the first 200 are used for burn-in. The remaining 300 iterations are thinned by discarding every other observation, leaving a final posterior sample of 150 observations. The average of this sample gives the final estimates.

- 2. The Sample-And-Calibrate procedure both under the Brier (SAC BRI ) and the Logarithmic score (SAC LOG ). The model is first fit on the training set by running the sampling step for 3000 iterations of which the first 500 iterations are used for burn-in. The remaining 2500 observations are thinned by keeping every fifth observation. The calibration step is performed for the final 500 observations. The out-of-sample aggregation is done by running the sampling step for 500 iterations with each consecutive iteration reading in and conditioning on the next value of β and b found during the training period. The first 200 iterations are used for burn-in. The remaining 300 iterations are thinned by discarding every other observation, leaving a final posterior sample of 150 observations. The average of this sample gives the final estimates.
- 3. A fully Bayesian version of SAC LOG (BSAC LOG ). Denote the calibrated logit probabilities and event indicators across all K questions with X (1) and Z , respectively. The posterior distribution of β conditional on X (1) is given by p β ( | X (1) , Z ) ∝ p ( Z | β, X (1)) p β ( | X (1)). The likelihood is

$$. 1 ) & \quad \in \prod _ { k = 1 } ^ { K } \prod _ { t = 1 } ^ { T _ { k } } \log i t ^ { - 1 } ( X _ { t, k } ( 1 ) / \beta ) ^ { Z _ { k } } ( 1 - \log i t ^ { - 1 } ( X _ { t, k } ( 1 ) / \beta ) ) ^ { 1 - Z _ { k } }. \\ \text{As in Gelman et al. (2003). the prior for $\beta$ is chosen to be locally uniform.}$$

$$( 6. 1 ) \, \begin{matrix} p ( \mathbf Z | \beta, \mathbf X ( 1 ) ) \\ \kappa _ { \ } r. \end{matrix}$$

As in Gelman et al. (2003), the prior for β is chosen to be locally uniform, p (1 /β ) ∝ 1. Given that this model estimates X t,k (1) and β simultaneously, it is a little more flexible than SAC. Posterior estimates of β can be sam-

pled from (6.1) using generic sampling algorithms such as the Metropolis algorithm [Metropolis et al. (1953)] or slice sampling [Neal (2003)]. Given that the sampling procedure conditions on the event indicators, the full conditional distribution of the hidden states is not in a standard form. Therefore, the Metropolis algorithm is also used for sampling the hidden states. Estimation is made with the same choices of thinning and burn-in as described under Sample-And-Calibrate .

- 4. Due to the lack of previous literature on dynamic aggregation of expert probability forecasts, the main competitors are exponentially weighted versions of procedures that have been proposed for static probability aggregation:
- (a) Exponentially Weighted Moving Average (EWMA) as described in Section 5.
- (b) Exponentially Weighted Moving Logit Aggregator (EWMLA). This is a moving version of the aggregator ˆ p G ( b ) that was introduced in Satop¨¨ et al. (2014a). The EWMLA aggregate probabilities are aa found recursively from

$$\hat { p } _ { t, k } ( \alpha, \mathbf b ) & = \begin{cases} G _ { 1, k } ( \mathbf b ), & \text{for $t=1$}, \\ \alpha G _ { t, k } ( \mathbf b ) + ( 1 - \alpha ) \hat { p } _ { t - 1, k } ( \alpha, \mathbf b ), & \text{for $t>1$}, \end{cases} \\ \text{where to two vector $ \mathbf b \equiv \mathbb { R } ^ { J } $ collection of those these terms of the entire}.$$

where the vector b ∈ R J collects the bias terms of the expertise groups, and

$$& G _ { t, k } ( \nu ) = \left ( \prod _ { i = 1 } ^ { N _ { t, k } } \left ( \frac { p _ { i, t, k } } { 1 - p _ { i, t, k } } \right ) ^ { b _ { j ( i, k ) } / N _ { t, k } } \right ) \Big / \left ( 1 + \prod _ { i = 1 } ^ { N _ { t, k } } \left ( \frac { p _ { i, t, k } } { 1 - p _ { i, t, k } } \right ) ^ { b _ { j ( i, k ) } / N _ { t, k } } \right ). \\ & \text{The parameters $\alpha$ and $b$ are learned from the training set by}$$

The parameters α and b are learned from the training set by

$$( \hat { \alpha }, \hat { \mathbf b } ) & = \underset { \mathbf b \in \mathbb { R } ^ { 5 }, \alpha \in [ 0, 1 ] } { \arg \min } \sum _ { k \in S _ { \text{train} } } \sum _ { t = 1 } ^ { T _ { k } } ( Z _ { k } - \hat { p } _ { t, k } ( \alpha, \mathbf b ) ) ^ { 2 }. \\ \underset { \mathbf r o n e n t i a l l u } { \text{wield} } \quad W e i a h t e d \quad M o v i n a \quad B e t a { - t r a n s f o r m e d } \quad A a a r e a t$$

- (c) Exponentially Weighted Moving Beta-transformed Aggregator (EWMBA) . The static version of the Beta-transformed aggregator was introduced in Ranjan and Gneiting (2010). A dynamic version can be obtained by replacing G t,k ( ν ) in the EWMLA description with H ν,τ (¯ p t,k ), where H ν,τ is the cumulative distribution function of the Beta distribution and ¯ p t,k is given by (5.1). The parameters α,ν,τ and ω are learned from the training set by

$$( \hat { \alpha }, \hat { \nu }, \hat { \tau }, \hat { \omega } ) = \underset { \nu, \tau > 0 } { \arg \min } \underset { k \in S _ { \text{train} } } { \sum } \underset { t = 1 } { \sum } \underset { k \in S _ { \text{train} } } { \sum } ( Z _ { k } - \hat { p } _ { t, k } ( \alpha, \nu, \tau, \omega ) ) ^ { 2 }$$

$$s. t. \, \sum _ { j = 1 } ^ { J } \omega _ { j } = 1.$$

## Table 4

Brier scores based on 10-fold cross-validation. Scores by Day weighs a question by the number of days the question remained open. Scores by Problem gives each question an equal weight regardless of how long the question remained open. The bolded values indicate the best scores in each column. The values in the parenthesis represent standard errors in the scores

| Model    | All                         | Short                       | Medium Long   |
|----------|-----------------------------|-----------------------------|---------------|
|          | Scores by day               |                             |               |
| SDLM     | 0.100 (0.156)               | 0.066 (0.116) 0.098 (0.154) | 0.102 (0.157) |
| BSAC LOG | 0.097 (0.213) 0.053 (0.147) | 0.100 (0.215)               | 0.098 (0.215) |
| SAC BRI  | 0.096 (0.190) 0.056 (0.134) | 0.097 (0.190)               | 0.098 (0.192) |
| SAC LOG  | 0.096 (0.191) 0.056 (0.134) | 0.096 (0.189)               | 0.098 (0.193) |
| EWMBA    | 0.104 (0.204) 0.057 (0.120) | 0.113 (0.205)               | 0.105 (0.206) |
| EWMLA    | 0.102 (0.199) 0.061         | (0.130) 0.111 (0.214)       | 0.103 (0.200) |
| EWMA     | 0.111 (0.146) 0.080         | (0.101) 0.116 (0.152)       | 0.112 (0.146) |
|          | Scores                      | problem                     |               |
| SDLM     | 0.089 (0.116) 0.064 (0.085) | 0.106 (0.141)               | 0.092 (0.117) |
| BSAC LOG | 0.083 (0.160) 0.052 (0.103) | 0.110 (0.198)               | 0.085 (0.162) |
| SAC BRI  | 0.083 (0.142) 0.055 (0.096) | 0.106 (0.174)               | 0.085 (0.144) |
| SAC LOG  | 0.082 (0.142) 0.055         | (0.096) 0.105 (0.174)       | 0.085 (0.144) |
| EWMBA    | 0.091 (0.157) 0.057 (0.095) | 0.121 (0.187)               | 0.093 (0.164) |
| EWMLA    | 0.090 (0.159) 0.064         | (0.109) 0.120 (0.200)       | 0.090 (0.159) |
| EWMA     | 0.102 (0.108) 0.080 (0.075) | 0.123 (0.130)               | 0.103 (0.110) |

The competing models are evaluated via a 10-fold cross-validation 3 that first partitions the 166 questions into 10 sets such that each set has approximately the same number of questions (16 or 17 questions in our case) and the same number of time points (between 1760 and 1764 time points in our case). The evaluation then iterates 10 times, each time using one of the 10 sets as the testing set and the remaining 9 sets as the training set. Therefore, each question is used nine times for training and exactly once for testing. The testing proceeds sequentially one testing question at a time as follows: First, for a question with a time horizon of T k , give an aggregate probability at time t =2 based on the first two days. Compute the Brier score for this probability. Next give an aggregate probability at time t =3 based on the first three days and compute the Brier score for this probability. Repeat this process for all of the T k -1 days. This leads to T k -1 Brier scores per testing question and a total of 17,475 Brier scores across the entire data set.

Table 4 summarizes these scores in different ways. The first option, denoted by Scores by Day , weighs each question by the number of days the question remained open. This is performed by computing the average of the

3 A 5-fold cross-validation was also performed. The results were, however, very similar to the 10-fold cross-validation and hence not presented in the paper.

17,475 scores. The second option, denoted by Scores by Problem , gives each question an equal weight regardless of how long the question remained open. This is done by first averaging the scores within a question and then averaging the average scores across all the questions. Both scores can be further broken down into subcategories by considering the length of the questions. The final three columns of Table 4 divide the questions into Short questions (30 days or fewer), Medium questions (between 31 and 59 days) and Long Problems (60 days or more). The number of questions in these subcategories were 36, 32 and 98, respectively. The bolded scores indicate the best score in each column. The values in the parenthesis quantify the variability in the scores: Under Scores by Day the values give the standard errors of all the scores. Under Scores by Problem , on the other hand, the values represent the standard errors of the average scores of the different questions.

As can be seen in Table 4, SAC LOG achieves the lowest score across all columns except Short where it is outperformed by BSAC LOG . It turns out that BSAC LOG is overconfident (see Section 6.3). This means that BSAC LOG underestimates the uncertainty in the events and outputs aggregate probabilities that are typically too near 0.0 or 1.0. This results into highly variable performance. The short questions generally involved very little uncertainty. On such easy questions, overconfidence can pay off frequently enough to compensate for a few large losses arising from the overconfident and drastically incorrect forecasts.

SDLM, on the other hand, lacks sharpness and is highly underconfident (see Section 6.3). This behavior is expected, as the experts are underconfident at the group level (see Section 6.4) and SDLM does not use the training set to explicitly calibrate its aggregate probabilities. Instead, it merely smooths the forecasts given by the experts. The resulting aggregate probabilities are therefore necessarily conservative, resulting into high average scores with low variability.

Similar behavior is exhibited by EWMA that performs the worst of all the competing models. The other two exponentially weighted aggregators, EWMLA and EWMBA, make efficient use of the training set and present moderate forecasting performance in most columns of Table 4. Neither approach, however, appears to dominate the other. The high variability and average of their performance scores indicate that their performance suffers from overconfidence.

6.3. In- and out-of-sample sharpness and calibration. A calibration plot is a simple tool for visually assessing the sharpness and calibration of a model. The idea is to plot the aggregate probabilities against the observed empirical frequencies. Therefore, any deviation from the diagonal line suggests poor calibration. A model is considered underconfident (or overconfident) if the points follow an S-shaped (or S -shaped) trend. To assess sharpness of the model, it is common practice to place a histogram of the given

Fig. 3. The top and bottom rows show in- and out-of-sample calibration and sharpness, respectively.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0087v1-figure-7360ab70-99f1-460d-8a04-d04f674141fe.jpg)

forecasts in the corner of the plot. Given that the data were balanced, any deviation from the the baseline probability of 0.5 suggests improved sharpness.

The top and bottom rows of Figure 3 present calibration plots for SDLM, SAC LOG , SAC BRI and BSAC LOG under in- and out-of-sample probability aggregation, respectively. Each setting is of interest in its own right: Good in-sample calibration is crucial for model interpretability. In particular, if the estimated crowd belief is well calibrated, then the elements of the bias vector b can be used to study the amount of under or overconfidence in the different expertise groups. Good out-of-sample calibration and sharpness, on the other hand, are necessary properties in decision making. To guide our assessment, the dashed bands around the diagonal connect the point-wise, Bonferronicorrected [Bonferroni (1936)] 95% lower and upper critical values under the null hypothesis of calibration. These have been computed by running the bootstrap technique described in Br¨cker and Smith (2007) for 10,000 o iterations. The in-sample predictions were obtained by running the models for 10,200 iterations, leading to a final posterior sample of 1000 observations after thinning and using the first 200 iterations for burn-in. The out-ofsample predictions were given by the 10-fold cross-validation discussed in Section 6.2.

Fig. 4. Posterior distributions of b j for j =1 , . . . , 5 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0087v1-figure-febbca81-20df-4d9b-9665-3cd01b21301c.jpg)

Overall, SAC is sharp and well calibrated both in- and out-of-sample with only a few points barely falling outside the point-wise critical values. Given that the calibration does not change drastically from the top to the bottom row, SAC can be considered robust against overfitting. This, however, is not the case with BSAC LOG that is well calibrated in-sample but presents overconfidence out-of-sample. Figure 3(a) and (e) serve as baselines by showing the calibration plots for SDLM. Given that this model does not perform any explicit calibration, it is not surprising to see most points outside the critical values. The pattern in the deviations suggests strong underconfidence. Furthermore, the inset histogram reveals drastic lack of sharpness. Therefore, SAC can be viewed as a well-performing compromise between SDLM and BSAC LOG that avoids overconfidence without being too conservative.

6.4. Group-level expertise bias. This section explores the bias among the five expertise groups in our data set. Figure 4 compares the posterior distributions of the individual elements of b with side-by-side boxplots. Given that the distributions fall completely below the no-bias reference line at 1.0, all the expertise groups are deemed underconfident. Even though the exact level of underconfidence is affected slightly by the extent to which the extreme probabilities are censored (see Section 6.1), the qualitative results in this section remain insensitive to different levels of censoring.

Figure 4 shows that underconfidence decreases as expertise increases. The posterior probability that the most expert group is the least underconfident

is approximately equal to 1 0, . and the posterior probability of a strictly decreasing level of underconfidence is approximately 0.87. The latter probability is driven down by the inseparability of the two groups with the lowest levels of self-reported expertise. This inseparability suggests that the experts are poor at assessing how little they know about a topic that is strange to them. If these groups are combined into a single group, the posterior probability of a strictly decreasing level of underconfidence is approximately 1.0.

The decreasing trend in underconfidence can be viewed as a process of Bayesian updating. A completely ignorant expert aiming to minimize a reasonable loss function, such as the Brier score, has no reason to give anything but 0.5 as his probability forecast. However, as soon as the expert gains some knowledge about the event, he produces an updated forecast that is a compromise between his initial forecast and the new information acquired. The updated forecast is therefore conservative and too close to 0.5 as long as the expert remains only partially informed about the event. If most experts fall somewhere on this spectrum between ignorance and full information, their average forecast tends to fall strictly between 0.5 and the most informed probability forecast [see Baron et al. (2014) for more details]. Given that expertise is to a large extent determined by subject matter knowledge, the level of underconfidence can be expected to decrease as a function of the group's level of self-reported expertise.

Finding underconfidence in all the groups may seem like a surprising result given that many previous studies have shown that experts are often overconfident [see, e.g., Lichtenstein, Fischhoff and Phillips (1977), Morgan (1992), Bier (2004) for a summary of numerous calibration studies]. It is, however, worth emphasizing three points: First, our result is a statement about groups of experts and hence does not invalidate the possibility of the individual experts being overconfident. To make conclusions at the individual level based on the group level bias terms would be considered an ecological inference fallacy [see, e.g., Lubinski and Humphreys (1996)]. Second, the experts involved in our data set are overall very well calibrated [Mellers et al. (2014)]. A group of well-calibrated experts, however, can produce an aggregate forecast that is underconfident. In fact, if the aggregate is linear, the group is necessarily underconfident [see Theorem 1 of Ranjan and Gneiting (2010)]. Third, according to Erev, Wallsten and Budescu (1994), the level of confidence depends on the way the data were analyzed. They explain that experts' probability forecasts suggest underconfidence when the forecasts are averaged or presented as a function of independently defined objective probabilities, that is, the probabilities given by logit -1 ( X t,k ) in our case. This is similar to our context and opposite to many empirical studies on confidence calibration.

6.5. Question difficulty and other measures. One advantage of our model arises from its ability to produce estimates of interpretable question-specific parameters γ k , σ 2 k and τ 2 k . These quantities can be combined in many interesting ways to answer questions about different groups of experts or the questions themselves. For instance, being able to assess the difficulty of a question could lead to more principled ways of aggregating performance measures across questions or to novel insight on the kinds of questions that are found difficult by experts [see, e.g., a discussion on the Hard-Easy Effect in Wilson (1994)]. To illustrate, recall that higher values of σ 2 k suggest greater disagreement among the participating experts. Given that experts are more likely to disagree over a difficult question than an easy one, it is reasonable to assume that σ 2 k has a positive relationship with question difficulty. An alternative measure is given by τ 2 k that quantifies the volatility of the underlying circumstances that ultimately decide the outcome of the event. Therefore, a high value of τ 2 k can cause the outcome of the event to appear unstable and difficult to predict.

As a final illustration of our model, we return to the two example questions introduced in Figure 1. Given that ˆ σ 2 k =2 43 and ˆ . σ 2 k =1 77 for the questions . depicted in Figure 1(a) and 1(b), respectively, the first question provokes more disagreement among the experts than the second one. Intuitively this makes sense because the target event in Figure 1(a) is determined by several conditions that may change radically from one day to the next while the target event in Figure 1(b) is determined by a relatively steady stock market index. Therefore, it is not surprising to find that in Figure 1(a) ˆ τ 2 k =0 269, . which is much higher than ˆ τ 2 k =0 039 in Figure 1(b). We may conclude that . the first question is inherently more difficult than the second one.

7. Discussion. This paper began by introducing a rather unorthodox but nonetheless realistic time-series setting where probability forecasts are made very infrequently by a heterogeneous group of experts. The resulting data is too sparse to be modeled well with standard time-series methods. In response to this lack of appropriate modeling procedures, we propose an interpretable time-series model that incorporates self-reported expertise to capture a sharp and well-calibrated estimate of the crowd belief. This procedure extends the forecasting literature into an under-explored area of probability aggregation.

Our model preserves parsimony while addressing the main challenges in modeling sparse probability forecasting data. Therefore, it can be viewed as a basis for many future extensions. To give some ideas, recall that most of the model parameters were assumed constant over time. It is intuitively reasonable, however, that these parameters behave differently during different time intervals of the question. For instance, the level of disagreement (represented by σ 2 k in our model) among the experts can be expected to

decrease toward the final time point when the question resolves. This hypothesis could be explored by letting σ 2 t,k evolve dynamically as a function of the previous term σ 2 t -1 ,k and random noise.

This paper modeled the bias separately within each expertise group. This is by no means restricted to the study of bias or its relation to self-reported expertise. Different parameter dependencies could be constructed based on many other expert characteristics, such as gender, education or specialty, to produce a range of novel insights on the forecasting behavior of experts. It would also be useful to know how expert characteristics interact with question types, such as economic, domestic or international. The results would be of interest to the decision-maker who could use the information as a basis for hiring only a high-performing subset of the available experts.

Other future directions could remove some of the obvious limitations of our model. For instance, recall that the random components are assumed to follow a normal distribution. This is a strong assumption that may not always be justified. Logit probabilities, however, have been modeled with the normal distribution before [see, e.g., Erev, Wallsten and Budescu (1994)]. Furthermore, the normal distribution is a rather standard assumption in psychological models [see, e.g., signal-detection theory in Tanner, Wilson and Swets (1954)].

A second limitation resides in the assumption that both the observed and hidden processes are expected to grow linearly. This assumption could be relaxed, for instance, by adding higher order terms to the model. A more complex model, however, is likely to sacrifice interpretability. Given that our model can detect very intricate patterns in the crowd belief (see Figure 1), compromising interpretability for the sake of facilitating nonlinear growth is hardly necessary.

A third limitation appears in an online setting where new forecasts are received at a fast rate. Given that our model is fit in a retrospective fashion, it is necessary to refit the model every time a new forecast becomes available. Therefore, our model can be applied only to offline aggregation and online problems that tolerate some delay. A more scalable and efficient alternative would be to develop an aggregator that operates recursively on streams of forecasts. Such a filtering perspective would offer an aggregator that estimates the current crowd belief accurately without having to refit the entire model each time a new forecast arrives. Unfortunately, this typically implies being less accurate in estimating the model parameters such as the bias term. However, as estimation of the model parameters was addressed in this paper, designing a filter for probability forecasts seems like the next natural development in time-series probability aggregation.

Acknowledgments. The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright

annotation thereon. Disclaimer: The views and conclusions expressed herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of IARPA, DoI/NBC or the U.S. Government.

We deeply appreciate the project management skills and work of Terry Murray and David Wayrynen, which went far beyond the call of duty on this project.

## SUPPLEMENTARY MATERIAL

Sampling step (DOI: 10.1214/14-AOAS739SUPP; .pdf). This supplementary material provides a technical description of the sampling step of the SAC-algorithm.

## REFERENCES

Allard, D. , Comunian, A. and Renard, P. (2012). Probability aggregation methods in geoscience. Math. Geosci. 44 545-581. MR2947804

Ariely, D. , Au, W. T. , Bender, R. H. , Budescu, D. V. , Dietz, C. B. , Gu, H. , Wallsten, T. S. and Zauberman, G. (2000). The effects of averaging subjective probability estimates between and within judges. Journal of Experimental Psychology: Applied 6 130-147.

Baars, J. A. and Mass, C. F. (2005). Performance of national weather service forecasts compared to operational, consensus, and weighted model output statistics. Weather and Forecasting 20 1034-1047.

Baron, J. , Mellers, B. A. , Tetlock, P. E. , Stone, E. and Ungar, L. H. (2014). Two reasons to make aggregated probability forecasts more extreme. Decis. Anal. 11 . DOI:10.1287/deca.2014.0293.

Batchelder, W. H. , Strashny, A. and Romney, A. K. (2010). Cultural consensus theory: Aggregating continuous responses in a finite interval. In Advances in Social Computing ( S.-K. Chaim , J. J. Salerno and P. L. Mabry , eds.) 98-107. Springer, Berlin.

Bier, V. (2004). Implications of the research on expert overconfidence and dependence. Reliability Engineering &amp; System Safety 85 321-329.

Bonferroni, C. E. (1936). Teoria Statistica Delle Classi e Calcolo Delle Probabilit´. a Pubblicazioni del R Istituto Superiore di Scienze Economiche e Commerciali di Firenze 8 3-62.

- Brier, G. W. (1950). Verification of forecasts expressed in terms of probability. Monthly Weather Review 78 1-3.

Br¨ ocker, J. and Smith, L. A. (2007). Increasing the reliability of reliability diagrams. Weather and Forecasting 22 651-661.

Buja, A. , Stuetzle, W. and Shen, Y. (2005). Loss functions for binary class probability estimation and classification: Structure and applications. Statistics Department, Univ. Pennsylvania, Philadelphia, PA. Available at http://stat.wharton.upenn.edu/ ~ buja/PAPERS/paper-proper-scoring.pdf .

Carter, C. K. and Kohn, R. (1994). On Gibbs sampling for state space models. Biometrika 81 541-553. MR1311096

- Chen, Y. (2008). Learning classifiers from imbalanced, only positive and unlabeled data sets. Project Report for UC San Diego Data Mining Contest. Dept. Computer Science,

Iowa State Univ., Ames, IA. Available at https://www.cs.iastate.edu/ ~ yetianc/ cs573/files/CS573\_ProjectReport\_YetianChen.pdf .

- Clemen, R. T. and Winkler, R. L. (2007). Aggregating probability distributions. In Advances in Decision Analysis: From Foundations to Applications ( W. Edwards , R. F. Miles and D. von Winterfeldt , eds.) 154-176. Cambridge Univ. Press, Cambridge.
- Cooke, R. M. (1991). Experts in Uncertainty: Opinion and Subjective Probability in Science . Clarendon Press, New York. MR1136548
- Erev, I. , Wallsten, T. S. and Budescu, D. V. (1994). Simultaneous over- and underconfidence: The role of error in judgment processes. Psychological Review 66 519-527.
- Gelman, A. , Carlin, J. B. , Stern, H. S. and Rubin, D. B. (2003). Bayesian data analysis . CRC press, Boca Raton.
- Gelman, A. , Jakulin, A. , Pittau, M. G. and Su, Y.-S. (2008). A weakly informative default prior distribution for logistic and other regression models. Ann. Appl. Stat. 2 1360-1383. MR2655663
- Geman, S. and Geman, D. (1984). Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. Institute of Electrical and Electronics Engineer (IEEE) Transactions on Pattern Analysis and Machine Intelligence 6 721-741.
- Genest, C. and Zidek, J. V. (1986). Combining probability distributions: A critique and an annotated bibliography. Statist. Sci. 1 114-148. MR0833278
- Gent, I. P. and Walsh, T. (1996). Phase transitions and annealed theories: Number partitioning as a case study. In Proceedings of European Conference on Artificial Intelligence (ECAI 1996) 170-174. Wiley, New York.
- Gneiting, T. and Ranjan, R. (2013). Combining predictive distributions. Electron. J. Stat. 7 1747-1782. MR3080409
- Gneiting, T. , Stanberry, L. I. , Grimit, E. P. , Held, L. and Johnson, N. A. (2008). Rejoinder on: Assessing probabilistic forecasts of multivariate quantities, with an application to ensemble predictions of surface winds [MR2434318]. TEST 17 256-264. MR2434326
- Good, I. J. (1952). Rational decisions. J. R. Stat. Soc. Ser. B Stat. Methodol. 14 107-114. MR0077033
- Hastings, C. Jr. , Mosteller, F. , Tukey, J. W. and Winsor, C. P. (1947). Low moments for small samples: A comparative study of order statistics. Ann. Math. Statistics 18 413-426. MR0022335

Hayes, B. (2002). The easiest hard problem. American Scientist 90 113-117.

- Karmarkar, N. and Karp, R. M. (1982). The differencing method of set partitioning. Technical Report UCB/CSD 82/113, Computer Science Division, Univ. California, Berkeley, CA.

Kellerer, H. , Pferschy, U. and Pisinger, D. (2004). Knapsack Problems . Springer, Dordrecht. MR2161720

- Lichtenstein, S. , Fischhoff, B. and Phillips, L. D. (1977). Calibration of Probabilities: The State of the Art. In Decision Making and Change in Human Affairs ( H. Jungermann and G. De Zeeuw , eds.) 275-324. Springer, Berlin.
- Lubinski, D. and Humphreys, L. G. (1996). Seeing the forest from the trees: When predicting the behavior or status of groups, correlate means. Psychology, Public Policy, and Law 2 363.

Mellers, B. , Ungar, L. , Baron, J. , Ramos, J. , Gurcay, B. , Fincher, K. , Scott, S. E. , Moore, D. , Atanasov, P. and Swift, S. A. et al. (2014). Psychological strategies for winning a geopolitical forecasting tournament. Psychological Science 25 . DOI:10.1177/0956797614524255.

Metropolis, N. , Rosenbluth, A. W. , Rosenbluth, M. N. , Teller, A. H. and Teller, E. (1953). Equation of state calculations by fast computing machines. The Journal of Chemical Physics 21 1087-1092.

- Migon, H. S. , Gamerman, D. Lopes, H. F. , and Ferreira, M. A. R. (2005). Dynamic models. In Bayesian Thinking: Modeling and Computation . Handbook of Statist. 25 553-588. Elsevier/North-Holland, Amsterdam. MR2490539

Mills, T. C. (1991). Time series techniques for economists . Cambridge Univ. Press, Cambridge.

Morgan, M. G. (1992). Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis . Cambridge Univ. Press, Cambridge.

- Murphy, A. H. and Winkler, R. L. (1987). A general framework for forecast verification. Monthly Weather Review 115 1330-1338.

Neal, R. M. (2003). Slice sampling. Ann. Statist. 31 705-767. MR1994729

Pepe, M. S. (2003). The Statistical Evaluation of Medical Tests for Classification and Prediction . Oxford Statistical Science Series 28 . Oxford Univ. Press, Oxford. MR2260483

Primo, C. , Ferro, C. A. , Jolliffe, I. T. and Stephenson, D. B. (2009). Calibration of probabilistic forecasts of binary events. Monthly Weather Review 137 1142-1149.

Raftery, A. E. , Gneiting, T. , Balabdaoui, F. and Polakowski, M. (2005). Using Bayesian model averaging to calibrate forecast ensembles. Monthly Weather Review 133 1155-1174.

Ranjan, R. and Gneiting, T. (2010). Combining probability forecasts. J. R. Stat. Soc. Ser. B Stat. Methodol. 72 71-91. MR2751244

- Sanders, F. (1963). On subjective probability forecasting. Journal of Applied Meteorology 2 191-201.
- Satop¨ a¨, a V. A. , Baron, J. , Foster, D. P. , Mellers, B. A. , Tetlock, P. E. and Ungar, L. H. (2014a). Combining multiple probability predictions using a simple logit model. International Journal of Forecasting 30 344-356.

Satop¨ a¨, V. A. a , Jensen, S. T. , Mellers, B. A. , Tetlock, P. E. and Ungar, L. H. (2014b). Supplement to 'Probability aggregation in time-series: Dynamic hierarchical modeling of sparse expert beliefs.' DOI:10.1214/14-AOAS739SUPP.

Shlyakhter, A. I. , Kammen, D. M. Broido, C. L. , and Wilson, R. (1994). Quantifying the credibility of energy projections from trends in past data: The US energy sector. Energy Policy 22 119-130.

Tanner, J. , Wilson, P. and Swets, J. A. (1954). A decision-making theory of visual detection. Psychological Review 61 401-409.

Tetlock, P. E. (2005). Expert Political Judgment: How Good Is It? How Can We Know? Princeton Univ. Press, Princeton, NJ.

Ungar, L. , Mellers, B. , Satop¨ a¨, V. a , Tetlock, P. and Baron, J. (2012). The good judgment project: A large scale test of different methods of combining expert predictions. In The Association for the Advancement of Artificial Intelligence 2012 Fall Symposium Series , Univ. Pennsylvania, Philadelphia, PA.

Vislocky, R. L. and Fritsch, J. M. (1995). Improved model output statistics forecasts through model consensus. Bulletin of the American Meteorological Society 76 11571164.

Wallace, B. C. and Dahabreh, I. J. (2012). Class probability estimates are unreliable for imbalanced data (and how to fix them). In Institute of Electrical and Electronics Engineers (IEEE) 12th International Conference on Data Mining (International Conference on Data Mining) 695-704. IEEE Computer Society, Washington, DC.

Wallsten, T. S. , Budescu, D. V. and Erev, I. (1997). Evaluating and combining subjective probability estimates. Journal of Behavioral Decision Making 10 243-268.

## V. A. SATOP ¨ ¨ ET AL. AA

Wilson, A. G. (1994). Cognitive factors affecting subjective probability assessment. Discussion Paper 94-02, Institute of Statistics and Decision Sciences, Duke Univ., Chapel Hill, NC.

- Wilson, P. W. , D'Agostino, R. B. , Levy, D. , Belanger, A. M. , Silbershatz, H. and Kannel, W. B. (1998). Prediction of coronary heart disease using risk factor categories. Circulation 97 1837-1847.
- Winkler, R. L. and Jose, V. R. R. (2008). Comments on: Assessing probabilistic forecasts of multivariate quantities, with an application to ensemble predictions of surface winds [MR2434318]. TEST 17 251-255. MR2434325

Winkler, R. L. and Murphy, A. H. (1968). 'Good' probability assessors. Journal of Applied Meteorology 7 751-758.

Wright, G. , Rowe, G. , Bolger, F. and Gammack, J. (1994). Coherence, calibration, and expertise in judgmental probability forecasting. Organizational Behavior and Human Decision Processes 57 1-25.

V. A. Satop¨¨ aa

S. T. Jensen

Department of Statistics

The Wharton School

University of Pennsylvania

Philadelphia, Pennsylvania 19104-6340

USA

E-mail:

satopaa@wharton.upenn.edu

B. A. Mellers

P. E. Tetlock

Department of Psychology

University of Pennsylvania

Philadelphia, Pennsylvania 19104-6340

USA

E-mail:

mellers@wharton.upenn.edu

tetlock@wharton.upenn.edu

stjensen@wharton.upenn.edu

L. H. Ungar Department of Computer and Information Science University of Pennsylvania Philadelphia, Pennsylvania 19104-6309 USA E-mail: ungar@cis.upenn.edu
Ville A. Satopää Shane T. Jensen Barbara A. Mellers Philip E. Tetlock Lyle H. Ungar
Probability aggregation in time-series: Dynamic hierarchical modeling of sparse expert beliefs
Most subjective probability aggregation procedures use a single probability
judgment from each expert, even though it is common for experts studying real
problems to update their probability estimates over time. This paper advances
into unexplored areas of probability aggregation by considering a dynamic
context in which experts can update their beliefs at random intervals. The
updates occur very infrequently, resulting in a sparse data set that cannot be
modeled by standard time-series procedures. In response to the lack of
appropriate methodology, this paper presents a hierarchical model that takes
into account the expert's level of self-reported expertise and produces
aggregate probabilities that are sharp and well calibrated both in- and
out-of-sample. The model is demonstrated on a real-world data set that includes
over 2300 experts making multiple probability forecasts over two years on
different subsets of 166 international political events.