{"id":"https://openalex.org/W7140161465","doi":"https://doi.org/10.48550/arxiv.2603.20505","title":"Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs","display_name":"Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs","publication_year":2026,"publication_date":"2026-03-20","ids":{"openalex":"https://openalex.org/W7140161465","doi":"https://doi.org/10.48550/arxiv.2603.20505"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.20505","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.20505","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.20505","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Habib, Saimun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Habib, Saimun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Belle, Vaishak","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Belle, Vaishak","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"He, Fengxiang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"He, Fengxiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.5026000142097473,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.5026000142097473,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.41200000047683716,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.014800000004470348,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.9189000129699707},{"id":"https://openalex.org/keywords/counterfactual-conditional","display_name":"Counterfactual conditional","score":0.7242000102996826},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6287999749183655},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5799000263214111},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5781000256538391},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.47510001063346863},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.46209999918937683},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.44429999589920044},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4278999865055084},{"id":"https://openalex.org/keywords/conditional-independence","display_name":"Conditional independence","score":0.4268999993801117}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.9189000129699707},{"id":"https://openalex.org/C71889745","wikidata":"https://www.wikidata.org/wiki/Q1783264","display_name":"Counterfactual conditional","level":3,"score":0.7242000102996826},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6287999749183655},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5799000263214111},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5781000256538391},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5619999766349792},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.47510001063346863},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.46209999918937683},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.453000009059906},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.44429999589920044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43950000405311584},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4278999865055084},{"id":"https://openalex.org/C79772020","wikidata":"https://www.wikidata.org/wiki/Q5159264","display_name":"Conditional independence","level":2,"score":0.4268999993801117},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4131999909877777},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.4032999873161316},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.3416000008583069},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.3280999958515167},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.3019999861717224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29120001196861267},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.2800999879837036},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C183521366","wikidata":"https://www.wikidata.org/wiki/Q7256422","display_name":"Psychology of reasoning","level":4,"score":0.27709999680519104},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.27390000224113464},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2619999945163727},{"id":"https://openalex.org/C193885149","wikidata":"https://www.wikidata.org/wiki/Q655742","display_name":"Modus ponens","level":3,"score":0.258899986743927},{"id":"https://openalex.org/C95167961","wikidata":"https://www.wikidata.org/wiki/Q4483495","display_name":"Fiducial inference","level":5,"score":0.2563000023365021},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.2547000050544739}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.20505","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.20505","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.20505","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.20505","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4895215630531311,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Probabilistic":[0],"Logic":[1],"Programming":[2],"(PLP)":[3],"languages,":[4],"like":[5],"ProbLog,":[6],"naturally":[7],"support":[8],"reasoning":[9,21,114,182],"under":[10],"uncertainty,":[11],"while":[12],"maintaining":[13],"a":[14,84,88,119,133,165,189],"declarative":[15],"and":[16,35,47,79,103,110,138,186,196],"interpretable":[17],"framework.":[18],"Meanwhile,":[19],"counterfactual":[20,113,151,181],"(i.e.,":[22],"answering":[23],"``what":[24],"if''":[25],"questions)":[26],"is":[27,104,139,202],"critical":[28],"for":[29,62],"ensuring":[30],"AI":[31,198],"systems":[32],"are":[33],"robust":[34,195],"trustworthy;":[36],"however,":[37],"integrating":[38],"this":[39,54],"capability":[40],"into":[41],"PLP":[42],"can":[43],"be":[44],"computationally":[45,184],"prohibitive":[46],"unstable":[48],"in":[49,70,107,159,168,174],"accuracy.":[50],"This":[51,177],"paper":[52],"addresses":[53],"challenge,":[55],"by":[56],"proposing":[57],"an":[58],"efficient":[59],"program":[60,90],"transformation":[61],"counterfactuals":[63],"as":[64],"Single":[65],"World":[66],"Intervention":[67],"Programs":[68],"(SWIPs)":[69],"ProbLog.":[71],"By":[72],"systematically":[73],"splitting":[74],"ProbLog":[75],"clauses":[76],"to":[77,83,115],"observed":[78],"fixed":[80],"components":[81],"relevant":[82],"counterfactual,":[85],"we":[86],"create":[87],"transformed":[89],"that":[91],"(1)":[92],"does":[93],"not":[94],"asymptotically":[95],"exceed":[96],"the":[97,125,145,150,154],"computational":[98],"complexity":[99],"of":[100,127,153],"existing":[101,172],"methods,":[102],"strictly":[105],"smaller":[106],"common":[108],"cases,":[109],"(2)":[111],"reduces":[112],"marginal":[116,147],"inference":[117,169],"over":[118],"simpler":[120],"program.":[121],"We":[122],"formally":[123],"prove":[124],"correctness":[126],"our":[128],"approach,":[129],"which":[130],"relies":[131],"on":[132],"weaker":[134],"set":[135],"independence":[136],"assumptions":[137],"consistent":[140],"with":[141],"conditional":[142],"independencies,":[143],"showing":[144],"resulting":[146],"probabilities":[148],"match":[149],"distributions":[152],"underlying":[155],"Structural":[156],"Causal":[157],"Model":[158],"wide":[160],"domains.":[161],"Our":[162],"method":[163],"achieves":[164],"35\\%":[166],"reduction":[167],"time":[170],"versus":[171],"methods":[173],"extensive":[175],"experiments.":[176],"work":[178],"makes":[179],"complex":[180],"more":[183,194],"tractable":[185],"reliable,":[187],"providing":[188],"crucial":[190],"step":[191],"towards":[192],"developing":[193],"explainable":[197],"systems.":[199],"The":[200],"code":[201],"at":[203],"https://github.com/EVIEHub/swip.":[204]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-25T00:00:00"}