因果发现争议修复：最优修正集方法提出

Fabrizio Russo 等作者将因果发现中的条件独立（CI）事实修正形式化为最小代价修正问题，并用 Answer Set Programming 实现 OptABA-PC，在最优稳定模型与最小代价修正集之间建立双向投影对应。作者称该编码具备可靠性与完备性保证，可给出被释放事实的冲突依据，并在用户提出争议时提供形式化保证的救济。 在常见基准上，OptABA-PC 相比 Causal ABA 保留更多正确事实、减少兼容输出歧义并改善图重建。上述效果为论文报告的结果。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。