Abstract
We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
Similar content being viewed by others
References
AlchourrÓn, C., P. GÄrdenfors, and D. Makinson, ‘On the logic of theory change: Partial meet contraction and revision functions’, Journal of Symbolic Logic 50 (1985), 510–;530.
AlchourrÓn, C., and D. Makinson, ‘Hierarchies of regulations and their logic’, in R. Hilpinen (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, Pages 125–;148, 1981.
AlchourrÓn, C., and D. Makinson, ‘On the logic of theory change: Contraction functions and their associated revision functions’, Theoria 48 (1982), 14–;37.
Cantwell, J., ‘On the logic of small change in hypertheories’ Theoria 63 (1997), 54–;89.
GÄrdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, Cambridge, 1988.
Hansson, S. O., Belief Base Dynamics, PhD thesis, Uppsala University, 1991.
Hansson, S. O., ‘Semi-revision’, Journal of Applied Non-Classical Logic 7(1–;2) (1997), 151–;175.
Hansson, S. O., A Textbook of Belief Dynamics. Theory Change and Database Updating. (Vol. 11 in the Applied Logic Series), Kluwer Academic Publishers, Dordrecht, 1999.
Katsuno, H., and A. Mendelzon, ‘On the difference between updating a knowledge base and revising it’, in P. Gärdenfors (ed.), Belief Revision, number 29 in Cambridge Tracts in Theoretical Computer Science, pages 183–;203. Cambridge University Press, 1992.
Makinson, D., ‘Screened revision’, Theoria 63 (1997), 54–;89.
Olsson, E., Coherence, PhD thesis, Uppsala University, 1997.
van Benthem, J., The Logic of Time, Second Edition, Kluwer Academic Publisher, 1991.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fermé, E.L., Hansson, S.O. Selective Revision. Studia Logica 63, 331–342 (1999). https://doi.org/10.1023/A:1005294718935
Issue Date:
DOI: https://doi.org/10.1023/A:1005294718935