Skip to Main content Skip to Navigation
Book sections

An overview of possibilistic logic and its application to nonmonotonic reasoning and data fusion

Abstract : This paper provides a brief survey of possibilistic logic as a simple and efficient tool for handling nonmonotonic reasoning and data fusion. In nonmonotonic reasoning, Lehmann’s 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. The paper proposes several safe ways to overcome the cautiousness of these systems. One of these ways takes advantage 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. This paper presents a general approach for fusing several ordered belief bases provided by different sources according to various modes. More precisely, the paper provides the syntactic counterparts of different ways of aggregating possibility distributions, well-known at the semantic level.
Document type :
Book sections
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300217
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 8:27:19 AM
Last modification on : Monday, September 13, 2021 - 4:01:00 PM

Identifiers

Citation

Salem Benferhat, Didier Dubois, Henri Prade. An overview of possibilistic logic and its application to nonmonotonic reasoning and data fusion. Giacomo Della Riccia; Rudolf KruseHanz-J. Lenz. Computational Intelligence in Data Mining, 408, Springer, pp.69-93, 2000, International Centre for Mechanical Sciences book series (CISM), 978-3-211-83326-1. ⟨10.1007/978-3-7091-2588-5_4⟩. ⟨hal-03300217⟩

Share

Metrics

Record views

37