All possible computed results in correct floating-point summation

Pichat, Michaël

doi:10.1016/0378-4754(88)90075-4

Cited by 1 publication

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another method, which has been presented several times by Vignes et a1 [1, 21,260,647,842,8431, is called the Permutation-Perturbation method or CESTAC (Contr6le et Estimation Stochastique des Arrondis de Calcul). The basic idea is to consider the 2" perturbations of a result of an n stage numerical computation obtained by perturbing each operation by an appropriate amount positively or negatively.…”

Section: Permutation-perturbation and Related Methodsmentioning

confidence: 99%

Probabilistic arithmetic

Williamson¹

View full text Add to dashboard Cite

This thesis develops the idea of probabilistic arithmetic. The aim is to replace arithmetic operations on numbers with arithmetic operations on random variables. Specifically, we are interested in numerical methods of calculating convolutions of probability distributions. The long-term goal is to be able to handle random problems (such as the determination of the distribution of the roots of random algebraic equations) using algorithms which have been developed for the deterministic case. To this end, in this thesis we survey a number of previously proposed methods for calculating convolutions and representing probability distributions and examine their defects. We develop some new results for some of these methods (the Laguerre transform and the histogram method), but ultimately find them unsuitable. We find that the details on how the ordinary convolution equations are calculated are secondary to the difficulties arising due to dependencies.When random variables appear repeatedly in an expression it is not possible to determine the distribution of the overall expression by pairwise application of the convolution relations. We propose a method for partially overcoming this problem in the form of dependency bounds. These are bounds on the distribution of a function of random variables when only the marginal distributions of the variables are known. They are based on the Frkchet bounds for joint distribution functions.We develop efficient numerical methods for calculating these dependency bounds and show how they can be extended in a number of ways. Furthermore we show how they are related to the "extension principle" of fuzzy set theory which allows the calculation of functions of fuzzy variables. We thus provide a probabilistic interpretation of fuzzy variables. We also study the limiting behaviour of the dependency bounds. This shows the usefulness of interval arithmetic in some situations. The limiting result also provides a general law of large numbers for fuzzy variables. Interrelationships with a number of other ideas are also discussed.A number of potentially fruitful areas for future research are identified and the possible applications of probabilistic arithmetic, which include management of numeric uncertainty in artificial intelligence systems and the study of random systems, are discussed. Whilst the solution of random algebraic equations is still a long way off, the notion of dependency bounds developed in this thesis would appear to be of independent interest. The bounds are useful for determining robustness of independence assumptions: one can determine the range of possible results when nothing is known about the joint dependence structure of a set of random variables.

show abstract

Section: Permutation-perturbation and Related Methodsmentioning

confidence: 99%

Probabilistic arithmetic

Williamson¹

View full text Add to dashboard Cite

show abstract

All possible computed results in correct floating-point summation

Cited by 1 publication

References 6 publications

Probabilistic arithmetic

Probabilistic arithmetic

Contact Info

Product

Resources

About