We study probabilistically informative (weak) versions of transitivity, by using suitable definitions of defaults and negated defaults, in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving the p-entailment for the associated knowledge bases.
Gilio, A., Pfeifer, N., Sanfilippo, G. (2015). Transitive Reasoning with Imprecise Probabilities. In S. Destercke, T. Denoeux (a cura di), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings (pp. 95-105). Springer [10.1007/978-3-319-20807-7_9].
Transitive Reasoning with Imprecise Probabilities
SANFILIPPO, Giuseppe
2015-01-01
Abstract
We study probabilistically informative (weak) versions of transitivity, by using suitable definitions of defaults and negated defaults, in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving the p-entailment for the associated knowledge bases.File | Dimensione | Formato | |
---|---|---|---|
GPS_2015_ECSQUARU_Chapter_2F978-3-319-20807-7_9.pdf
Solo gestori archvio
Descrizione: Articolo originale
Dimensione
260.37 kB
Formato
Adobe PDF
|
260.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.