New intuitionistic $j$-do-calculus framework extends causal inference

Researchers have introduced a novel framework called $j$-stable causal inference, which extends Pearl's do-calculus into an intuitionistic setting within a topos of sheaves. This new approach defines causal interventions as subobjects and utilizes a Lawvere-Tierney topology with a modal operator $j$ on the topos's subobject classifier. The $j$-do-calculus replaces global truth with local truth, formalizing causal reasoning through structure-preserving morphisms that are stable along $j$-covers, and is proven to be a sound rule system. AI

RANK_REASON The cluster contains an academic paper detailing a new theoretical framework in causal inference. [lever_c_demoted from research: ic=1 ai=0.4]

Read on arXiv cs.AI →

• intuitionistic logic
• j-do-calculus
• j-stable causal inference
• Kripke-Joyal semantics
• Lawvere–Tierney topology
• Pearl's do-calculus
• Sridhar Mahadevan
• topos causal models

• paper
• other

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →