Efficient Checking of Coherence and Propagation of Imprecise Probability Assessments

We consider the computational difficulties in the checking of coherence and propagation of imprecise probability assessments. We examine the linear structure of the random gain in betting criterion and we propose a general methodology which exploits suitable subsets of the set of values of the random gain. In this way the checking of coherence and propagation amount to examining linear systems with a reduced number of unknowns. We also illustrate an example.