Causal Networks
It has been widely acknowledged that correlation does not imply causation. Two variables may be correlated because:
An intervention sets a variable to a specific value directly, rather than influencing it indirectly through its normal causes in the model. Interventions allow us to reason about the effects of actions and answer "What if we do X?" questions.
A causal model is constructed using observational data, experimental or interventional data, and domain knowledge expressed as modeling assumptions. This is not referring to "the (unique) cause" of an effect, but all of the factors that together lead to the effect. An effect typically has multiple causes, and their relations are probabilistic.
A direct cause of variable Y is a variable X such that intervening on X, holding all other variables constant, can affect Y.
The do-notation adds interventions to the language of probability: P(x|do(z), y) where x, y, and z are propositions is the probability that x is true after doing z and then observing y. Unlike ordinary conditional probabilities, do-expressions represent the effects of actions rather than passive observations.
Intervening after observing is counterfactual reasoning because the intervention could make the observation no longer true.