Expressing independence in a possibilistic framework and its application to default reasoning - Archive ouverte HAL Access content directly
Conference Papers Year : 1994

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
Not file

Dates and versions

hal-03299848 , version 1 (26-07-2021)

Identifiers

  • HAL Id : hal-03299848 , version 1

Cite

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⟩
21 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More