Abstract
Evidential reasoning is a body of techniques that supports automated reasoning from evidence. It is based upon the Dempster-Shafer theory of belief functions. Both the formal basis and a framework for the implementation of automated reasoning systems based upon these techniques are presented. The formal and practical approaches are divided into four parts (1) specifying a set of distinct propositional spaces, each of which delimits a set of possible world situations (2) specifying the interrelationships among these propositional spaces (3) representing bodies of evidence as belief distributions over these propositional spaces and (4) establishing paths for the bodies of evidence to move through these propositional spaces by means of evidential operations, eventually converging on spaces where the target questions can be answered.
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
Paul Cohen, Heuristic reasoning about uncertainty: An artificial intelligence approach, Pitman Publishing, Inc., 1985.
R. Davis and J. J. King, An overview of production systems, Machine Intelligence 8 (E. Elcock and D. Michie, eds.), Ellis Horwood, Chichester, England, 1977, pp. 300–332.
Arthur P. Dempster, A generalization of Bayesian inference, Journal of the Royal Statistical Society 30 (1968), 205–247.
Jon Doyle, A truth maintenance system, Readings in Artificial Intelligence (Bonnie Lynn Webber and Nils J. Nilsson, eds.), Tioga Publishing Company, Palo Alto, CA, 1981, pp. 496–516.
Thomas D. Garvey, John D. Lowrance, and Martin A. Fischler, An inference technique for integrating knowledge from disparate sources, Proceedings of the Seventh Joint Conference on Artificial Intelligence (Menlo Park, CA), American Association for Artificial Intelligence, August 1981, pp. 319–325.
Kurt Konolige, Bayesian methods for updating probabilities, A Computer-Based Consultant for Mineral Exploration, Final Report, SRI Project 6415 (333 Ravenswood Avenue, Menlo Park, CA) (R. O. Duda, P. E. Hart, K. Konolige, and R. Reboh, eds.), 1979.
John F. Lemmer and Stephen W. Barth, Efficient minimum information updating for bayesian inferencing in expert systems, Proceedings of the National Conference on Artificial Intelligence (Menlo Park, CA), American Association for Artificial Intelligence, August 1982, pp. 424–427.
John D. Lowrance, Grasper 1.0 reference manual, COINS Technical Report 78–20, Department of Computer and Information Science, University of Massachusetts, Amherst, MA, December 1978.
John D. Lowrance, Dependency-graph models of evidential support, Ph.D. thesis, Department of Computer and Information Science, University of Massachusetts, Amherst, MA, September 1982.
John D. Lowrance, Grasper ii reference manual, Artificial Intelligence Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA, January 1987.
John D. Lowrance and Thomas D. Garvey, Evidential reasoning: A developing concept, Proceedings of the Internation Conference on Cybernetics and Society, Institute of Electrical and Electronical Engineers, October 1982, pp. 6–9.
John D. Lowrance and Thomas D. Garvey, Evidential reasoning: An approach to the simulation of a weapons operation center, Technical report, Artificial Intelligence Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA, September 1983.
John D. Lowrance and Thomas D. Garvey, Evidential reasoning: An implementation for multisensor integration, Technical Report 307, Artificial Intelligence Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA, December 1983.
John D. Lowrance, Thomas M. Strat, and Thomas D. Garvey, Application of artificial intelligence techniques to naval intelligence analysis, Final Report SRI Contract 6486, Artificial Intelligence Center, SRI International, 333 Ravenswood Avenue, Menlo Park, CA, June 1986.
Glenn Shafer, A mathematical theory of evidence, Princeton University Press, Princeton, NJ, 1976.
Glenn Shafer, Belief functions and possibility measures, The Analysis of Fuzzy Information 1 (1986), 51–84.
W. W. Wadge and E. A. Ashcroft, Lucid, the dataflow programming language, Academic Press U. K., 1984.
Leonard P. Wesley, Evidential-based control in knowledge-based systems, Ph.D. thesis, Department of Computer and Information Science, University of Massachusetts, Amherst, MA, 1988.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lowrance, J.D., Garvey, T.D., Strat, T.M. (2008). A Framework for Evidential-Reasoning Systems. 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_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-44792-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25381-5
Online ISBN: 978-3-540-44792-4
eBook Packages: EngineeringEngineering (R0)