Abstract
The purpose of this paper is to introduce the concept of closure-invariance, which can be used in studies of the operations on a belief set (theory) that are generated by operations on a base for that belief set. Section 1 provides an introduction to belief bases and to knowledge-level analysis. In section 2, two major approaches to contraction of belief bases are introduced, and in section 3 some representation theorems are reported for the operations on belief sets that are generated by various types of contraction operators on bases. In section 4, the notion of closure-invariance is introduced, and in sections 5–7 some variations of closure-invariance are discussed. The Appendix contains a series of results on contractions of finite sets that are referred to in sections 4–5.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C. E., and Makinson, D., Hierarchies of Regulation and Their Logic, pp. 125–148 in Hilpinen (ed.), New Studies in Deontic Logic, D. Reider Publishing Company, 1981.
Alchourrón, C. E., Gärdenfors, P., and Makinson, D., On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic, 50 (1985): 510–530.
Alchourrón, C. E., and Makinson, D., On the Logic of Theory Change: Safe Contraction, Studio Logica, 44 (1985): 405–422.
Brachman, R. J., and Levesque, H.J., What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level, pp. 69–78 in Kerschberg (ed.), Expert Database Systems, Proceeding from the first international workshop, The Benjarnin/Cummings Publishing Company, 1986.
Fuhrmann, A., Theory Contraction Through Base Contraction, Journal of Philosophical Logic, 20 (1991): 175–203.
Gärdenfors, P., An Epistemic Approach to Conditionals, American Philosophical Quarterly, 18 (1981): 203–211.
Gärdenfors, P., Knowledge in Flux. Modeling the Dynamics of Epistemic States., The MIT Press, Cambridge, Massachusetts, 1988.
Gärdenfors, P., and Rott, H., Belief Revision, pp. 35–132 in Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay, Hogger, and Robinson (eds.), vol 4, Oxford University Press, Oxford 1995.
Hansson, S. O., Belief Contraction Without Recovery, Studia Logica, 50 (1991): 251–260.
Hansson, S. O., A Dyadic Representation of Belief, pp. 89–121 in Gärdenfors (ed.), Belief Revision, Cambridge University Press, Cambridge, 1992.
Hansson, S. O., Similarity Semantics and Minimal Changes of Belief, Erkenntnis, 37 (1992): 401–429.
Hansson, S. O., Changes on Disjunctively Closed Bases, Journal of Logic, Language and Information, 2 (1993): 255–284.
Hansson, S. O., Kernel Contraction, Journal of Symbolic Logic, 59 (1994): 845–859.
Hansson, S. O., Reversing the Levi Identity, Journal of Philosophical Logic, 22 (1993): 637–669.
Hansson, S. O., Theory Contraction and Base Contraction Unified, Journal of Symbolic Logic, 58 (1993): 602–625.
Hansson, S. O., Hidden Structures of Belief, pp. 79–100 in Fuhrmann and Rott (eds.), Logic, Action and Information, de Gruyter, Berlin, 1996.
Levi, I., Subjunctives, Dispositions and Chances, Synthese, 34 (1977): 423–455.
Levi, I., The Enterprise of Knowledge, MTT Press, Cambridge, Massachusetts, 1980.
Newell, A., The Knowledge Level, Artificial Intelligence, 18 (1982): 87–127.
Rott, H., Preferential Belief Change Using Generalized Epistemic Entrenchment, Journal of Logic, Language and Information, 1 (1992):45–78.
Rott, H., Belief contraction in the context of the general theory of rational choice, Journal of Symbolic Logic, 58 (1993): 1426–1450.
Rott, H., Modellings for Belief Change: Prioritization and Entrenchment, Theoria, 58 (1992): 21–57.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hansson, S.O. (1997). Closure-Invariant Rationality Postulates. In: Ejerhed, E., Lindström, S. (eds) Logic, Action and Cognition. Trends in Logic, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5524-3_6
Download citation
DOI: https://doi.org/10.1007/978-94-011-5524-3_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6326-5
Online ISBN: 978-94-011-5524-3
eBook Packages: Springer Book Archive