Symbolic Possibilistic Logic: Completeness and Inference Methods - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Symbolic Possibilistic Logic: Completeness and Inference Methods

Résumé

This paper studies the extension of possibilistic logic to the case when weights attached to formulas are symbolic and stand for variables that lie in a totally ordered scale, and only partial knowledge is available on the relative strength of these weights. A proof of the soundness and the completeness of this logic according to the relative certainty semantics in the sense of necessity measures is provided. Based on this result, two syntactic inference methods are presented. The first one calculates the necessity degree of a possibilistic formula using the notion of minimal inconsistent sub-base. A second method is proposed that takes inspiration from the concept of ATMS. Notions introduced in that area, such as nogoods and labels, are used to calculate the necessity degree of a possibilistic formula. A comparison of the two methods is provided, as well as a comparison with the original version of symbolic possibilistic logic.
Fichier principal
Vignette du fichier
cayrol_15404.pdf (156.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01334712 , version 1 (21-06-2016)

Identifiants

Citer

Claudette Cayrol, Didier Dubois, Fayçal Touazi. Symbolic Possibilistic Logic: Completeness and Inference Methods. 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015), Jul 2015, Compiègne, France. pp.485-495, ⟨10.1007/978-3-319-20807-7_44⟩. ⟨hal-01334712⟩
89 Consultations
258 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More