Skip to Main content Skip to Navigation
Journal articles

The Possibilistic Handling of Irrelevance in exception-Tolerant Reasoning

Abstract : In nonmonotonic reasoning, the preferential system P is known to provide reasonable but very cautious conclusions, and in particular, preferential inference is blocked by the presence of “irrelevant” properties. When using Lehmann's rational closure, the inference machinery, which is then more productive, may still remain too cautious. These two types of inference can be represented using a possibility theory-based semantics. To overcome the cautiousness of system P, we first progressively augment preferential inference with two extensions which are in between system P and rational closure. Then, in order to overcome some remaining limitations of rational closure the second half of this paper focuses more particularly on the use of (contextual) independence assumptions of the form: the fact that δ is true (or is false) does not affect the validity of the rule “normally if α then β”. The modelling of such independence assumptions is discussed in the possibilistic framework. Algorithms are provided to jointly handle default rules and independence relations, and to check their multual consistency.
Document type :
Journal articles
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03299566
Contributor : Fabien Delorme <>
Submitted on : Monday, July 26, 2021 - 3:24:42 PM
Last modification on : Friday, September 10, 2021 - 11:43:50 AM

Links full text

Identifiers

Citation

Salem Benferhat, Didier Dubois, Henri Prade. The Possibilistic Handling of Irrelevance in exception-Tolerant Reasoning. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2002, 35, pp.29-61. ⟨10.1023/A:1014537925523⟩. ⟨hal-03299566⟩

Share

Metrics

Record views

18