Towards an automatic uncertainty compiler

Gray, Nicholas ORCID: 0000-0002-0930-4575, de Angelis, Marco ORCID: 0000-0001-8851-023X and Ferson, Scott ORCID: 0000-0002-2613-0650 (2023) Towards an automatic uncertainty compiler. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 160. p. 108951.

Access the full-text of this item by clicking on the Open Access link.

Official URL: http://dx.doi.org/10.1016/j.ijar.2023.108951

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.

Item Type:	Article
Uncontrolled Keywords:	Automatic uncertainty analysis, Uncertainty compiler, Probability bounds analysis
Divisions:	Faculty of Science and Engineering > School of Engineering
Depositing User:	Symplectic Admin
Date Deposited:	02 Jun 2023 16:13
Last Modified:	19 Aug 2023 23:58
DOI:	10.1016/j.ijar.2023.108951
Open Access URL:	https://www.sciencedirect.com/science/article/pii/...
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3170799