Sciweavers

Share
ILP
2005
Springer

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

9 years 11 months ago
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
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 stop. On the other hand, they generate cyclic influences, which are disallowed in Bayesian networks. Therefore, in existing PLP approaches logic programs with recursive loops are considered to be problematic and thus are excluded. In this paper, we propose an approach that makes use of recursive loops to build a stationary dynamic Bayesian network. Our work stems from an observation that recursive loops in a logic program imply a time sequence and thus can be used to model a stationary dynamic Bayesian network without using explicit time parameters. We introduce a Bayesian knowledge base with logic clauses of the form A ← A1, ..., Al, true, Context, Types, which naturally represents the knowledge that the Ais have direct influences on A in the context Context under the type constraints Types. We then use t...
Yi-Dong Shen, Qiang Yang
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ILP
Authors Yi-Dong Shen, Qiang Yang
Comments (0)
books