On cautiousness and expressiveness in interval-valued logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

On cautiousness and expressiveness in interval-valued logic

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
36 View
57 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More