Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

A local approach to reasoning under inconsistency in stratified knowledge bases

Salem Benferhat 1 Didier Dubois 1 Henri Prade 1 
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : This paper investigates an approach for reasoning under inconsistency in a "local" way, in prioritized knowledge bases. In such bases, the higher the layer, the more certain, the more reliable are the formulas stored in this layer. The proposed approach is based on the notion of (consistent) argument whose strength depends on the layer of the least certain formulas involved in the argument. Each formula in the base is also associated with a "level of paraconsistency" which reflect to what extent there exists arguments that support both a formula and its negation. Three consequence relations are presented and compared. Two of them aim at maximizing the certainty degree and/or at minimizing the level of paraconsistency of the conclusion. The third one produces consequences that are safely supported in the sense that there exists an undefeated argument for them (whose certainty is greater than its paraconsistency).
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Friday, September 3, 2021 - 4:41:20 PM
Last modification on : Monday, July 4, 2022 - 9:09:14 AM
Long-term archiving on: : Saturday, December 4, 2021 - 7:59:26 PM


A local approach to reasoning ...
Publisher files allowed on an open archive


  • HAL Id : hal-03299846, version 1


Salem Benferhat, Didier Dubois, Henri Prade. A local approach to reasoning under inconsistency in stratified knowledge bases. 3rd European conference Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ESCQARU 1995), 1995, Fribourg, Switzerland. pp.36-43. ⟨hal-03299846⟩



Record views


Files downloads