Inconsistency management and prioritized syntax-based entailment

  • Authors:

  • Salem Benferhat;Claudette Cayrol;Didier Dubois;Jerome Lang;Henri Prade

  • Affiliations:

  • Institut de Recherche en Informatique de Toulouse, University Paul Sabatier, CNRS, Toulouse Cedex, France;Institut de Recherche en Informatique de Toulouse, University Paul Sabatier, CNRS, Toulouse Cedex, France;Institut de Recherche en Informatique de Toulouse, University Paul Sabatier, CNRS, Toulouse Cedex, France;Institut de Recherche en Informatique de Toulouse, University Paul Sabatier, CNRS, Toulouse Cedex, France;Institut de Recherche en Informatique de Toulouse, University Paul Sabatier, CNRS, Toulouse Cedex, France

  • Venue:
  • IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract

The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of classical formulas. One of them is based on a lexicographic ordering of maximal consistent subsets, and refines Brewka's preferred sub-theories. This new approach leads to a nonmonotonic inference which satisfies the "rationality" property while solving the problem of blocking of property inheritance. It differs from and improves previous equivalent approaches such as Gardenfors and Makinson's expectation-based inference, Pearl's System Z and possibilistic logic.