1996 | OriginalPaper | Buchkapitel
Automatically Verified Arithmetic on Probability Distributions and Intervals
verfasst von : Daniel Berleant
Erschienen in: Applications of Interval Computations
Verlag: Springer US
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter we address two related problems: 1.Representing and operating on operands which are probability distribution functions; and2.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.