Skip to Main content Skip to Navigation
Conference papers

Expressing independence in a possibilistic framework and its application to default reasoning

Abstract : Possibility theory offers a general framework for dealing with default rules of the form "generally, if p, then q" which are modelled by constraints expressing that having p and q true is strictly more possible than having p and not q true. Then possibilistic logic offers an inference machinery for default reasoning which obeys classical postulates for nonmonotonic reasoning including rational monotony. In this paper after presenting an overview of the possibilistic approach to default reasoning, we discuss how to express independence information of the type "in context p, the truth or the falsity of r has no influence on the truth of q". A brief discussion of the modelling of independence in possibility theory is provided. Taking into account independence assumptions leads to supplement the given set of defaults with more specific defaults; this allows to deal with independence information in a way homogeneous with defaults, and to solve blocking of property inheritance problems
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 4:56:32 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:20 PM


  • HAL Id : hal-03299848, version 1


Salem Benferhat, Didier Dubois, Henri Prade. Expressing independence in a possibilistic framework and its application to default reasoning. 11th European Conference on Artificial Intelligence (ECAI 1994), Aug 1994, Amsterdam, Netherlands. pp.150-154. ⟨hal-03299848⟩



Les métriques sont temporairement indisponibles