Probabilistic Horn abduction and Bayesian networks