Abstract
Epistemic entrenchment, as presented by Gärdenfors and Makinson (1988) and Gärdenfors (1988), is a formalisation of the intuition that, when forced to choose between two beliefs, an agent will giveup the less entrenched one. While their formalisation satisfactorilycaptures the intuitive notion of the entrenchment of beliefs in a number ofaspects, the requirement that all wffs be comparable has drawn criticismfrom various quarters. We define a set of refined versions of theirentrenchment orderings that are not subject to the same criticism, andinvestigate the relationship between the refined entrenched orderings,the entrenchment orderings of Gärdenfors and Makinson, and AGM theorycontraction (Alchourrón et al., 1985). To conclude, we compare refinedentrenchment with two related approaches to epistemic entrenchment.
Similar content being viewed by others
References
Alchourrón, C., 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, “Epistemic entrenchment in autoepistemic logic,” Fundamenta Informaticae 17, 5-29.
Boutilier, C., 1994, “Unifying default reasoning and belief revision in a modal framework,” Artificial Intelligence 68, 33-85.
Fermé, E., 1998, “On the logic of theory change: Contraction without recovery,” Journal of Logic, Language, and Information 7(2), 127-137.
Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: The MIT Press.
Gärdenfors, P. and Makinson, D., 1988, “Revisions of knowledge systems using epistemic entrenchment,” pp. 83-95 in Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, M. Vardi, ed., Los Altos, CA: Morgan Kaufmann.
Ginsberg, M.L., 1986, “Counterfactuals,” Artificial Intelligence 30, 35-79.
Grove, A., 1988, “Two modellings for theory change,” Journal of Philosophical Logic 17, 157-170.
Katsuno, H. and Mendelzon, A., 1991, “Knowledge base revision and minimal change,” Artificial Intelligence 52, 263-294.
Lehmann, D. and Magidor, M., 1992, “What does a conditional knowledge base entail?,” Artificial Intelligence 55, 1-60.
Lindström, S. and Rabinowicz, W., 1991, “Epistemic entrenchment with incomparabilities and relational belief revision,” pp. 93-126 in Proceedings of the Workshop on The Logic of Theory Change, Konstanz, FRG, October 1989, A. Fuhrmann and M. Morreau, eds., Lecture Notes in Artificial Intelligence, Vol. 465, Berlin: Springer-Verlag.
Makinson, D., 1987, “On the status of the postulate of recovery in the logic of theory change,” Journal of Philosophical Logic 16, 383-394.
Meyer, T.A., Labuschagne, W.A., and Heidema, J., 1998, “A semantic weakening of the recovery postulate for theory contraction,” Technical Report, University of South Africa. Department of Mathematics Research, Report No. 258/98(4).
Rabinowicz, W., 1995, “Stable revision, or is preservation worth preserving,” pp. 101-128 in Logic Action Information, A. Fuhrmann and H. Rott, eds., Berlin: Walter de Gruyter.
Rott, H., 1992, “Preferential belief change using generalized epistemic entrenchment,” Journal of Logic, Language, and Information 1, 45-78.
Rott, H. and Pagnucco, M., 1999, “Severe withdrawal (and recovery),” Journal of Philosophical Logic, to appear.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Meyer, T.A., Labuschagne, W.A. & Heidema, J. Refined Epistemic Entrenchment. Journal of Logic, Language and Information 9, 237–259 (2000). https://doi.org/10.1023/A:1008316802976
Issue Date:
DOI: https://doi.org/10.1023/A:1008316802976