Towards an automatic uncertainty compiler

Gray, Nicholas and de Angelis, Marco and Ferson, Scott (2023) Towards an automatic uncertainty compiler. International Journal of Approximate Reasoning, 160. 108951. ISSN 0888-613X (https://doi.org/10.1016/j.ijar.2023.108951)

[thumbnail of Gray-etal-IJAR-2023-Towards-an-automatic-uncertainty-compiler]
Preview
Text. Filename: Gray_etal_IJAR_2023_Towards_an_automatic_uncertainty_compiler.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo

Download (666kB)| Preview

Abstract

An uncertainty compiler is a tool that automatically translates original computer source code lacking explicit uncertainty quantification into code containing appropriate uncertainty representations and uncertainty propagation algorithms. It handles the specifications of input uncertainties, and inserts calls to intrusive uncertainty quantification algorithms. In theory, one could create an uncertainty compiler for any scientific programming language. The uncertainty compiler can apply intrusive uncertainty propagation methods to codes or parts of codes and, therefore, more comprehensively and flexibly address epistemic and aleatory uncertainties. This paper explores the concept and the practicalities of creating such a compiler.