Uncertainty quantification (UQ) is the science of quantitative characterization and reduction of uncertainties

Uncertainty

Uncertainty is a term used in subtly different ways in a number of fields, including physics, philosophy, statistics, economics, finance, insurance, psychology, sociology, engineering, and information science...

 in applications. It tries to determine how likely certain outcomes are if some aspects of the system are not exactly known. An example would be to predict the acceleration of a human body in a head-on crash with another car: even if we exactly knew the speed, small differences in the manufacturing of individual cars, how tightly every bolt has been tightened, etc., will lead to different results that can only be predicted in a statistical sense.

Many problems in the natural sciences and engineering are also rife with sources of uncertainty. Computer simulation modeling is the most commonly used approach to study problems in uncertainty quantification (UQ).

Reasons for uncertainties

Uncertainty can enter numerical or mathematical models in various contexts. For example:

1. The model structure, i.e., how accurately a mathematical model
   Mathematical model
   A mathematical model is a description of a system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modeling. Mathematical models are used not only in the natural sciences and engineering disciplines A mathematical model is a...
   
    describes the true system for a real-life situation, may only be known approximately. Models are almost always only approximations to reality. For example, the Maxwell equations describe electromagnetic fields very well; yet, it is known that quantum electrodynamics
   Quantum electrodynamics
   Quantum electrodynamics is the relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quantum mechanics and special relativity is achieved...
   
    is the correct description if field strengths become large.
2. The numerical approximation, i.e., how appropriately a numerical method is used in approximating the operation of the system. Most models are too complicated to solve exactly. For example the finite element method
   Finite element method
   The finite element method is a numerical technique for finding approximate solutions of partial differential equations as well as integral equations...
   
    may be used to approximate the solution of a partial differential equation
   Partial differential equation
   In mathematics, partial differential equations are a type of differential equation, i.e., a relation involving an unknown function of several independent variables and their partial derivatives with respect to those variables...
   
   , but this introduces an error (the difference between the exact and the numerical solution).
3. Input and/or model parameters may only be known approximately. For example, simulating the take-off of an airplane would require us to know the exact wind speed everywhere along the runway, but we may only have data for a few individual locations.
4. Input and/or model parameters may vary between different instances of the same object for which predictions are sought. As an example, the wings of two different airplanes of the same type may have been fabricated to the same specifications, but will nevertheless differ by small amounts due to fabrication process differences. Computer simulations therefore almost always consider only idealized situations.

Uncertainties can be classified into different categories:

1. Aleatoric or statistical uncertainties are unknowns that differ each time we run the same experiment. In the example above, even if we could exactly control the wind speeds along the run way, if we let 10 planes of the same make start their trajectories would still differ due to fabrication differences. Similarly, if all we knew is that the average wind speed is the same, letting the same plane start 10 times would still yield different trajectories because we do not know the exact wind speed at every point of the runway, only its average. Statistical uncertainties are therefore something an experimenter can not do anything about: they exist, and they can not be suppressed by more accurate measurements.
2. Epistemic or systematic uncertainties are due to things we could in principle know but don't in practice. This may be because we have not measured a quantity sufficiently accurately, or because our model neglects certain effects, or because particular data are deliberately hidden.

In real life applications, both kinds of uncertainties are often present. Uncertainty quantification intends to work toward reducing type 2 uncertainties to type 1. The quantification for the type 1 uncertainty is relatively straightforward to perform. Techniques such as Monte Carlo method

Monte Carlo method

Monte Carlo methods are a class of computational algorithms that rely on repeated random sampling to compute their results. Monte Carlo methods are often used in computer simulations of physical and mathematical systems...

s are frequently used. Pdf can be represented by its moments

Moment (mathematics)

In mathematics, a moment is, loosely speaking, a quantitative measure of the shape of a set of points. The "second moment", for example, is widely used and measures the "width" of a set of points in one dimension or in higher dimensions measures the shape of a cloud of points as it could be fit by...

 (in the Gaussian case,the mean

Mean

In statistics, mean has two related meanings:* the arithmetic mean .* the expected value of a random variable, which is also called the population mean....

 and covariance

Covariance

In probability theory and statistics, covariance is a measure of how much two variables change together. Variance is a special case of the covariance when the two variables are identical.- Definition :...

 suffice), or more recently, by techniques such as Karhunen-Loève

Karhunen-Loève theorem

In the theory of stochastic processes, the Karhunen–Loève theorem is a representation of a stochastic process as an infinite linear combination of orthogonal functions, analogous to a Fourier series representation of a function on a bounded interval...

 and polynomial chaos

Polynomial chaos

Polynomial chaos , also called "Wiener Chaos expansion", is a non-sampling based method to determine evolution of uncertainty in dynamical system, when there is probabilistic uncertainty in the system parameters....

 expansions. To evaluate type 2 and 3 uncertainties, the efforts are made to gain better knowledge of the system, process or mechanism. Methods such as fuzzy logic

Fuzzy logic

Fuzzy logic is a form of many-valued logic; it deals with reasoning that is approximate rather than fixed and exact. In contrast with traditional logic theory, where binary sets have two-valued logic: true or false, fuzzy logic variables may have a truth value that ranges in degree between 0 and 1...

 or evidence theory (Dempster–Shafer theory - generalization of Bayes theory) are used.