Revisiting Postulates for Inconsistency Measures

Philippe Besnard (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

Postulates for inconsistency measures are examined, the set of postulates due to Hunter and Konieczny being the starting point. Objections are raised against a few individual postulates. More general shortcomings are discussed and a new series of postulates is introduced.

Mots clés: Knowledge base; Classical logic; Belief base; Consistent subset; Logical content

Domaines: Apprentissage [cs.LG]; Logique en informatique [cs.LO]

Philippe Besnard. Revisiting Postulates for Inconsistency Measures. 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Sep 2014, Funchal, Madeira, Portugal. pp.383-396, ⟨10.1007/978-3-319-11558-0_27⟩. ⟨hal-03663980⟩