How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming
A formal causal semantics for probabilistic logic programming programs, together with a notion of intervention and an implementation, is proposed and 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...