Skip to main content
SpringerLink
Log in

On belief functions

Present state of Dempster-Shafer theory

  • Part 5: Uncertainty
  • Conference paper
  • First Online:
Book cover Advanced Topics in Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 617))

  • 137 Accesses

Abstract

The present state of development of Dempster-Shafer theory is surveyed and its place among theories of dealing with uncertainty in AI is discussed. No knowledge of the theory is assumed.

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

  • Buchanan B.G., Shortliffe E.H.: Rule based expert systems. MYCIN experiments of the Stanford Heuristic Programming Project, Addison-Wesley, 1984

    Google Scholar 

  • Cano J., Delgado M., Moral S.: Propagation of uncertainty in dependence graphs, in: Kruse et al., eds. Symbolic and Quantitative approaches to uncertainty, Lecture Notes in Computer Sci. 548, Springer-Verlag 1991

    Google Scholar 

  • Clarke M., Wilson N.: Efficient algorithms for belief functions based on the relationship between belief and probability, in: Kruse et al., eds. Symbolic and Quantitative approaches to uncertainty, Lecture Notes in Computer Sci. 548, Springer-Verlag 1991

    Google Scholar 

  • Choquet G.: Theory of capacities. Ann. Inst. Fourier 5 (1953–54) 131–292

    Google Scholar 

  • Dempster A. P.: Upper and lower probabilities induced by a multivalued mapping, Ann. Math. Statistics Vol. 38, 1967 pp. 325–339

    Google Scholar 

  • Dempster A. P.: A generalization of Bayesian inference, J. Royal Statist. Soc., ser. B Vol. 30, 1968 pp. 205–247

    Google Scholar 

  • Dempster A. P., Kong A.: Uncertain evidence and artificial analysis, Journal of Statisticial Planning and Inference Vol. 20, 1988 pp. 355–368

    Google Scholar 

  • Dubois D., Prade H.: Combination and propagation of uncertainty with belief functions — a reexamination In: Proc. 9th Int. Joint. Conf. on AI Vol. 1, 1985 pp. 111–113

    Google Scholar 

  • Dubois D., Prade H.: The principle of minimum specificity as a basis for evidential reasoning In: Uncertainty in Knowledge-Based Systems (Lecture Notes in Computer Science 286), Springer-Verlag, 1987 pp.75–84

    Google Scholar 

  • Dubois D., Prade H.: The treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theory, International Journal of Intelligent Systems Vol. 3, 1988 pp. 141–165

    Google Scholar 

  • Dubois D., Prade H.: Representation and combination of uncertainty with belief functions and possibility measures, Comput. Intell. Vol. 4, 1988 pp. 244–264

    Google Scholar 

  • Dubois D., Prade H.: Default reasoning and possibility theory, Artificial Intelligence Vol. 35, 1988 pp. 243–257

    Google Scholar 

  • Dubois D., Prade H.: An introduction to fuzzy and possibilistic logics, in: Smets et al., ed.: Non-standard logics for automated reasoning, Academic Press 1988, 287–305

    Google Scholar 

  • Dubois D., Prade H.: Consonant approximations of belief functions, Int. Journ. of Approximate Reasoning 4 (1990). 419–449

    Google Scholar 

  • Dubois D., Prade H.: The point of view of possibility theory, in Smets et al., eds: Uncertainty, Conditionals, Non-monotonicity and Time — Positions and Debates in Non-Standard Logics, to appear

    Google Scholar 

  • Dubois D., Lang J., Prade H.: A brief overview of possibilistic logic, in: Kruse et al. eds., Symbolic and Qualitative Approaches to Uncertainty, Lecture Notes in Computer Science, Springer-Verlag 1991, 53–57

    Google Scholar 

  • Ginsberg M. L.: Non-monotonic reasoning using Dempster's rule In: Proc. 3rd Natl. Conf. on AI (AAAI 84), Austin, 1984 pp. 126–129

    Google Scholar 

  • Gordon J., Shortliffe E.: The Dempster-Shafer theorie of evidence. In: (Buchanan, Shortliffe, ed.) Rule based expert systems. MYCIN experiments., Addison-Wesley Pub. Comp., 1984

    Google Scholar 

  • Gordon J., Shortliffe E. H.: A method of managing evidential reasoning in a hierarchical hypothesis space, Artificial Intelligence Vol. 26, 1985 pp. 323–357

    Google Scholar 

  • Hájek P.: Towards a probabilistic analysis of MYCIN-like expert systems In: COM-PSTAT 88, Kopenhagen, Physica-Verlag Heidelberg. 1988

    Google Scholar 

  • Hájek P.: Towards probabilistic analysis of MYCIN-like systems II In: Artificial Intelligence and Information-Control Systems of Robots (Plander, ed.), North-Holland, 1989

    Google Scholar 

  • Hájek P.: A note of belief functions in MYCIN-like systems In: AI'90, ČSVTS Prague 1990 pp.19–26

    Google Scholar 

  • Hájek P.: Deriving Dempster's rule, Proc. IPMU'92, Mallorca (Spain)

    Google Scholar 

  • Hájek P., Hájková M.: The expert system shell EQUANT-PC — philosophy, structure and implementation, Comp. Stat. Quaterly Vol. 4, 1990 pp. 261–267

    Google Scholar 

  • Hájek P., Hájková M., Havránek T., Daniel M.: The expert system shell EQUANT-PC — brief information, Kybernetika Vol.25, 1988

    Google Scholar 

  • Hájek P., Harmanec D.: An exercise in Dempster-Shafer theory, Int. Journal of General Systems 20 (1992) 137–142

    Google Scholar 

  • Hájek P., Valdes J.: Algebraic foundations of uncertainty processing in rule-based expert systems (group-theoretical aproach), Computers and Artificial Intelligence 9, 1990, 325–334

    Google Scholar 

  • Hájek P., Valdes J. J.: Generalized algebraic foundations of uncertainty processing in rule-based expert systems (dempsteroids), Computers and Artificial Intelligence 10, 1991, 29–42

    Google Scholar 

  • Hájek P., Havránek T., Jiroušek R.: Processing uncertain information in expert systems, CRC Press 1992

    Google Scholar 

  • Harmanec D.: Uncertainty processing in expert systems, master thesis, Charles Univ. Prague 1990 (Czech)

    Google Scholar 

  • Harmanec D.: A non-compositional expert system based on Dempster-Shafer theory, AI'91, Czech Society for Cybernetics and Computer Science 1991, pp. 42–52

    Google Scholar 

  • Heckerman D.: Probabilistic interpretations for MYCIN's certainty factors In: Uncertainty in artificial intelligence, Amsterdam: North Holland, 1986 pp. 167–196

    Google Scholar 

  • Horvitz E. J., Heckerman D.: The inconsistent use of measures of certainty in artificial intelligence research In: Uncertainty in artificial intelligence, Amsterdam: North Holland, 1986 pp. 137–151

    Google Scholar 

  • Klir G.: On the uniqueness of possibilistic measure of uncertainty and information, Fuzy sets and systems 24 (1987), 197–219

    Google Scholar 

  • Klir G.:Is there more to unvcertainty than some probability theorists might have us believe? Int. J. General Systems 15 (1989) 347–378

    Google Scholar 

  • Klir G.: Uncertainty in the Dempster-Shafer theory: acritical re-examination. Int. J. General Systems 18 (1990), 155–166

    Google Scholar 

  • Klir G.: A principle of uncertainty and information invariance, Int. J. General Systems 17 (1990) 249–275

    Google Scholar 

  • Kohlas J.: A mathematical theory of hints, preprint, University of Fribourg (Switzerland) 1990

    Google Scholar 

  • Kohlas J., Monney P.A.: Modeling and reasoning with hints, working paper No 174, University of Fribourg, April 1990, 67 pp.

    Google Scholar 

  • Kong A.: Multivariate belief functions and graphical models, thesis, Department of Statistics, Harvard University, 1986

    Google Scholar 

  • Lauritzen S. L., Spiegelhalter D. J.: Local computations with probabilities on graphical structures and their applications to expert systems, J. Royal Statist. Soc., ser. B Vol. 50, 1988 pp. 157–224

    Google Scholar 

  • McLeish M.: A model for non-monotonic reasoning using Dempster's rule. To appear in Uncertainty in Artificial Intelligence, Vol.6, 1992

    Google Scholar 

  • Mellouli K.: On the propagation of beliefs in networks using the Dempster-Shafer theory of evidence, thesis, School of Business, University of Kansas, 1987

    Google Scholar 

  • Mellouli K., Shafer G., Shenoy P. P.: Qualitative Markov networks In: Uncertainty in Knowledge-Based Systems (Lecture Notes in Computer Science 286), Springer-Verlag, 1987 pp.69–74

    Google Scholar 

  • Pearl J.: On evidential reasoning in a hierarchy of hypotheses, Artificial Intalligence Vol. 28, 1986 pp. 9–15

    Google Scholar 

  • Pearl J.: A constraint-propagation approach to probabilistic reasoning In: Uncertainty in Artificial Intelligence, Amsterdam: North Holland, 1986 pp. 357–370

    Google Scholar 

  • Pearl J.: Fusion, propagation and structuring in belief networks, Artificial Intelligence Vol. 29, 1986 pp. 241–288

    Google Scholar 

  • Pearl J.: Distributed revision of composite beliefs, Artificial Intelligence Vol. 33, 1987 pp. 173–215

    Google Scholar 

  • Pearl J.: Evidential reasoning using stochastic simulation of causal models, Artificial Intelligence Vol. 32, 1987 pp. 245–257

    Google Scholar 

  • Pearl J.: Probabilistic reasoning in intelligent systems: Networks of plausible inference, Morgan-Kaufmann Publishers, 1988

    Google Scholar 

  • Pearl J.: On logic and probability, Computational Intelligence Vol. 4, 1988 pp. 99–103

    Google Scholar 

  • Pearl J.: Embracing causality in formal reasoning, Artificial Intelligence Vol. 35, 1988 pp. 259–271

    Google Scholar 

  • Pearl J.: Reasoning with belief functions: an analysis of compatibility, Int. J. Approx. reasoning 4 (1990), 363–389

    Google Scholar 

  • Pearl J., Geffner H.: Probabilistic semantics for a subset of default reasoning Technical Report R-93-III, Cognitive Systems Laboratory, University of California, Los Angeles, 1988

    Google Scholar 

  • Pearl J., Paz A.: GRAPHOIDS: A graph-based logic for reasoning about relevance relations Technical Report 850038 (R-53-L), Cognitive Systems Laboratory, University of California, Los Angeles, 1985

    Google Scholar 

  • Quinio P., Matsuyama T.: Random closed sets: a unified approach to the representation of imprecision and uncertainty, in: Kruse et al., eds. Symbolic and Quantitative approaches to uncertainty, Lecture Notes in Computer Sci. 548, Springer-Verlag 1991

    Google Scholar 

  • Ruspini E. H.: The logical foundations of evidential reasoning, Technical Note 408, SRI International, Menlo Park, CA, 1986

    Google Scholar 

  • Safiotti A., Umkehrer E.: PULCINELLA User's manual, Technical report no. TR/IRIDIA/91-5, Université Libre de Bruxelles 1991

    Google Scholar 

  • Shafer G.: A mathematical theory of evidence, Princeton: Princeton University Press, 1976

    Google Scholar 

  • Shafer G.: Constructive probability, Synthese Vol. 48, 1981 pp. 1–60

    Google Scholar 

  • Shafer G.: Bayes's two arguments for the rule of conditioning, The Annals of Statistics Vol. 10, 1982 pp. 1075–1084

    Google Scholar 

  • Shafer G.: Conditional probability, Intl. Statist. Review Vol. 53, 1985 pp. 261–277

    Google Scholar 

  • Shafer G.: Savage revisited, Statistical Science Vol. 1, 1986 pp. 463–501

    Google Scholar 

  • Shafer G.: The combination of evidence, Intl. Journal of Intelligent Systems Vol. 1, 1986 pp. 155–179

    Google Scholar 

  • Shafer G.: Belief functions and possibility measures In: Analysis of fuzzy information (vol. 1: Mathematics and logic), Boca Raton, Fla.: CRC Press, 1987 pp. 51–84

    Google Scholar 

  • Shafer G.: Probability judgements in artificial intelligence and expert systems, Statistical Science, 1987 pp. 3–16

    Google Scholar 

  • Shafer G.: Combining AI and OR, Working Paper No. 195, School of Business, University of Kansas (Lawrence), 1988

    Google Scholar 

  • Shafer G.: Response to the discussion on belief functions, working paper 231, School of Business, Univ. of Kansas

    Google Scholar 

  • Shafer G., Logan R.: Implementing Dempster's rule for hierarchical evidence, Artificial Intelligence Vol. 33, 1987 pp. 271–298

    Google Scholar 

  • Shafer G., Shenoy P.P.: Local computation in hypertrees, working paper 201, School of Business, the University of Kansas, Lawrence, 1988

    Google Scholar 

  • Shafer G., Shenoy P.: Probability propagation In: Preliminary Papers of the Second International Workshop on Artificial Intelligence and Statistics, Florida, 1989 pp. 33.1–33.10

    Google Scholar 

  • Shafer G., Shenoy P. P., Mellouli K.: Propagating belief functions in qualitative Markov trees Working Paper No. 190, School of Business, University of Kansas (Lawrence), 1987

    Google Scholar 

  • Shafer G., Shenoy P.P.: Bayesian and belief function propagation, working paper 192, School of Business, the University of Kansas, Lawrence, 1988

    Google Scholar 

  • Shafer G., Shenoy P. P., Srivastava R.: Auditor's Assistant: A knowledge engineering tool for audit decisions, working paper No. 197, School of Business, University of Kansas, 1988

    Google Scholar 

  • Shafer G., SrivatsavaR.: The Bayesian and belief-function formalism I. A general perspective for auditing, working paper No. 183, The University of Kansas, 1987, 62 pp.

    Google Scholar 

  • Shafer G., Tversky A.: Languages and designs for probability judgments, Cognitive Science 9 (1985), 309–339

    Google Scholar 

  • Shenoy P.P.: Valuation-based systems: a framework for managing uncertainty in expert systems, working paper No. 226, School of Business, Univ. of Kansas, 1991

    Google Scholar 

  • Shenoy P. P., Shafer G.: Propagating belief functions with local computations, IEEE Expert Vol. 1, 1986 pp. 43–52

    Google Scholar 

  • Shenoy P.P., Shatter G.: An axiomatic framework for Bayesian and belief-function propagation, working paper 199, School of Business, University of Kansas, Lawrence, 1988

    Google Scholar 

  • Shortliffe E. H.: Computer-based medical consultation: MYCIN, New York: Elsevier, 1976

    Google Scholar 

  • Smets P.: Bayes' theorem generalized for belief functions, Proc. ECAI-86, Vol. II, 169–171, 1986

    Google Scholar 

  • Smets P.: Belief functions, In: Smets et al. eds, Non-standard logics for automated reasoning, Academic Press 1988 pp.253–286

    Google Scholar 

  • Smets P.: Resolving misunderstandings about belief functions, Int. Journ. Approx. Reasoning, to appear

    Google Scholar 

  • Smets P.: The combination of evidence in the transferable belief model, IEEE Trans. Pattern Anal. and Machine Int. 12 (1990), 447–458

    Google Scholar 

  • Smets P.: Mamdani A., Dubois D., Prade H. (eds.): Non-standard logics for automated reasoning, London: Academic Press, 1988

    Google Scholar 

  • Strassen V.: Messfehler und Information, Wahrscheinlicheitstheorie und verw. Gebiete Vol. 2, 1964 pp. 273–305

    Google Scholar 

  • Thoma H. M.: Factorization of Belief Functions, thesis, Harvard University Cambridge, Massachusetts, 1989 140 p.

    Google Scholar 

  • Voorbraak F.: On the justification of Dempster's rule of combination, Artificial Intelligence 48 (1991), 171–197

    Google Scholar 

  • Walliser B.: Belief revision and decision under complex uncertainty, preprint, CE-RAS, Ecole Nat. des Ponts et Chaussées, Paris 1991

    Google Scholar 

  • Weichselberger K., Pöhlmann S.: A methodology for uncertainty processing in knowledge-based systems In: Lecture Notes in Artificial Intelligence vol. 419, Springer-Verlag, 1990

    Google Scholar 

  • Wilson N.: Justification, computational efficiency and generalization of the Dempster-Shafer theory, research rep. no. 15, 1989, Dept. of Computing and Mathematical Science, Oxfor Polytechnic

    Google Scholar 

  • Wilson N.: Rules, belief functions and default logic, in Bonissone et al. eds., Proc. 6th Conference on Uncertainty in AI, MIT Cambridge, Mass. 1990

    Google Scholar 

  • Zadeh L. A.: A simple view of the Dempster-Shafer theory of evidence and its implication for the rule of combinational, IA Magazine Vol. 7, 1986 pp. 85–90

    Google Scholar 

  • Zarley D.K., Hsia Y.-T., Shafer G.: Evidential reasoning using DELIEF, working paper 193, School of Business, the University of Kansas, Lawrence, 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer and Information Science, Czechoslovak Academy of Sciences, 182 07, Prague, Czechoslovakia

    Petr Hájek & David Harmanec

Authors
  1. Petr Hájek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Harmanec
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mřrík Olga Štěpánková Rorbert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hájek, P., Harmanec, D. (1992). On belief functions. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-55681-8_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47271-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation