Added overview of UQ methods.

Epistemic UQ methods seem to be promising (interval analysis and
Dempster-Shafer theory of evidence).
The efficiency of these methods must be investigated and some examples
should be run.