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

How to infer from inconsistent beliefs without revising ?

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, several methods for coping with inconsistency caused by multiple source information by introducing suitable consequence relations capable of inferring non trivial conclusions from an inconsistent stratified knowledge base. Some of these methods presuppose a revision step, namely a selection of one or several consistent subsets of formulas, and then classical inference is used for inferring from these subsets. Two alternative methods that do not require any revision step are studied: inference based on arguments and a new approach called safely supported inference, where inconsistency is kept local. These two last methods look suitable when the inconsistency is due to the presence of several sources of information. The paper offers a comparative study of the various inference modes under inconsistency.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, September 7, 2021 - 8:57:39 AM
Last modification on : Monday, July 4, 2022 - 9:03:10 AM


  • HAL Id : hal-03299844, version 1


Salem Benferhat, Didier Dubois, Henri Prade. How to infer from inconsistent beliefs without revising ?. 14th international joint conference on Artificial intelligence (IJCAI 1995), 1995, Montreal, Canada. pp.1449-1455. ⟨hal-03299844⟩



Record views