Argumentative inference in uncertain and inconsistent knowledge bases

  • Authors:
  • Salem Benferhat;Didier Dubois;Henri Prade

  • Affiliations:
  • Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, C.N.R.S, Toulouse, France;Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, C.N.R.S, Toulouse, France;Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, C.N.R.S, Toulouse, France

  • Venue:
  • UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e. without any priority between their elements, as well as prioritized ones where some elements are considered as more strongly entrenched than others are studied under different consequence relations. Lastly a paraconsistent-like treatment of prioritized knowledge bases is proposed, where both the level of entrenchment and the level of paraconsistency attached to a formula are propagated. The priority levels are handled in the framework of possibility theory.