Search papers, labs, and topics across Lattice.
This paper introduces DeepSWIP, a novel counterfactual semantics for neural probabilistic logic programs that enhances the reasoning capabilities of DeepProbLog by integrating causal semantics for interventions. By employing neural materialization and Single World Intervention Programs (SWIPs), the authors achieve efficient computation of counterfactuals through weighted model counting, demonstrating exactness under specific assumptions. Experimental results reveal a significant 2.14脳 speedup in inference and highlight the method's effectiveness in addressing biases in neural calibration and intervention estimates.
Counterfactual reasoning in neural probabilistic logic just got a major upgrade, achieving 2.14脳 faster inference while tackling biases in intervention estimates.
Neurosymbolic systems such as DeepProbLog combine neural perception with probabilistic logic, but standard inference is associational. Counterfactual reasoning additionally requires a causal semantics for interventions and evidence. We introduce DeepSWIP, a single-world counterfactual semantics for DeepProbLog programs. Using neural materialization, we reduce fixed-context neural predicates to ordinary ProbLog choices, apply Single World Intervention Programs (SWIPs), and compute counterfactuals by weighted model counting (WMC) over a single transformed program. Under finite grounding and unique-supported-model assumptions, DeepSWIP is exact relative to the learned materialized FCM. The standard quotient-WMC form of ProbLog conditionals identifies active neural probabilities and explains intervention cleaning, calibration sensitivity, and rare-evidence instability. Experiments on MPI3D confirm the transformation against a DeepTwin construction against 12,000 queries, as predicted and a 2.14$\times$ inference speedup from avoiding the Twin's endogenous duplication. A SUMO HOV experiment shows that neural calibration degradation biases plug-in estimates, while a correctly scoped randomized-policy AIPW estimator removes most first-order bias for population mean and ATE estimands. Code is at https://github.com/saibib/deep_SWIP.
