Abstract
Although informal models of evidential reasoning have been successfully applied in automated reasoning systems, it is generally difficult to define the range of their applicability. In addition, they have not provided a basis for consistent management of evidence bearing on hypotheses that are related hierarchically. The Dempster–Shafer (D-S) theory of evidence is appealing because it does suggest a coherent approach for dealing with such relationships. However, the theory’s complexity and potential for computational inefficiency have tended to discourage its use in reasoning systems. In this paper we describe the central elements of the D-S theory, basing our exposition on simple examples drawn from the field of medicine. We then demonstrate the relevance of the D-S theory to a familiar expert-system domain, namely the bacterial-organism identification problem that lies at the heart of the mycin system. Finally, we present a new adaptation of the D-S approach that achieves computational efficiency while permitting the management of evidential reasoning within an abstraction hierarchy
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adams, J. B., A probability model of medical reasoning and the MYCIN model, Math. Biosci. 32 (1976) 177–186.
Barnett, J. A., Computational methods for a mathematical theory of evidence, in: Proceedings Seventh International Joint Conference on Artificial Intelligence, Vancouver, BC (1981) 868–875.
Buchanan, B. G. and Shortliffe, E. H., Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project (Addison-Wesley, Reading, MA, 1984).
Chandrasekaran, B., Gomez, F., Mittal, S. and Smith, M., An approach to medical diagnosis based on conceptual schemes, in: Proceedings Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan (1979) 134–142.
Cohen, P. R., Heuristic Reasoning about Uncertainty: An Artificial Intelligence Approach (Pitman, London, 1984).
Friedman, L., Extended plausible inference, in: Proceedings Seventh International Joint Conference on Artificial Intelligence, Vancouver, BC (1981) 487–495.
Garvey, T. D., Lowrence, J. D. and Fischler, M. A., An inference technique for integrating knowledge from disparate sources, in: Proceedings Seventh International Joint Conference on Artificial Intelligence, Vancouver, BC (1979) 319–325.
Gomez, F. and Chandrasekaran, B., Knowledge organization and distribution for medical diagnosis, in: W. J. Clancey and E. H. Shortliffe (Eds.), Readings in Medical Artificial Intelligence: The First Decade (Addison-Wesley, Reading, MA, 1984) 320–338.
Gordon, J. and Shortliffe, E. H., The Dempster–Shafer theory of evidence, in: B. G. Buchanan and E. H. Shortliffe (Eds.), Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project (Addison-Wesley, Reading, MA, 1984) 272–292.
Gouvernet, J., Ayme, S., Sanchez, E., Mattei, J. F. and Giraud, F., Diagnosis assistance in medical genetics based on belief functions and a tree structured thesaurus: a conversational mode realization, in: Proceedings of MEDINFO 80, Tokyo, Japan (1980) 798.
Gouvernet, J., Apport des methods de classification en genetique medicale, Thesis, University of Marseilles, 1979.
Miller, R. A., Pople, H. E. and Myers, J. D., INTERNIST-1: An experimental computer-based diagnostic consultant for general internal medicine, New England J. Medicine 307(8) (1982) 468–476.
Pople, H. E., Heuristic methods for imposing structure on ill-structed problems: the structuring of medical diagnostics, in: P. Szolovits (Ed.), Artificial Intelligence in Medicine (Westview Press, Boulder, CO, 1982) 119–190.
Shafer, G., A Mathematical Theory of Evidence (Princeton University Press, Princeton, NJ, 1976).
Shortliffe, E. H. and Buchanan, B. G., A model of inexact reasoning in medicine, Math. Biosci. 23 (1975) 351–379.
Strat, T. M., Continuous belief functions for evidential reasoning, in: Proceedings Fourth National Conference on Artificial Intelligence, Austin, TX (1984) 308–313.
Szolovits, P. and Pauker, S., Categorical and probabilistic reasoning in medical diagnosis, Artificial Intelligence 11 (1978) 115–44.
Yu, V. L., Fagan, L. M., Wraith, S. M., Clancey, W. J., Scott, A. C., Hannigan, J. F., Blum, R. L., Buchanan, B. G. and Cohen, S. N., Antimicrobial selection by a computer: a blinded evaluation by infectious disease experts, J. Amer. Med. Assoc. 242 (1979) 1279–1282.
Zadeh, L. A., A mathematical theory of evidence (book review), AI Magazine 5(3) (1984) 81–83.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gordon, J., Shortliffe, E.H. (2008). A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space. In: Yager, R.R., Liu, L. (eds) Classic Works of the Dempster-Shafer Theory of Belief Functions. Studies in Fuzziness and Soft Computing, vol 219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44792-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-44792-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25381-5
Online ISBN: 978-3-540-44792-4
eBook Packages: EngineeringEngineering (R0)