Skip to main content

An extended logic language for representing belief

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Uncertainty (ECSQARU 1991)

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

  • 138 Accesses

Abstract

The DRUMS project is addressing a variety of symbolic and numerical techniques for reasoning under uncertainty and with incomplete information. This paper discusses work which is directed towards identifying a unifying framework which will enable a variety of uncertainty handling techniques to be integrated in a single programming environment.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dawes R M, 1979, “The robust beauty of improper linear models in decision making”, American Psychologist 34 pp 571–582.

    Google Scholar 

  2. Donnai M, Krause P and Parsons S, 1991, Using symbolic distances among heterogeneous hypotheses as a relative measure of their uncertainty Technical Report, Advanced Computation Laboratory, Imperial Cancer Research Fund.

    Google Scholar 

  3. Fox J, 1986, “Three Arguments for Extending the Framework of Probability” in Kanal L N and Lenner J F (eds), Uncertainty and Artificial Intelligence, Elsevier Science Publishers.

    Google Scholar 

  4. Fox J and Krause P J, 1990, “Combining symbolic and numerical methods for defeasible reasoning” Proceedings of Colloquium on Uncertainty Management, Institute of Electrical Engineers, London.

    Google Scholar 

  5. Fox J and Krause P J, 1991, “Symbolic Decision Theory and Autonomous Systems” in D'Ambrosio B D, Smets P and Bonissone P P (eds), Uncertainty in Artificial Intelligence: Proceedings of the Seventh Conference, San Mateo, Calif.: Morgan Kaufmann.

    Google Scholar 

  6. Hajnal S, Fox J and Krause P, 1990, Sceptic User Manual Technical Report, Advanced Computation Laboratory, Imperial Cancer Research Fund.

    Google Scholar 

  7. Krause P J and Fox J, 1991 “Combining symbolic and numerical methods for reasoning under uncertainty” in AI and Computer Power: The Impact on Statistics, Unicom Seminars Ltd.

    Google Scholar 

  8. Lauritzen S L and Spiegelhalter D, 1988, “Local computations with probabilities on graphical structures and their application to expert systems” J Roy. Statist. Soc. B 50 (2) pp 157–224.

    Google Scholar 

  9. Parsons S and Fox J, 1991, “Qualitative and interval algebras for robust decision making under uncertainty” in Proceedings of IMACS Workshop on Qualitative Reasoning and Decision Support Systems, Toulouse, France.

    Google Scholar 

  10. Pearl J, 1988, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, San Mateo, Calif.: Morgan Kaufmann.

    Google Scholar 

  11. Shafer G, Shenoy P and Mellouli, 1987, “Propagating Belief Functions in Qualitative Markov Trees”, International Journal of Approximate Reasoning 1 pp 349–400.

    Google Scholar 

  12. Wellman M P, 1990, “Fundamental Concepts of Qualitative Probabilistic Networks”, Artificial Intelligence 44 pp 257–303.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Rudolf Kruse Pierre Siegel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fox, J., Krause, P., Dohnal, M. (1991). An extended logic language for representing belief. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_67

Download citation

  • DOI: https://doi.org/10.1007/3-540-54659-6_67

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54659-7

  • Online ISBN: 978-3-540-46426-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics