Scientific, Medical, and Social Worlds › Prediction, Simulation, and Counterfactual Inference
World Models HandbookAll chapters Scientific, Medical, and Social Worlds › Prediction, Simulation, and Counterfactual InferenceOne section · Sections in this chapter2 / 10 ↓
Reading tools Definitions & inline links
Choose your expertise level to adjust how many terms are explained. Beginners see more tooltips, experts see fewer to maintain reading flow. Hover over underlined terms for instant definitions.
Article links
Make inline references clickable
Prediction, intervention, and counterfactual queries require different information. The causal hierarchy discussed in Part IV has three levels, not four. Simulation is a computational procedure that can implement several kinds of query; decision support adds a choice criterion rather than another causal rung. Bareinboim and colleagues formalize why lower-level information generally underdetermines higher-level queries without additional assumptions.
Prediction asks for an outcome conditional on available information. A ten-day weather forecast is one example. A sequence-to-structure protein prediction is another, although it does not predict a time trajectory. A function fitted to historical inputs and outputs can support useful predictions without identifying their causal mechanism. That does not make prediction easy: noise, limited data, computation, and distribution shift can each limit accuracy.
Simulation rolls a modeled transition forward. A simulator can be autonomous, stochastic, or action-conditioned; it need not encode a valid causal intervention. For interventional use, the action must enter a justified mechanism. In our compartment simulator, reducing contacts multiplies the incidence term, changing the next susceptible and infectious states and therefore later incidence. A static outcome lookup does not implement that recursion, although a lookup table of state transitions could. What matters is the transition semantics and their evidence, not whether the implementation is an equation, a table, or a neural network.
Counterfactual inference can ask what would have happened to a unit whose factual history is already observed. For example, after observing under , we might ask about the unreceived alternative for that same unit and episode. This retrospective query conditions on factual evidence and may require assumptions about how unobserved disturbances are shared across alternatives. A structural simulator can implement such inference, but its structure alone does not guarantee identification. Population potential-outcome contrasts, including the average treatment effect introduced below, are also counterfactual quantities; the term is not reserved for individuals. Pearl's discussion of causal queries separates the needed information from the mechanics of simulation.
Decision support combines evidence about action-dependent outcomes with a loss, feasible actions, and constraints. Where intervention effects matter, an observational conditional distribution is not automatically the required action-dependent distribution. Calibration alone also cannot select an action without specifying what counts as a costly error. Prediction losses themselves can be asymmetric; decision support makes the relevant consequences and choices explicit rather than introducing asymmetry for the first time.
Model-form uncertainty concerns the choice of transition law, as distinct from parameter uncertainty within a chosen law. This separation depends on how the family is represented: a behavioral-feedback switch could be a model index or a parameter in a larger family. For a finite candidate set , Bayesian model averaging writes
Here is the evidence, labels a candidate model, and each within-model prediction integrates its parameter uncertainty. Priors and posterior weights over a finite candidate set are possible; other model representations may be continuous or nonparametric. The mixture represents only the candidates and assumptions included, not every omitted mechanism. Its usefulness and the relative importance of model-form uncertainty depend on the task, horizon, and data. See the Bayesian model averaging tutorial by Hoeting and colleagues.
Our worked example separates two cases: SIR versus AR changes the transition form, while refitting several recovery rates stays within SIR. Similar training losses at those recovery rates do not create a posterior or establish exact non-identifiability.
Observational equivalence means equality of the distributions of observable variables under a specified observation regime. Write this as for every observable event in that regime. It is stronger than giving the same likelihood to one realized dataset or obtaining similar residual errors. Interventional equivalence for a specified query family means equality of the outcome distributions under each intervention in that family, for example for all actions of interest. Observational equivalence alone does not generally imply this second equality. Identification assumptions or suitable experimental evidence can connect them.
A small structural counterexample makes the non-implication exact. Let be a Bernoulli variable with probability one half, and let in both models. In model 1, ; in model 2, . Both produce only and , each with probability one half. Setting by intervention leaves in model 1 but makes in model 2. The interventional mean is therefore one half in the first and zero in the second. More passive observations of these same variables cannot distinguish these particular models. That is not a claim that more data never helps: additional variables, experiments, or defensible restrictions can change identification.
A separate issue is structure versus fit. Observational predictive accuracy is useful but does not by itself validate an intervention forecast. A mechanism-based model can transfer when its relevant mechanisms and parameters remain valid under the specified action. It can also fail because its parameters, boundary conditions, or omitted processes are wrong. A highly accurate associational fit can fail on intervention because an observation-only objective need not penalize the unseen action error. Our example illustrates both failures: the two-coefficient AR mean model lacks the contact input, and the fitted SIR model responds to contacts but misestimates the response.
For treatment questions, keep outcome prediction separate from effect estimation. Predicting outcomes among patients who received a drug is not the same estimand as comparing their outcomes under alternative assignments. If treatment selection depends on severity, a group difference can mix treatment response with baseline risk. The sign and size of that bias depend on the data-generating process; the synthetic cohort below stipulates one sign-reversal example.