Re: Automatic generation of Bayesian network from computer program?

David McAllester (dmac@research.att.com)
Mon, 11 Jan 1999 13:58:32 -0500 (EST)

You might want to look at a paper by myself, Daphne Koller and Avi
Pfeffer in AAAI-97. It gives an algorithm for computing conditional
probabilities for models defined as computer programs. The problem
of whether such a probability is greater than, say, 1/2 is
undecidable in general and our algorithm does not always terminate.
But our algorithm does terminate in polynomial time for certain
interesting classes of programs.

David McAllester