Skip to main content
SpringerLink
Log in

The qualitative verification of quantitative uncertainty

  • Probabilistic, Statistical and Informational Methods
  • Conference paper
  • First Online:
Advances in Intelligent Computing — IPMU '94 (IPMU 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 945))

  • 177 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bobrow, D. G. Qualitative Reasoning about Physical Systems, North-Holland, Amsterdam, 1984.

    Google Scholar 

  2. Druzdzel, M. and Henrion, M. Belief propagation in qualitative probabilistic networks, in: N. Piera Carreté and M. G. Singh (Eds.) Qualitative reasoning and decision technologies, CIMNE, Barcelona, 1993.

    Google Scholar 

  3. Parsons, S. Qualitative methods for reasoning under uncertainty, MIT Press, (to appear).

    Google Scholar 

  4. Parsons, S. and Mamdani E. H. On reasoning in networks with qualitative uncertainty, Proc of the 9th Conf. on Uncertainty in AI, Washington DC, 1993.

    Google Scholar 

  5. Parsons, S. and Saffiotti, A. The qualitative verification and debugging of qualitative uncertainty: a case study, Technical Report TR/IRIDIA/93-1, Université Libre de Bruxelles, Brussels, B, 1993.

    Google Scholar 

  6. Pearl, J. Probabilistic reasoning in intelligent systems: networks of plausible inference, Morgan Kaufman, San Mateo, CA, 1988.

    Google Scholar 

  7. Saffiotti, A., and Umkehrer, E. Pulcinella User's Manual, Technical Report TR/IRIDIA/91-5, Université Libre de Bruxelles, Brussels, B, 1991.

    Google Scholar 

  8. Saffiotti, A. and Umkehrer, E. Pulcinella: a tool for propagating uncertainty by local computation. Proc. of the 6th Conf. on Uncertainty in AI, Los Angeles, CA, 1991.

    Google Scholar 

  9. Shafer, G. A mathematical theory of evidence, Princeton University Press, Princeton, NJ, 1976.

    Google Scholar 

  10. Shenoy, P. P. Valuation Based Systems, Working Paper 226, School of Business, University of Kansas, 1991.

    Google Scholar 

  11. Shenoy, P. P. and Shafer, G. Axioms for probability and belief function propagation, in: R. D. Shachter, T. S. Levitt, L. N. Kanal, and J. F. Lemmer, (Eds.) Uncertainty in AI 4, (Elsevier, North-Holland, 1990.

    Google Scholar 

  12. Smets, P and Keinnes, R. The transferable belief model, Artificial Intelligence, 66, 1994.

    Google Scholar 

  13. Wellman, M. P. Fundamental concepts of qualitative probabilistic networks, Artificial Intelligence, 44, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Advanced Computation Laboratory, Imperial Cancer Research Fund, Lincoln's Inn Fields, P.O. Box 123, WC2A 3PX, London, UK

    Simon Parsons

  2. Department of Electronic Engineering, Queen Mary and Westfield College, Mile End Road, E1 4NS, London, UK

    Simon Parsons

  3. IRIDIA, Université Libre de Bruxelles, 50 av. Roosevelt, CP 194-6, B-1050, Bruxelles, Belgium

    Alessandro Saffiotti

Authors
  1. Simon Parsons
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandro Saffiotti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernadette Bouchon-Meunier Ronald R. Yager Lotfi A. Zadeh

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parsons, S., Saffiotti, A. (1995). The qualitative verification of quantitative uncertainty. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Advances in Intelligent Computing — IPMU '94. IPMU 1994. Lecture Notes in Computer Science, vol 945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035949

Download citation

  • DOI: https://doi.org/10.1007/BFb0035949

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60116-6

  • Online ISBN: 978-3-540-49443-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation