面向可质疑因果发现可证明补偿的最优修正集

研究人员针对因果发现中的条件独立性检验冲突，提出将事实修复建模为最小成本修正问题，并通过回答集编程（ASP）实现因果一致性求解。该方案在最优稳定模型与最小成本修正集间建立映射，为用户质疑提供形式化补偿保证。基准评测显示，OptABA-PC 相比 Causal ABA 保留了更多正确事实，减少了歧义并提升因果图重构表现。