Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion

Résumé

Provenance calculus has been introduced, about fifteen years ago, for complementing relational algebra calculations in databases, with semiring operations in order to handle data lineage, incomplete or probabilistic information. Possibilistic logic has started to be developed twenty years before, initially for dealing with epistemic uncertainty, using the max-min semiring. Since then, several variants and generalizations of possibilistic logic have been proposed, involving various semirings. All these forms of possibilistic logic are surveyed and paralleled with provenance calculus, through logical counterparts of relational algebra operations. The paper ends with a discussion of the parallel between the two research trends.
Fichier principal
Vignette du fichier
provenance (13).pdf (300.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04414547 , version 1 (24-01-2024)

Identifiants

Citer

Salem Benferhat, Didier Dubois, Henri Prade. Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion. 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), CRIL, Université d’Artois - CNRS, Sep 2023, Arras, France. pp.427-441, ⟨10.1007/978-3-031-45608-4_32⟩. ⟨hal-04414547⟩
32 Consultations
51 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More