Abstract
We examine carefully the rationale underlying the approaches to belief change taken in the literature, and highlight what we view as methodological problems. We argue that to study belief change carefully, we must be quite explicit about the “ontology” or scenario underlying the belief change process. This is something that has been missing in previous work, with its focus on postulates. Our analysis shows that we must pay particular attention to two issues that have often been taken for granted: the first is how we model the agent's epistemic state. (Do we use a set of beliefs, or a richer structure, such as an ordering on worlds? And if we use a set of beliefs, in what language are these beliefs are expressed?) We show that even postulates that have been called “beyond controversy” are unreasonable when the agent's beliefs include beliefs about her own epistemic state as well as the external world. The second is the status of observations. (Are observations known to be true, or just believed? In the latter case, how firm is the belief?) Issues regarding the status of observations arise particularly when we consider iterated belief revision, and we must confront the possibility of revising by φ and then by ¬ φ.
Similar content being viewed by others
References
Alchourrón, C.E., Gärdenfors, P., and Makinson, D., 1985, “On the logic of theory change: Partial meet functions for contraction and revision,” Journal of Symbolic Logic 50, 510–530.
Boutilier, C., 1992, “Normative, subjective and autoepistemic defaults: Adopting the Ramsey test,” pp. 685–696 in Principles of Knowledge Representation and Reasoning: Proceedings Third International Conference (KR' 92), B. Nebel, C. Rich, and W. Swartout, eds., San Francisco, CA: Morgan Kaufmann.
Boutilier, C., 1994, “Unifying default reasoning and belief revision in a modal framework,” Artificial Intelligence 68, 33–85.
Boutilier, C., 1996, “Iterated revision and minimal change of conditional beliefs,” Journal of Philosophical Logic 25, 262–305.
Boutilier, C. and Goldszmidt, M., 1993, “Revising by conditional beliefs,” pp. 648–654 in Proceedings, Eleventh National Conference on Artificial Intelligence (AAAI' 93), Menlo Park, CA: AAAI Press.
Boutilier, C., Friedman, N., and Halpern, J.Y., 1998, “Belief revision with unreliable observations,” pp. 127–134 in Proceedings, Fifteenth National Conference on Artificial Intelligence (AAAI' 96), Menlo Park, CA: AAAI Press.
Darwiche, A. and Pearl, J., 1994, “On the logic of iterated belief revision,” pp. 5–23 in Principles of Knowledge Representation and Reasoning: Proceedings Fourth International Conference (KR' 94), J. Doyle, E. Sandewall, and P. Torasso, eds., San Francisco, CA: Morgan Kaufmann.
Darwiche, A. and Pearl, J., 1997, “On the logic of iterated belief revision,” Artificial Intelligence 89, 1–29.
Dubois, D. and Prade, H., 1992, “Belief change and possibility theory,” pp. 142–182 in Belief Revision, P. Gärdenfors, ed., Cambridge: Cambridge University Press.
Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.
Freund, M. and Lehmann, D., 1994, “Belief revision and rational inference,” Technical Report TR 94-16, Hebrew University.
Friedman, N., 1997, “Modeling beliefs in dynamic systems,” Ph.D. Thesis, Stanford.
Friedman, N. and Halpern, J.Y., 1994, “A knowledge-based framework for belief change. Part II: Revision and update,” pp. 190–201 in Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR' 94), J. Doyle, E. Sandewall, and P. Torasso, eds., San Francisco, CA: Morgan Kaufmann.
Friedman, N. and Halpern, J.Y., 1997, “Modeling belief in dynamic systems. Part I: Foundations,” Artificial Intelligence 95(2), 257–316.
Friedman, N. and Halpern J.Y., 1998, “Modeling belief in dynamic systems. Part II: Revision and update,” Journal of A.I. Research (to appear).
Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press.
Gärdenfors, P. and Makinson, D., 1988, “Revisions of knowledge systems using epistemic entrenchment,” pp. 83–95 in Proceedings Second Conference on Theoretical Aspects of Reasoning about Knowledge, M. Vardi, ed., San Francisco, CA: Morgan Kaufmann.
Goldszmidt, M., 1992, “Qualitative probabilities: A normative framework for commonsense reasoning,” Ph.D. Thesis, University of California Los Angeles.
Goldszmidt, M. and Pearl, J., 1992, “Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions,” pp. 661–672 in Principles of Knowledge Representation and Reasoning: Proceedings Third International Conference (KR' 92), B. Nebel, C. Rich, and W. Swartout, eds., San Francisco, CA: Morgan Kaufmann.
Grove, A., 1988, “Two modelings for theory change,” Journal of Philosophical Logic 17, 157–170.
Halpern, J.Y., 1993, “A critical reexamination of default logic, autoepistemic logic, and only knowing,” pp. 43–60 in Proceedings, 3rd Kurt Gödel Colloquium, Berlin: Springer-Verlag.
Halpern, J.Y. and Fagin, R., 1989, “Modelling knowledge and action in distributed systems,” Distributed Computing 3(4), 159–179. A preliminary version appeared in Proceedings 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title “A formal model of knowledge, action, and communication in distributed systems: Preliminary report.”
Hansson, S.O., 1991, “Belief base dynamics,” Ph.D. Thesis, Uppsala University.
Hansson, S.O., 1998a, “Belief revision from an epistemological point of view,” Unpublished manuscript.
Hansson, S.O., 1998b, “A survey of non-prioritized belief revision,” Unpublished manuscript.
Katsuno, H. and Mendelzon, A., 1991a, “On the difference between updating a knowledge base and revising it,” pp. 387–394 in Principles of Knowledge Representation and Reasoning: Proceedings Second International Conference (KR' 91), J.A. Allen, R. Fikes, and E. Sandewall, eds., San Francisco, CA: Morgan Kaufmann.
Katsuno, H. and Mendelzon, A., 1991b, “Propositional knowledge base revision and minimal change,” Artificial Intelligence 52(3), 263–294.
Lehmann, D., 1995, “Belief revision, revised,” pp. 1534–1540 in Proceedings Fourteenth International Joint Conference on Artificial Intelligence (IJCAI' 95), C.S. Mellish, ed., San Francisco, CA: Morgan Kaufmann.
Levi, I., 1988, “Iteration of conditionals and the Ramsey test,” Synthese 76, 49–81.
Makinson, D., 1998, “Screened revision,” Theoria, in press.
Nayak, A.C., 1994, “Iterated belief change based on epistemic entrenchment,” Erkenntnis 41, 353–390.
Rott, H., 1989, “Conditionals and theory change: Revision, expansions, and additions,” Synthese 81, 91–113.
Rott, H., 1991, “Two methods of constructing contractions and revisions of knowledge systems,” Journal of Philosophical Logic 20, 149–173.
Shafer, G., 1976, A Mathematical Theory of Evidence, Princeton, NJ: Princeton University Press.
Spohn, W., 1988, “Ordinal conditional functions: A dynamic theory of epistemic states,” pp. 105–134 in Causation in Decision, Belief Change, and Statistics, Vol. 2, W. Harper and B. Skyrms, eds., Dordrecht: Reidel.
Williams, M., 1994, “Transmutations of knowledge systems,” pp. 619–629 in Principles of Knowledge Representation and Reasoning: Proceedings Fourth International Conference (KR' 94), J. Doyle, E. Sandewall, and P. Torasso, eds., San Francisco, CA: Morgan Kaufmann.
Wobcke, W., 1995, “Belief revision, conditional logic, and nonmonotonic reasoning,” Notre Dame Journal of Formal Logic 36(1), 55–102.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Friedman, N., Halpern, J.Y. Belief Revision: A Critique. Journal of Logic, Language and Information 8, 401–420 (1999). https://doi.org/10.1023/A:1008314832430
Issue Date:
DOI: https://doi.org/10.1023/A:1008314832430