On cautiousness and expressiveness in interval-valued logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

On cautiousness and expressiveness in interval-valued logic

Résumé

In this paper, we study how cautious conclusions should be taken when considering interval-valued propositional logic, that is logic where to each formula is associated a real-valued interval providing imprecise information about the penalty incurred for falsifying this formula. We work under the general assumption that the weights of falsified formulas are aggregated through a non-decreasing commutative function, and that an interpretation is all the more plausible as it is less penalized. We then formulate some dominance notions, as well as properties that such notions should follow if we want to draw conclusions that are at the same time informative and cautious. We then discuss the dominance notions in light of such properties.
Fichier principal
Vignette du fichier
Cautious_inferences_in_interval_valued_logic.pdf (249.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02416057 , version 1 (17-12-2019)

Identifiants

Citer

Sébastien Destercke, Sylvain Lagrue. On cautiousness and expressiveness in interval-valued logic. 13th International Conference on Scalable Uncertainty Management (SUM 2019), Dec 2019, Compiègne, France. pp.280-288, ⟨10.1007/978-3-030-35514-2_21⟩. ⟨hal-02416057⟩
54 Consultations
99 Téléchargements

Altmetric

Partager

More