A phylogenetic tree describes ancestral relationships. In a probabilistic graphical model on a rooted tree, latent variables at ancestral vertices are inferred from observations at leaves using belief propagation.
The Felsenstein pruning algorithm computes a site likelihood function by sum-product belief propagation from leaves to root. For a finite-state Markov kernel , the subtree likelihood function obeys , with observed-state indicators at leaves. Summing against the root probability distribution gives the site likelihood function. An outward pass gives edge posterior probabilities and expected transition counts for the expectation-maximization algorithm.
Articles by others on the same topic
It is important to note that due to horizontal gene transfer, the early days of life, and still bacteria to this day due to bacterial conjugation, are actually a graph and not a tree, see also: Figure "Graph of life".
Definitely have a look at: coral of life representations.