Automatically Verified Arithmetic on Probability Distributions and Intervals

  • Daniel Berleant
Part of the Applied Optimization book series (APOP, volume 3)


In this chapter we address two related problems:
  1. 1.

    Representing and operating on operands which are probability distribution functions; and

  2. 2.

    Representing and operating on operands when one is a distribution function and the other is an interval.


We discuss how to do these operations and get automatically verified results, using a method based on histograms. Histograms are composed of bars, each with an associated interval and probability mass. A histogram discretizes a probability distribution function in that each bar represents a portion of it, with the area of the bar equal to the area of the distribution function over that part of its domain corresponding to the interval-valued portion of the x-axis under the bar.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S. Ahmed, R. E. Clark, and D. R. Metcalf, “A Method for Propagating Uncertainty in Probabilistic Risk Assessment,” Nuclear Technology, 1982, Vol. 59, pp. 238–245.Google Scholar
  2. [2]
    D. Berleant, “Automatically Verified Reasoning with Both Intervals and Probability Density Functions,” Interval Computations, 1993, No. 2, pp. 48–70.MathSciNetGoogle Scholar
  3. [3]
    H. Cheng and D. Berleant, “A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions,” submitted to the International Journal Reliable Computing.Google Scholar
  4. [4]
    A. G. Colombo and R. J. Jaarsma, “A Powerful Numerical Method to Combine Random Variables”, IEEE Transactions on Reliability, 1980, Vol. R-29, No. 2, pp. 126–129.CrossRefGoogle Scholar
  5. [5]
    F. Corsi, “Mathematical Models for Marginal Reliability Analysis,” Microelectronics and Reliability, 1983, Vol. 23, No. 6, pp. 1087–1102.CrossRefGoogle Scholar
  6. [6]
    V. A. Gerasimov, B. S. Dobronets, and M. Yu. Shustrov, “Numerical Calculations for Histogram Operations and their Applications,” Avtomatika i Telemekhanika, 1991, Vol. 52, No. 2.Google Scholar
  7. [7]
    E. Hyvönen, Constraint Reasoning on Probability Distributions, manuscript (1995), author is at VTT Information Technology, P.O. Box 1201, 02044 VTT, Finland.Google Scholar
  8. [8]
    G. E. Ingram, E. L. Welker, and C. R. Herrmann, “Designing for Reliability Based on Probabilistic Modeling Using Remote Access Computer Systems”, Proceedings 7th Reliability and Maintainability Conference, American Society of Mechanical Engineers, 1968, pp. 492–500.Google Scholar
  9. [9]
    P. S. Jackson, R. W. Hockenbury, and M. L. Yeater, “Uncertainty Analysis of System Reliability and Availability Assessment”, Nuclear Engineering and Design, 1981, Vol. 68, 1981, pp. 5–29.Google Scholar
  10. [10]
    S. Kaplan, “On the Method of Discrete Probability Distributions in Risk and Reliability Calculations — Application to Seismic Risk Assessment,” Risk Analysis, 1981, Vol. 1, No. 3, pp. 189–196.CrossRefGoogle Scholar
  11. [11]
    A. Kolmogoroff (a. k. a. Kolmogorov), “Confidence Limits for an Unknown Distribution Function,” Annals of Mathematical Statistics, 1941, Vol. 12, No. 4, pp. 461–463.MathSciNetzbMATHCrossRefGoogle Scholar
  12. [12]
    H. Levy, “Stochastic Dominance and Expected Utility: Survey and Analysis,” Management Science, 1992, Vol. 38, No. 4, pp. 555–593.zbMATHCrossRefGoogle Scholar
  13. [13]
    A. S. Moore, “Interval Risk Analysis of Real Estate Investment: A Non-Monte Carlo Approach,” Freiburger Intervall-Berichte, 1985, Vol. 85 /3, pp. 23–49.Google Scholar
  14. [14]
    R. E. Moore, “Risk Analysis Without Monte Carlo Methods,” Freiburger Intervall-Berichte, 1984, Vol. 84 /1, pp. 1–48.Google Scholar
  15. [15]
    G. V. Post and J. D. Diltz, “A Stochastic Dominance Approach to Risk Analysis of Computer Systems,” Management Information Systems Quarterly, 1986, Vol. 10, pp. 363–375.CrossRefGoogle Scholar
  16. [16]
    A. M. Rushdi and K. F. Kafrawy, “Uncertainty Propagation in Fault-Tree Analyses Using an Exact Method of Moments,” Microelectronics and Reliability, 1988, Vol. 28, No. 6, pp. 945–965.CrossRefGoogle Scholar

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Daniel Berleant
    • 1
  1. 1.Dept. of Computer Systems EngineeringUniversity of ArkansasFayettevilleUSA

Personalised recommendations