Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper integrates Judea Pearl's causal reasoning framework into probabilistic logic programming (PLP), addressing the limitations of traditional Bayesian networks that focus solely on acyclic relationships. By establishing a formal causal semantics for PLP that aligns with philosophical foundations and allows for simultaneous event consideration, the authors provide a robust method for modeling interventions. The findings reveal that this new semantics aligns with the P-log semantics for stratified ProbLog programs, thus expanding the applicability of causal reasoning in more complex PLP contexts.
Bridging Pearl's causal reasoning with probabilistic logic programming reveals new pathways for modeling interventions in complex systems.
Pearl famously argues that causal knowledge enables the prediction of intervention effects. By contrast, purely descriptive knowledge supports only conclusions drawn from observations. His theory of causality, however, is developed exclusively within Bayesian networks and causal models. Consequently, it is largely restricted to acyclic causal relationships, and transferring its ideas to other formalisms risks misinterpretation or inconsistency. This paper brings Pearl's approach to causality into probabilistic logic programming (PLP). To this end, such programs are aligned with philosophical foundations established in prior work that do not rely on temporal notions; that is, all relevant events are assumed to occur simultaneously. A formal causal semantics for these programs, together with a notion of intervention and an implementation, is proposed. It is shown that this semantics coincides with the P-log semantics for stratified ProbLog programs, while the two may differ in the non-stratified case and for other PLP formalisms.