A Logical Approach to Reasoning about Uncertainty: A Tutorial

  • J. Y. Halpern
Part of the Philosophical Studies Series book series (PSSP, volume 72)


Uncertainty is a fundamental—and unavoidable—feature of daily life. In order to deal with uncertainty intelligently, we need to be able to represent it and reason about it. These notes describe a systematic approach for doing so. I have made no attempt to be comprehensive here; I have been guided by my biases and my own research.


Probability Space Modal Logic Logical Approach Truth Assignment Kripke Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bar-Hillel, M. and R. Falk (1982) Some teasers concerning conditional probabilities. Cognition 11:109–122.CrossRefGoogle Scholar
  2. Dubois, D. and H. Prade (1990) An introduction to possibilistic and fuzzy logics. In G. Shafer and J. Pearl, editors. Readings in Uncertain Reasoning. Morgan Kaufmann. San Francisco, Calif.Google Scholar
  3. Fagin, R. and J. Y. Halpern (1994) Reasoning about knowledge and probability. Journal of the ACM 41(2):340–367.CrossRefGoogle Scholar
  4. Fagin, R., J. Y. Halpern, and N. Megiddo (1990) A logic for reasoning about probabilities. Information and Computation, 87(1/2):78–128.CrossRefGoogle Scholar
  5. Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi (1995) Reasoning about Knowledge. MIT Press. Cambridge, Mass.Google Scholar
  6. Fine, T. L. (1973) Theories of Probability. Academic Press, New York.Google Scholar
  7. Freund, J. E. (1965) Puzzle or paradox? American Statistician. 19(4):29–44.Google Scholar
  8. Friedman, N. and J. Y. Halpern (1994) A knowledge-based framework for belief change. Part I: foundations. In R. Fagin, editor. Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, pages 44–64. Morgan Kaufmann. San Francisco, Calif.Google Scholar
  9. Friedman, N. and J. Y. Halpern (1995a) Modeling belief in dynamic systems. Part I: foundations. TechnicalGoogle Scholar
  10. Report RJ9965. IBM. Available by anonymous ftp from or via WWW at To appear, Artificial Intelligence.
  11. Friedman, N. and L. Y. Halpern (1995b) Plausibility measures: a user’s manual. In P. Besnard and S. Hanks, editors, Proc. Eleventh Conference on Uncertainty in Artificial Intelligence (UAI ‘95). Morgan Kaufmann, San Francisco, Calif.Google Scholar
  12. Halpern, J. Y. and M. R. Tultle (1993) Knowledge, probability, and adversaries. Journal of the ACM, 40(4):917–962.CrossRefGoogle Scholar
  13. Halpern, J. Y. and M. Y. Vardi (1989) The complexity of reasoning about knowledge and time, I: lower bounds. Journal of Computer and System Sciences, 38(1): 195–237.CrossRefGoogle Scholar
  14. Halpern, J. Y. and R. Fagin (1989) Modelling knowledge and action in distributed systems. Distributed Computing, 3(4): 159–179. A preliminary version appeared in Proc. 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title “A formal model of knowledge, action, and communication in distributed systems: preliminary report”.CrossRefGoogle Scholar
  15. Halpern, J. Y. and Y. Moses (1992) A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379.CrossRefGoogle Scholar
  16. Hintikka, J. (1962) Knowledge and Belief Cornell University Press, Ithaca, N.Y.Google Scholar
  17. Hughes, G. E. and M. J. Cresswell (1968) An Introduction to Modal Logic. Methuen, London.Google Scholar
  18. Kraus, S., D. Lehmann, and M. Magidor (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence. 44:167–207.CrossRefGoogle Scholar
  19. Morgan, J. P., N. R. Chaganty, R. C. Dahiya, and M. J. Doviak (1991) Let’s make a deal: the player’s dilemma (with commentary). The American Statistician, 45(4):284–289.Google Scholar
  20. Pearl, J. (1988) Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco, Calif.Google Scholar
  21. vos Savant, M. (1991) Ask Marilyn. Parade Magazine, Sept. 9. 1990; Dec. 2, 1990; Feb. 17, 1991.Google Scholar
  22. Shafer, G. (1976) A Mathematical Theory of Evidence. Princeton University Press, Princeton, N.J.Google Scholar
  23. Shafer, G. (1985) Conditional probability. International Statistical Review. 53(3):261–277.CrossRefGoogle Scholar
  24. Spohn, W. (1987) Ordinal conditional functions: a dynamic theory of epistemic states. In W. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, volume 2, pages 105–134. Reidel, Dordrecht, Holland.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

  • J. Y. Halpern
    • 1
  1. 1.Computer Science DepartmentCornell UniversityIthacaUSA

Personalised recommendations