Your Search Results

Use this resource - and many more! - in your textbook!

AcademicPub holds over eight million pieces of educational content for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Drawing Reasonable Inferences From Inconsistent Premises

By: Oppacher, Y.; Deugo, D.; Oppacher, F.;

2005 / IEEE / 0-7695-2504-0


This item was taken from the IEEE Conference ' Drawing Reasonable Inferences From Inconsistent Premises ' Inconsistencies are likely to occur in any nontrivial 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.