A Possibilistic Analysis of Inconsistency

Central in standard possibilistic logic (where propositional logic formulas are associated with lower bounds of their necessity measures), is the notion of inconsistency level of a possibilistic logic base. Formulas whose level is strictly above this inconsistency level constitute a sub-base free of any inconsistency. Some extensions, based on the notions of paraconsistent completion of a possibilistic logic base, and of safely supported formulas, have been proposed for handling formulas below the level of inconsistency. In this paper we further explore these ideas, and show the interest of considering the minimal inconsistent subsets in this setting. Lines for further research are also outlined.

[1]  J. Lang,et al.  A logic of supporters , 2000 .

[2]  Didier Dubois,et al.  Argumentative inference in uncertain and inconsistent knowledge bases , 1993, UAI.

[3]  Didier Dubois,et al.  Handling Uncertainty, Context, Vague Predicates, and Partial Inconsistency in Possibilistic Logic , 1991, Fuzzy Logic and Fuzzy Control.

[4]  Didier Dubois,et al.  Reasoning in inconsistent stratified knowledge bases , 1996, Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96).

[5]  Anthony Hunter,et al.  Reasoning with Actual and Potential Contradictions , 1998 .

[6]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[7]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[8]  H. Prade,et al.  Possibilistic logic , 1994 .

[9]  Didier Dubois,et al.  An Overview of Inconsistency-Tolerant Inferences in Prioritized Knowledge Bases , 1999 .

[10]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[11]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[12]  Anthony Hunter,et al.  On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..

[13]  Didier Dubois,et al.  On Ignorance and Contradiction Considered as Truth-Values , 2007, Log. J. IGPL.

[14]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[15]  Lakhdar Sais,et al.  Prime Implicates Based Inconsistency Characterization , 2014, ECAI.