We present a method for dynamically gen erating Bayesian networks from knowledge bases consisting of first-order probability logic sentences. We present a subset of proba bility logic sufficient for representing the class of Bayesian networks with discrete-valued nodes. We impose constraints on the form of the sentences that guarantee that the knowl edge base contains all the probabilistic infor mation necessary to generate a network. We define the concept of d-separation for knowl edge… CONTINUE READING