Handling uncertainty and defeasibility in a possibilistic logic setting

  • Authors:
  • Florence Dupin de Saint-Cyr;Henri Prade

  • Affiliations:
  • IRIT, Université Paul Sabatier, 31062 Toulouse Cedex 9, France;IRIT, Université Paul Sabatier, 31062 Toulouse Cedex 9, France

  • Venue:
  • International Journal of Approximate Reasoning
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Default rules express concise pieces of knowledge having implicit exceptions, which is appropriate for reasoning under incomplete information. Specific rules that explicitly refer to exceptions of more general default rules can then be handled in a non-monotonic setting. However, there is no assessment of the certainty with which the conclusion of a default rule holds when it applies. We propose a formalism in which uncertain default rules can be expressed, but still preserving the distinction between the defeasibility and uncertainty semantics by means of a two steps processing. Possibility theory is used for representing both uncertainty and defeasibility. The approach is illustrated in persistence modeling problems.