Article Dans Une Revue International Journal of Approximate Reasoning Année : 2025

Analysis of the syntactic computation of Fagin-Halpern conditioning in possibilistic logic

Résumé

Conditioning is an essential operation in knowledge representation and uncertainty modeling. It enables a priori beliefs to be adjusted in response to new information considered to be fully certain. This work focuses on the computation of Fagin and Halpern (FH-)conditioning in the context where uncertain information is represented by weighted or possibilistic logic 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 the 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 possibility 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. The last section of this paper examines both semantically and syntactically FH-conditioning under uncertain information, within the framework of possibility theory.

Fichier principal
Vignette du fichier
1-s2.0-S0888613X2500091X-main.pdf (1.61 Mo) Télécharger le fichier
Origine Publication financée par une institution
Licence

Dates et versions

hal-05035649 , version 1 (15-04-2025)

Licence

Identifiants

Citer

Omar Et-Targuy, Salem Benferhat, Carole Delenne, Ahlame Begdouri. Analysis of the syntactic computation of Fagin-Halpern conditioning in possibilistic logic. International Journal of Approximate Reasoning, 2025, 183, pp.109450. ⟨10.1016/j.ijar.2025.109450⟩. ⟨hal-05035649⟩
210 Consultations
160 Téléchargements

Altmetric

Partager

  • More