Drawing Reasonable Inferences From Inconsistent Premises
Yandu Oppacher, Franz Oppacher, Dwight Deugo · 2006
Inconsistencies are likely to occur in any non-trivial knowledge based system (KBS), yet no satisfactory, principled way of recovering from inconsistencies exists. This paper discusses two possible approaches to repair contradictions and to reason from inconsistent premises. Our algorithm combines a reason maintenance system with an algorithm based on coherence theory - a cognitive science model of how the human mind forms and uses knowledge - to return an inconsistent KBS to a consistent state and to evaluate counterfactual conditionals