Theory Contraction and Base Contraction Unified
One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.
I would like to thank Peter Gärdenfors, Hans Rott, Wlodek Rabinowicz, and an anonymous referee for valuable comments on an earlier version.
- Gärdenfors, P. (1988). Knowledge in flux. Modeling the dynamics of epistemic states. Cambridge: MIT Press.Google Scholar
- Gärdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In M. Y. Vardi (Ed.), Proceedings of the second conference on theoretical aspects of reasoning about knowledge (pp. 83–95).Google Scholar
- Sen, A. (1970). Collective choice and social welfare. San Francisco: Holden-Day, Inc.Google Scholar