Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A General Framework for Reasoning On InconsistencyA General Framework for Handling Inconsistency

A General Framework for Reasoning On Inconsistency: A General Framework for Handling Inconsistency [In this chapter we formally define a general framework for handling inconsistency under any monotonic logic. The basic idea behind our framework is to construct what we call options, and then to define a preference relation over them. The framework allows to define weakenings of a given knowledge base, based on which preferences among options can be established. Our notion of weakening of a formula involves replacing it with a set of formulas in the logical closure of the original one if it is consistent, or to otherwise drop it altogether. A weakening mechanism establishes how each formula in a knowledge base is weakened, and the closure of weakenings of a knowledge base correspond to the set of options. The preferred options are intended to support the conclusions to be drawn from the inconsistent knowledge base.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A General Framework for Reasoning On InconsistencyA General Framework for Handling Inconsistency

Download PDF
6 pages

Loading next page...
 
/lp/springer-journals/a-general-framework-for-reasoning-on-inconsistency-a-general-framework-0X09SIimqq

References (1)

Publisher
Springer New York
Copyright
© The Author(s) 2013
ISBN
978-1-4614-6749-6
Pages
5 –11
DOI
10.1007/978-1-4614-6750-2_2
Publisher site
See Chapter on Publisher Site

Abstract

[In this chapter we formally define a general framework for handling inconsistency under any monotonic logic. The basic idea behind our framework is to construct what we call options, and then to define a preference relation over them. The framework allows to define weakenings of a given knowledge base, based on which preferences among options can be established. Our notion of weakening of a formula involves replacing it with a set of formulas in the logical closure of the original one if it is consistent, or to otherwise drop it altogether. A weakening mechanism establishes how each formula in a knowledge base is weakened, and the closure of weakenings of a knowledge base correspond to the set of options. The preferred options are intended to support the conclusions to be drawn from the inconsistent knowledge base.]

Published: Feb 13, 2013

Keywords: Inconsistent Knowledge Bases; Mechanical Weakness; Original Knowledge Base; Preferred Option; Logical Closure

There are no references for this article.