The Qualitative Verification of Quantitative Uncertainty
Advances in Intelligent Computing, B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh (eds.)
We introduce a new application of qualitative models of uncertainty. The qualitative analysis of a numerical model of uncertainty reveals the qualitative behaviour of that model when new evidence is obtained. This behaviour can be compared with an expert's specifications to identify those situations in which the model does not behave as expected. We report the result of experiments performed using a probability model, and a model based on the Dempster-Shafer theory of evidence.
Qualitative analysis, verification, probability theory, Dempster-Shafer theory.
This paper is available as a Postscript file.
With the exception of some corrected typos this version is that which appeared in the book, one of the Springer-Verlag `Lecture Notes in Computer Science' series.
S.D.Parsons@csc.liv.ac.uk