Belief revision: A critique

Journal of Logic, Language and Information

Volumn 8, Issue 4, 1999, Pages 401-420

  Friedman, Nir ^a,c   Halpern, Joseph Y ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^c HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

Agm postulates; Belief revision; Iterated revision

Indexed keywords

EID: 12244311156     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008314832430     Document Type: Article

References (38)

1. 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.
2. 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.
3. Boutilier, C., 1994, "Unifying default reasoning and belief revision in a modal framework," Artificial Intelligence 68, 33-85.
4. Boutilier, C., 1996, "Iterated revision and minimal change of conditional beliefs," Journal of Philosophical Logic 25, 262-305.
5. 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.
6. 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.
7. 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.
8. Darwiche, A. and Pearl, J., 1997, "On the logic of iterated belief revision," Artificial Intelligence 89, 1-29.
9. 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.
10. Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.
11. Freund, M. and Lehmann, D., 1994, "Belief revision and rational inference," Technical Report TR 94-16, Hebrew University.
12. Friedman, N., 1997, "Modeling beliefs in dynamic systems," Ph.D. Thesis, Stanford.
13. 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.
14. Friedman, N. and Halpern, J.Y., 1997, "Modeling belief in dynamic systems. Part I: Foundations," Artificial Intelligence 95(2), 257-316.
15. Friedman, N. and Halpern J.Y., 1998, "Modeling belief in dynamic systems. Part II: Revision and update," Journal of A.I. Research (to appear).
16. Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press.
17. 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.
18. Goldszmidt, M., 1992, "Qualitative probabilities: A normative framework for commonsense reasoning," Ph.D. Thesis, University of California Los Angeles.
19. 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.
20. Grove, A., 1988, "Two modelings for theory change," Journal of Philosophical Logic 17, 157-170.
21. 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.
22. Halpern, J.Y. and Fagin, R., 1989, "Modelling knowledge and action in distributed systems," Distributed Computing 3(4), 159-179.
23. 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."
24. Hansson, S.O., 1991, "Belief base dynamics," Ph.D. Thesis, Uppsala University.
25. Hansson, S.O., 1998a, "Belief revision from an epistemological point of view," Unpublished manuscript.
26. Hansson, S.O., 1998b, "A survey of non-prioritized belief revision," Unpublished manuscript.
27. 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.
28. Katsuno, H. and Mendelzon, A., 1991b, "Prepositional knowledge base revision and minimal change," Artificial Intelligence 52(3), 263-294.
29. 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.
30. Levi, I., 1988, "Iteration of conditionals and the Ramsey test," Synthese 76, 49-81.
31. Makinson, D., 1998, "Screened revision," Theoria, in press.
32. Nayak, A.C., 1994, "Iterated belief change based on epistemic entrenchment," Erkenntnis 41, 353-390.
33. Rott, H., 1989, "Conditionals and theory change: Revision, expansions, and additions," Synthese 81, 91-113.
34. Rott, H., 1991, "Two methods of constructing contractions and revisions of knowledge systems," Journal of Philosophical Logic 20, 149-173.
35. Shafer, G., 1976, A Mathematical Theory of Evidence, Princeton, NJ: Princeton University Press.
36. 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.
37. 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.
38. Wobcke, W., 1995, "Belief revision, conditional logic, and nonmonotonic reasoning," Notre Dame Journal of Formal Logic 36(1), 55-102.