arXiv cs.AI· Fabrizio Russo, Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca, Francesca Toni·· 4 小时前AI 评分31
OptABA-PC：为可争议因果发现构建最优修正集与可证明纠正
Optimal Correction Sets for Provable Redress of Contestable Causal Discovery
AI 导读
研究者将约束式因果发现中的 CI 事实修复建模为最小代价修正问题，并用 Answer Set Programming 实现为 OptABA-PC，给出具备可靠性与完备性保证的因果一致性编码。该方法在最优稳定模型与最小代价修正集之间建立双向投影对应，为用户质疑提供形式化纠正保证。在常见 benchmark 上，OptABA-PC 保留更多正确事实、减少兼容输出歧义并改善图重构。
来源：arXiv cs.AI · arxiv.org