Verified Computation with Probabilities

Abstract : Because machine calculations are prone to errors that can sometimes accumulate disastrously, computer scientists use special strategies called verified computation to ensure output is reliable. Such strategies are needed for computing with probability distributions. In probabilistic calculations, analysts have routinely assumed (i) probabilities and probability distributions are precisely specified, (ii) most or all variables are independent or otherwise have well-known dependence, and (iii) model structure is known perfectly. These assumptions are usually made for mathematical convenience, rather than with empirical justification, even in sophisticated applications. Probability bounds analysis computes bounds guaranteed to enclose probabilities and probability distributions even when these assumptions are relaxed or removed. In many cases, results are best-possible bounds, i.e., tightening them requires additional empirical information. This paper presents an overview of probability bounds analysis as a computationally practical implementation of the theory of imprecise probabilities that represents verified computation of probabilities and distributions.
Type de document :
Communication dans un congrès
Andrew M. Dienstfrey; Ronald F. Boisvert. 10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-377, pp.95-122, 2012, Uncertainty Quantification in Scientific Computing. 〈10.1007/978-3-642-32677-6_7〉
Liste complète des métadonnées

Littérature citée [74 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01518666
Contributeur : Hal Ifip <>
Soumis le : vendredi 5 mai 2017 - 10:55:51
Dernière modification le : vendredi 5 mai 2017 - 10:57:10
Document(s) archivé(s) le : dimanche 6 août 2017 - 12:32:33

Fichier

978-3-642-32677-6_7_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Scott Ferson, Jack Siegrist. Verified Computation with Probabilities. Andrew M. Dienstfrey; Ronald F. Boisvert. 10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. Springer, IFIP Advances in Information and Communication Technology, AICT-377, pp.95-122, 2012, Uncertainty Quantification in Scientific Computing. 〈10.1007/978-3-642-32677-6_7〉. 〈hal-01518666〉

Partager

Métriques

Consultations de la notice

29

Téléchargements de fichiers

42