Abstract
In this paper we present an axiomatic characterization for brutal contractions. Then we consider the particular case of the brutal contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements (using the procedure proposed by Mary-Anne Williams). We present axiomatic characterizations for each one of those classes of functions and investigate the interrelation among them.
Similar content being viewed by others
References
Alchourrón C., Gärdenfors P., Makinson D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510–530 (1985)
Alchourrón C., Makinson D.: On the logic of theory change: Safe contraction. Studia Logica 44, 405–422 (1985)
Fermé E., Hansson S. O.: AGM 25 years: Twenty-five years of research in belief change. Journal of Philosophical Logic 40, 295–331 (2011)
Fermé E., Krevneris M., Reis M.: An axiomatic characterization of ensconcement-based contraction. Journal of Logic and Computation 18(5), 739–753 (2008)
Fermé E., Rodriguez R.: A brief note about the Rott contraction. Logic Journal of the IGPL 6(6), 835–842 (1998)
Gärdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, MA, 1988.
Gärdenfors, P., and D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in Moshe Y. Vardi, (ed.), Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, Los Altos, 1988, pp. 83–95.
Grove A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157–170 (1988)
Hansson S. O.: Kernel contraction. Journal of Symbolic Logic 59, 845–859 (1994)
Hansson, S. O., Revision of belief sets and belief bases, in D. Dubois and H. Prade, (eds.), Belief Change, Handbook of Defeasible Reasoning and Uncertainty Management Systems, Springer Netherlands, Dordrecht, 1999, pp. 17–75.
Hansson, S. O., A Textbook of Belief Dynamics. Theory Change and Database Updating., Applied Logic Series, Kluwer Academic Publishers, Dordrecht, 1999.
Rott H.: Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic 20, 149–173 (1991)
Rott, H., Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, Oxford Logic Guides, Clarendon Press, Oxford, 2001.
Rott, H., and S. O. Hansson, Safe contraction revisited, in S. O. Hansson, (ed.), David Makinson on Classical Methods for Non-Classical Problems, vol. 3 of Outstanding Contributions to Logic, Springer, Dortrecht, 2014, pp. 35–70.
Rott H., Pagnucco M.: Severe withdrawal (and recovery). Journal of Philosophical Logic 28, 501–547 (1999)
Williams, M.-A., Two operators for theory bases, in Proceedings of the Australian Joint Artificial Intelligence Conference, World Scientific, 1992, pp. 259–265.
Williams, M.-A., On the logic of theory base change, in C. MacNish, D. Pearce, and L. M. Pereira, (eds.), Logics in Artificial Intelligence, no. 835 in Lecture Notes Series in Computer Science, Springer Verlag, 1994, pp. 86–105
Williams M.-A., Iterated theory base change: A computational model, in Proceedings of the 14th IJCAI, Montreal, Canada, 1995, pp. 1541–1547.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by David Makinson
Rights and permissions
About this article
Cite this article
Garapa, M., Fermé, E. & Reis, M.D.L. Studies on Brutal Contraction and Severe Withdrawal. Stud Logica 105, 331–360 (2017). https://doi.org/10.1007/s11225-016-9691-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9691-y