iterative algorithm that finds maximum likelihood estimates for probabilistic models with unobserved latent variables.