research
A Causal Graph Gets a Minimum-Cost Repair Ledger
OptABA-PC turns conflicting conditional-independence tests into inspectable correction sets with formal redress when a released fact is contested.
Summary
OptABA-PC turns conflicting conditional-independence tests into inspectable correction sets with formal redress when a released fact is contested.
An Answer Set Programming formulation finds minimum-cost fact releases that restore causal consistency, then supplies conflict-based justifications and a predictable revision path. The authors prove correspondence between optimal stable models and minimum-cost correction sets and report better fact retention and graph reconstruction than the earlier heuristic repair on common benchmarks.
Why it matters
OptABA-PC turns conflicting conditional-independence tests into inspectable correction sets with formal redress when a released fact is contested.
Limits and context
No additional limitation was separately recorded.
Key claims
OptABA-PC turns conflicting conditional-independence tests into inspectable correction sets with formal redress when a released fact is contested.
Evidence: source-2026-10-27-018
Sources
- arXiv preprint 2610.33138, original v1arXiv · primary research
Corrections
No corrections have been recorded for this story.