Syntactic computation of Fagin-Halpern conditioning in possibility theory - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Syntactic computation of Fagin-Halpern conditioning in possibility theory

Résumé

Conditioning plays an important role in revising uncertain information in light of new evidence. This work focuses on the study of Fagin and Halpern (FH-)conditioning in the context where uncertain information is represented by weighted or possibilistic belief bases. Weighted belief bases are extensions of classical logic belief bases where a weight or degree of belief is associated with each propositional logic formula. This paper proposes a characterization of a syntactic computation of the revision of weighted belief bases (in the light of new information) which is in full agreement with the semantics of the FH- conditioning of possibilistic distributions. We show that the size of the revised belief base is linear with respect to the size of the initial base and that the computational complexity amounts to performing O(log2(n)) calls to the propositional logic satisfiability tests, where n is the number of different degrees of certainty used in the initial belief base.
Fichier principal
Vignette du fichier
Syntactic_computation_of_Fagin-Halpern_conditioning_in_possibility_theory.pdf (455.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04377873 , version 1 (08-01-2024)

Identifiants

Citer

Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne. Syntactic computation of Fagin-Halpern conditioning in possibility theory. LPAR 2023 - 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jun 2023, Manizales, Colombia. pp.164-146, ⟨10.29007/9pjn⟩. ⟨hal-04377873⟩
37 Consultations
14 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More