TY - CONF

T1 - Algorithms for coherence checking and propagation of conditional probability bounds

AU - Sanfilippo, Giuseppe

PY - 2001

Y1 - 2001

N2 - In this paper, we propose some algorithms for the checkingof generalized coherence (g-coherence) and for the extension of impreciseconditional probability assessments. Our concept of g-coherence is ageneralization of de Finetti’s coherence principle and is equivalent to the”avoiding uniform loss” property for lower and upper probabilities (a laWalley). By our algorithms we can check the g-coherence of a given impreciseassessment and we can correct it in order to obtain the associatedcoherent assessment (in the sense of Walley and Williams). Exploitingsome properties of the random gain we show how, in the linear systemsinvolved in our algorithms, we can work with a reduced set of variablesand a reduced set of linear constraints. We also show how to computesuch reduced sets. Finally, we illustrate our methods by an example relatedto probabilistic default reasoning.

AB - In this paper, we propose some algorithms for the checkingof generalized coherence (g-coherence) and for the extension of impreciseconditional probability assessments. Our concept of g-coherence is ageneralization of de Finetti’s coherence principle and is equivalent to the”avoiding uniform loss” property for lower and upper probabilities (a laWalley). By our algorithms we can check the g-coherence of a given impreciseassessment and we can correct it in order to obtain the associatedcoherent assessment (in the sense of Walley and Williams). Exploitingsome properties of the random gain we show how, in the linear systemsinvolved in our algorithms, we can work with a reduced set of variablesand a reduced set of linear constraints. We also show how to computesuch reduced sets. Finally, we illustrate our methods by an example relatedto probabilistic default reasoning.

KW - Uncertain knowledge

KW - algorithms

KW - computational aspects

KW - g-coherence checking

KW - g-coherent extension

KW - imprecise
conditional probability assessments

KW - probabilistic reasoning under coherence

KW - reduced
sets of linear constraints.

KW - reduced sets of variables

KW - Uncertain knowledge

KW - algorithms

KW - computational aspects

KW - g-coherence checking

KW - g-coherent extension

KW - imprecise
conditional probability assessments

KW - probabilistic reasoning under coherence

KW - reduced
sets of linear constraints.

KW - reduced sets of variables

UR - http://hdl.handle.net/10447/51887

M3 - Other

SP - 125

EP - 135

ER -