A new research paper proposes a framework for ranking and applying repairs when an AI knowledge base contains conflicting facts.
Knowledge bases (structured collections of facts and logical rules used to power AI reasoning) frequently contain contradictions. A medical system might hold two patient records that cannot both be true; a smart assistant might carry facts that logically cancel each other out. When some facts outrank others by design, the problem becomes: which conflicts do you resolve first, and how? The paper transfers three repair strategies (global, Pareto, and completion) from database theory into ontology-based knowledge bases written in DL-Lite, a family of logics purpose-built for tractable automated reasoning. It then maps the computational cost of three practical tasks: inferring what is still safely concludable after a repair, checking whether a single best repair exists, and listing all valid repairs.
The paper's second contribution crosses disciplinary lines. Pareto-optimal repairs (those where no individual fact can be promoted without demoting another) turn out to correspond exactly to "stable extensions" in abstract argumentation theory, a separate tradition that models disputes between formal claims. That link matters because engineers building inconsistency-tolerant AI systems could potentially reuse argumentation solvers already developed for other purposes, rather than building repair engines from scratch.
This kind of foundational work rarely makes headlines, but the formal bridges between knowledge representation and argumentation semantics tend to determine which algorithms practitioners actually reach for when inconsistency becomes an engineering problem.