面向可争议因果发现形式化纠正的最优修正集

研究人员将因果发现中的条件独立性事实修复建模为最小成本修正问题，利用回答集编程（ASP）提出 OptABA-PC 算法。该方法基于 Causal ABA 构建了因果一致性编码，在用户对修复提出争议时提供形式化纠正保证。基准评测表明，OptABA-PC 相比 Causal ABA 保留了更多正确事实，减少了歧义并提升了因果图重构质量。