Skip to Main content Skip to Navigation
Conference papers

Forgetting-Based Inconsistency Measure

Philippe Besnard 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : We propose to apply a variant of forgetting, a simple method to restore consistency, in order to get a new inconsistency measure from the following intuitive idea: How much effort is needed to restore consistency of a knowledge base is presumably indicative of how inconsistent the knowledge base is. We discuss properties of the inconsistency measure obtained, in particular in the face of well-known postulates for inconsistency measures. We also mention in what sense this new measure does not fall into the dichotomy of inconsistency measures proposed in the literature: alphabet-based approaches vs formula-based approaches.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, November 15, 2019 - 2:37:06 PM
Last modification on : Sunday, June 14, 2020 - 3:28:25 AM
Long-term archiving on: : Sunday, February 16, 2020 - 5:06:22 PM


Files produced by the author(s)


  • HAL Id : hal-02365628, version 1
  • OATAO : 22245


Philippe Besnard. Forgetting-Based Inconsistency Measure. International Conference on Scalable Uncertainty Management (SUM 2016), Sep 2016, Nice, France. pp.331-337. ⟨hal-02365628⟩



Record views


Files downloads