Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops

Y. D. Shen, Q. Yang, J. H. You +1

Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s…