On Spohn's theory of epistemic beliefs
 Prakash P. Shenoy
 … show all 1 hide
Abstract
This paper is about Spohn's theory of epistemic beliefs. The main ingredients of Spohn's theory are (i) a functional representation of an epistemic state called a disbelief function, and (ii) a rule for revising this function in light of new information. The main contribution of this paper is as follows. First, we provide a new axiomatic definition of an epistemic state and study some of its properties. Second, we state a rule for combining disbelief functions that is mathematically equivalent to Spohn's belief revision rule. Whereas Spohn's rule is defined in terms of the initial epistemic state and some features of the final epistemic state, the rule of combination is defined in terms of the initial epistemic state and the incremental epistemic state representing the information gained. Third, we state a rule of subtraction that allows one to recover the addendum epistemic state from the initial and final epistemic states. Fourth, we study some properties of our rule of combination. One distinct advantage of our rule of combination is that besides belief revision, it can also be used to describe an initial epistemic state for many variables when this information is provided in the form of several independent epistemic states each involving a small number of variables. Another advantage of our reformulation is that we are able to demonstrate that Spohn's theory of epistemic beliefs shares the essential abstract features of probability theory and the DempsterShafer theory of belief functions. One implication of this is that we have a readymade algorithm for propagating disbelief functions using only local computation.
 Dempster, A. P. (1968), A generalization of Bayesian inference, Journal of Royal Statistical Society, Series B, 30, 205–247.
 Dubois, D. and Prade, H. (1988), Possibility Theory: An Approach to Computerized Processing of Uncertainty, Plenum Publishing Company, New York.
 Dubois, D. and Prade, H. (1990), Epistemic entrenchment and possibilistic logic, unpublished manuscript.
 Gardenfors, P. (1988), Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, MA.
 Geiger, D. and Pearl, J. (1990), On the logic of causal models, Uncertainty in Artificial Intelligence 4, Shachter, R., Levitt, T., Lemmer, J and Kanal, L., eds., 3–14, NorthHolland.
 Ginsberg, M. L. (1984), Nonmonotonic reasoning using Dempster's rule, Proceedings of the Third National Conference on Artificial Intelligence (AAAI84), 126–129, Austin, TX.
 Hunter, D. (1988), Graphoids, semigraphoids, and ordinal conditional functions, unpublished manuscript.
 Hunter, D. (1990), Parallel belief revision, Uncertainty in Artificial Intelligence 4, Shachter, R., Levitt, T., Lemmer, J and Kanal, L., eds., 241–252, NorthHolland.
 Jeffrey, R. C. (1983), The Logic of Decision, 2nd edition, Chicago University Press
 Pearl, J. (1988), Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, MorganKaufmann.
 Pearl, J. (1989). Probabilistic semantics for nonmonotonic reasoning: A survey, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, pp. 505–516.
 Shafer, G. (1976), A Mathematical Theory of Evidence, Princeton University Press, Princeton, NJ.
 Shafer, G. (1984), The problem of dependent evidence, School of Business Working Paper No. 164, University of Kansas, Lawrence, KS.
 Shafer, G. (1987), Belief functions and possibility measures, in Analysis of Fuzzy Information, volume I: Mathematics and Logic, Bezdek, J. C. (ed.), 51–84, CRC Press.
 Shenoy, P. P. (1989), A valuationbased language for expert systems, International Journal of Approximate Reasoning, 3(5), 359–416. CrossRef
 Shenoy, P. P. (1989b), On Spohn's rule for revision of beliefs, School of Business Working Paper No. 213, University of Kansas, Lawrence, KS. To appear in International Journal of Approximate Reasoning in 1991.
 Shenoy, P. P. and Shafer, G. (1988), An axiomatic framework for Bayesian and belieffunction propagation, Proceedings of the Fourth Workshop on Uncertainty in Artificial Intelligence, 307–314, Minneapolis, MN.
 Shenoy, P. P. and Shafer, G. (1990), Axioms for probability and belieffunction propagation, Uncertainty in Artificial Intelligence 4, Shachter, R., Levitt, T., Lemmer, J and Kanal, L., eds., 169–198, NorthHolland.
 Spohn, W. (1988), Ordinal conditional functions: A dynamic theory of epistemic states, in Harper, W. L. and Skyrms, B. (eds.), Causation in Decision, Belief Change, and Statistics, II, 105–134, D. Reidel Publishing Company.
 Spohn, W. (1990), A general nonprobabilistic theory of inductive reasoning, Uncertainty in Artificial Intelligence 4, Shachter, R., Levitt, T., Lemmer, J and Kanal, L., eds., 149–158, NorthHolland.
 Verma, T. and Pearl, J. (1990), Causal networks: Semantics and expressiveness, Uncertainty in Artificial Intelligence 4, Shachter, R., Levitt, T., Lemmer, J and Kanal, L., eds., 69–78, NorthHolland.
 Zadeh, L. A. (1978), Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems, 1, 3–28. CrossRef
 Title
 On Spohn's theory of epistemic beliefs
 Book Title
 Uncertainty in Knowledge Bases
 Book Subtitle
 3rd International Conference on Information Processing and Management of Uncertainty in KnowledgeBased Systems, IPMU '90 Paris, France, July 2–6, 1990 Proceedings
 Pages
 pp 113
 Copyright
 1991
 DOI
 10.1007/BFb0028091
 Print ISBN
 9783540543466
 Online ISBN
 9783540475804
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 521
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag
 Additional Links
 Topics
 Keywords

 Spohn's theory
 consistent epistemic state
 content of an epistemic state
 disbelief function
 Spohnian belief function
 Spohn's rules for belief revision
 A,αconditionalization
 λconditionalization
 rule of combination for disbelief functions
 rule of subtraction for disbelief functions
 axioms for local computation of marginals
 Industry Sectors
 eBook Packages
 Editors
 Authors

 Prakash P. Shenoy ^{(1)}
 Author Affiliations

 1. School of Business, University of Kansas, 660452003, Lawrence, KS, USA
Continue reading...
To view the rest of this content please follow the download PDF link above.