Default logic and Dempster-Shafer theory

  • Nic Wilson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 747)


A new version of Reiter's Default Logic is developed which has a number of advantages: it is computationally much simpler and has some more intuitive properties, such as cumulativity. Furthermore, it is shown that this Default Logic is a limiting case of a Dempster-Shafer framework, thereby demonstrating a strong connection between two apparently very different approaches to reasoning with uncertainty, and opening up the possibility of mixing default and numerical rules within the same framework.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Adams, E., 75, The Logic of Conditionals, Reidel, Boston.Google Scholar
  2. Bernouilli, J., 1713, Ars Conjectandi, Basel. Reprinted in 1968 by Culture et Civilisation, Brussels.Google Scholar
  3. Besnard, Philippe, 89, An Introduction to Default Logic, Symbolic Computation— Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, New York.Google Scholar
  4. Brewka, G., 91, Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules, Artificial Intelligence 50, 183–205.Google Scholar
  5. Dempster, A. P., 67, Upper and Lower Probabilities Induced by a Multi-valued Mapping. Ann. Math. Statistics 38: 325–339.Google Scholar
  6. Geffner, H., 89, Default Reasoning: Causal and Conditional Theories, PhD thesis, Computer Science Department, UCLA, Los Angeles, CA90024, November 89.Google Scholar
  7. Hacking, I., 75, The Emergence of Probability, Cambridge University Press, London.Google Scholar
  8. Lukacewicz, 84, Considerations on Default Logic, Proc. Non Monotonic Reasoning Workshop, New Paltz NY, pp165–193; also, 1988, Computational Intelligence 4, pp1–16.Google Scholar
  9. Makinson, D., 90, General Patterns in Nonmonotonic Reasoning, Chapter 2.2 of Vol II of Handbook of Logic in Artificial Intelligence and Logic Programming.Google Scholar
  10. Pearl, Judea, 88, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann Publishers Inc.Google Scholar
  11. Poole, D., 88, A Logical Framework for Default Reasoning, Artificial Intelligence, 36: 27–47.Google Scholar
  12. Reiter, R., 80, A Logic for Default Reasoning, Artificial Intelligence 13 (1, 2), pp81–132.Google Scholar
  13. Shafer, G., 76, A Mathematical Theory of Evidence, Princeton University Press, Princeton, NJ.Google Scholar
  14. Shafer, G., 78, Non-Additive Probabilities in the Work of Bernouilli and Lambert, Archive for History of Exact Sciences 19: 309–370.Google Scholar
  15. Wilson, Nic, 89, Justification, Computational Efficiency and Generalisation of the Dempster-Shafer Theory, Research Report no. 15, June 1989, Dept. of Computing and Mathematical Sciences, Oxford Polytechnic, to appear in Artificial Intelligence.Google Scholar
  16. Wilson, Nic, 90a, Default Logic and Belief Functions, Proceedings DRUMS Workshop on Non-monotonic Logic, Luminy, France, February 1990.Google Scholar
  17. Wilson, Nic, 90b, Rules, Belief Functions and Default Logic, in Bonissone, P., and Henrion, M., 90, eds Proc. 6th Conference on Uncertainty in Artificial Intelligence, MIT, Cambridge, Mass.Google Scholar
  18. Wilson, Nic, 92, Some Theoretical Aspects of the Dempster-Shafer Theory, PhD thesis, May 1992.Google Scholar
  19. Wilson, Nic, 93, Default Logic and Dempster-Shafer Theory, unpublished manuscript (longer version of current paper).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Nic Wilson
    • 1
  1. 1.Department of Computer ScienceQueen Mary and Westfield CollegeLondonUK

Personalised recommendations