Abstract
In this paper, it is argued that both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation, and an axiomatic characterization of this operation is given. Unlike most belief revision operations, the one developed here can handle both “multiple belief revision” and “iterated belief revision”.
This is a preview of subscription content, access via your institution.
References
Abiteboul, S.: 1988, ‘Updates: A New Frontier’, in M. Gyssens et al. (eds.), Proceedings of the Second International Conference on Database Theory, LNCS 326, pp. 1–18, Springer.
Alchourrón, C. E., P. Gärdenfors, and D. Makinson: 1985, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions', Journal of Symbolic 50, 510–30.
Alchourrón, C. E. and D. Makinson: 1985, ‘On the Logic of Theory Change: Safe Contractions’, Studia Logica 44, 405–22.
Alchourrón, C. E. and D. Makinson: 1986, ‘Maps Between Some Different Kinds of Contraction Function: The Finite Case’, Studia Logica 45, 187–98.
Brewka, G.: 1991, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press.
Doyle, J.: 1979, ‘A Truth Maintenance System’, Artificial Intelligence 12, 231–72.
Doyle, J.: 1983, ‘The Ins and Outs of Reason Maintenance’, in Proceedings of the Eight International Joint Conference on Artificial Intelligence, pp. 349–51.
Fuhrmann, A.: 1991, ‘Theory Contraction Through Base Revision’, Journal of Philosophical Logic 20, 175–203.
Gärdenfors, P.: 1988, Knowledge in Flux. Modeling the Dynamics of Epistemic States, Bradford/MIT, Cambridge, MA.
Gärdenfors, P.: 1990, ‘The Dynamics of Belief Systems: Foundations vs. Coherence Theories’, Revue Internationale de Philosophie 44, 24–46.
Gärdenfors, P. and D. Makinson: 1988, ‘Revision of Knowledge Systems Using Epistemic Entrenchment,’ in M. Vardi (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA, pp. 83–95.
Gärdenfors, P. and H. Rott: 1995, ‘Belief Revision’, in D. M. Gabbay, C. J. Hogger and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. IV, Oxford University Press, Oxford.
Ghosh, A., P. Hadjinian, A. Sattar, J. You and R. Goebel: 1993, ‘Iterated Belief Change’, Griffith University CIT Research Report no. 64.
Ginsberg, M. L. and D. E. Smith: 1987, ‘Reasoning About Action I: A Possible Worlds Approach’, in F. M. Brown (ed.), The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, Morgan Kaufmann, pp. 133–185.
Grove, A.: 1988, ‘Two Modelings for Theory Change’, Journal of Philosophical Logic 17, 157–70.
Hansson, S. O.: 1989, ‘New Opeators for Theory Change’, Theoria 55, 114–136.
Hansson, S. O.: 1991, Belief Base Dynamics, Uppsala.
Hansson, S. O.: 1992. ‘A Dydadic Representation of Belief’, in Peter Gärdenfors (ed.), Belief Revision, Cambridge University, pp. 89–121.
Hansson, S. O.: 1993, ‘Reversing the Levi Identity’, Journal of Philosophical Logic 22, 637–69.
Hansson, S. O.: 1993, ‘Changes on Disjunctively Closed Bases’, Journal of Logic, Language and Information 2, 255–84.
Hansson, S. O.: 1995, ‘Changes in Preference’, Theory and Decision 38, 1–28.
Jeffrey, R. C.: 1983, The Logic of Decision, 2nd ed., Chicago University Press, Chicago.
Katsuno, H. and A. O. Mendelzon: 1992, ‘On the Difference Between Updating a Knowledge Base and Revising it’, in Peter Gärdenfors (ed.), Belief Revision, Cambridge University Press, pp. 183–203.
Levi, I.: 1991, Fixation of Belief and its Undoing, Cambridge University Press, Cambridge.
Makinson, D. and P. Gärdenfors: 1991, ‘Relations Between the Logic of Theory Change and Nonmonotonic Logic’, in A. Fuhrmann and M. Mourreau (eds.), The Logic of Theory Change, Lecture Notes in Artificial Intelligence 465, Springer Verlag.
Nayak, Abhaya C.: 1993, Studies in Belief Change, Ph.D. Dissertation, Department of Philosophy, University of Rochester, Rochester, New York.
Nayak, Abhaya C.: 1994, ‘Iterated Belief Change Based on Epistemic Entrenchment’, Erkenntnis 41, 353–90.
Nayak, Abhaya C., N. Y. Foo, M. Pagnucco and A. Sattar: 1994, ‘Entrenchment Kinematics 101’, in C. Zhang, J. Debenham and D. Lukose (eds.), Proceedings of the 7th Australian Joint Conference on Artificial Intelligence, World Scientific, pp. 157–164.
Nayak, A. C., M. Pagnucco, N. Foo and R. Kwok: 1995, ‘Entrenchment and Retractability: A Preliminary Report’, in Xin Yao (ed.), Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, World Scientific, pp. 219–226.
Niederée, R.: 1991, ‘Multiple Contraction. A Further Case against Gärdenfors' Principle of Recovery’, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Lecture Notes in Artificial Intelligence 465, Springer Verlag, pp. 322–334.
Quine, W. V.: 1985, ‘Two Dogmas of Empiricism’, in A. P. Martinich (ed.), The Philosophy of Language, Oxford University Press, pp. 26–39.
Quine, W. V. and S. Ullian: 1970, Web of Belief, Random House, New York.
Rott, H.: 1991, ‘Two Methods of Constructing Contractions and Revisions of Knowledge Systems’, Journal of Philosophical Logic 20, 149–73.
Rott, H.: 1992a, ‘Preferential Belief Change Using Generalized Epistemic Entrenchment’, Journal of Logic, Language and Information, 1, 45–78.
Rott, H.: 1992b, ‘Modellings for Belief Change: Base Contraction, Multiple Contraction and Epistemic Entrenchment (Preliminary Report)’, in D. Pearce and G. Wagner (eds.), Logics in AI, European Workshop JELIA '92, Lecture Notes in Artificial Intelligence 633, Springer, Berlin, pp. 139–1532.
Rott, H.: 1992c, ‘Modellings for Belief Change: Priorization and Entrenchment’, Theoria LVIII, 21–57.
Rott, H.: 1996, Making Up One's Mind. Foundations, Coherence, Monotonicity. Habilitationsschrift Konstanz.
Schechta, K.: 1991, ‘Theory Revision and Probability’, Notre Dame Journal of Formal Logic 32, 307–19.
Spohn, W.: 1988, ‘Ordinal Conditional Functions: A Dynamic Theory of Epistemic States’, in W. L. Harper and B. Skyrms (eds.), Causation in Decision, Belief Change and Statistics, vol. 2, pp. 105–134.
Stalnaker, R.: 1981, ‘A Theory of Conditionals’, in W. L. Harper et al. (eds.), Ifs, Reidel, Dordrecht, pp. 41–55.
Williams, M. A.: 1994, ‘Transmutations of Knowledge Systems’, in J. Doyle and E. Sandewall (eds.), Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp. 619–629.
Winslett, M. S.: 1988, ‘Reasoning about Action using a Possible Models Approach’, in Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, St. Paul, pp. 89–93.
Author information
Authors and Affiliations
Additional information
The authors are thankful to John G. Bennett, Henry E. Kyburg, Jr., Norman Foo, Pavlos Pepas, Maurizio Pagnucco, Bob Hadley, members of the Knowledge Systems Group at the University of Sydney and participants of the AI'93 workshop on “Belief Revision: Bridging the Gap Between Theory and Practice” at Melbourne where a version of this paper was presented, for their suggestions. The authors also express their gratitude to the two anonymous referees for Synthese for their excellent comments and suggestions. Of course it is only the authors that are responsible for the errors that remain.
Rights and permissions
About this article
Cite this article
Nayak, A.C., Nelson, P. & Polansky, H. Belief change as change in epistemic entrenchment. Synthese 109, 143–174 (1996). https://doi.org/10.1007/BF00413766
Issue Date:
DOI: https://doi.org/10.1007/BF00413766
Keywords
- Revision Operation
- Belief Revision
- Belief State
- Belief Change
- Axiomatic Characterization