Abstract
An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are reported on operations on bases that are closed under material implication.
Similar content being viewed by others
References
Alchourrón, C.E., Gärdenfors, P. and Makinson, D., 1985, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions,”Journal of Symbolic Logic 50, 510–530.
Alchourrón, C.E., and Makinson, D., 1982, “On the Logic of Theory Change: Contraction Functions And Their Associated Revision Functions,”Theoria 48, 14–37.
Fuhrmann, A., 1991, “Theory contraction through base contraction,”Journal of Philosophical Logic20, 175–203.
Gärdenfors, P., 1988,Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: The MIT Press, Bradford Books.
Ginsberg, M.L. and Smith, D.E., 1988, “Reasoning about Action I,”Artificial Intelligence 35, 165–195.
Hansson, S.O., 1989, “New Operators For Theory Change,”Theoria 55, 114–132.
Hansson, S.O., 1991, “Belief Contraction Without Recovery,”Studia Logica 50, 251–260.
Hansson, S.O., 1992a, “In Defense of Base Contraction,”Synthese 91, 239–245.
Hansson, S.O., 1992b, “A Dyadic Representation of Belief,” pp. 89–121 inBelief Revision, P. Gärdenfors, ed., Cambridge: Cambridge University Press.
Hansson, S.O., 1992c, “Reversing the Levi Identity,”Journal of Philosophical Logic, in press.
Hansson, S.O., 1992d, “Theory Contraction and Base Contraction Unified,”Journal of Symbolic Logic, in press.
Makinson, D., 1987, “On the status of the postulate of recovery in the logic of theory change,”Journal of Philosophical Logic 16, 383–394.
Nayak, A.C., 1992, “Foundational belief change,”Journal of Philosophical Logic, in press.
Nebel, B., 1989, “A Knowledge Level Analysis of Belief Revision,” pp. 301–311 inPrinciples of Knowledge Representation and Reasoning, Proceedings of the 1st International Conference, Ronald Brachman, Hector Levesque and Raymond Reiter, eds., San Mateo, CA: Morgan Kaufmann.
Nebel, B., 1992, “Syntax-Based Approaches to Belief Revision,” pp. 52–88 inBelief Revision, Peter Gärdenfors, ed., Cambridge: Cambridge University Press.
Rott, H., 1992a, “Belief Contraction in the Context of the General Theory of Rational Choice,”Journal of Symbolic Logic, in press.
Rott, H., 1992b, “Modelings for Belief Change: Prioritization and Entrenchment,”Theoria, in press.
Author information
Authors and Affiliations
Additional information
I would like to thank Hans Rott and two anonymous referees for valuable comments and the Swedish Council for Research in the Humanities and Social Sciences for financial support.
Rights and permissions
About this article
Cite this article
Hansson, S.O. Changes of disjunctively closed bases. J Logic Lang Inf 2, 255–284 (1993). https://doi.org/10.1007/BF01181682
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01181682