基于可反驳因果发现的可行修复集优化

研究人员提出将条件独立事实修复建模为最小成本修正问题，并将其实现在 Answer Set Programming (ASP) 框架中。 该方法基于 Causal ABA 构建了具有健全性与完全性保证的 ASP 编码，实现了最优稳定模型与最小成本修正集之间的双向投影对应。 实验评估表明，OptABA-PC 在常见基准测试中比 Causal ABA 保留了更多正确事实，减少了歧义并提升了图重构效果。