Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-14T07:38:32.548Z Has data issue: false hasContentIssue false
  • English
  • Français

Theory contraction and base contraction unified

Published online by Cambridge University Press:  12 March 2014

Sven Ove Hansson
Sven Ove Hansson*
Affiliation:
Department of Philosophy, Uppsala University, S-752 36 Uppsala, Sweden, E-mail: filsoh@strix.udac.uu.se
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 58 , Issue 2 , June 1993 , pp. 602 - 625
Copyright
Copyright © Association for Symbolic Logic 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Alchourron, C. E., Gärdenfors, P. and Makinson, D., On the logic of theory change: partial meet contraction and revision functions, this Journal, vol. 50 (1985), pp. 510–530.Google Scholar
[2]Fuhrmann, A., Theory contraction through base contraction, Journal of Philosophical Logic, vol. 20 (1991), pp. 175–203.CrossRefGoogle Scholar
[3]Gärdenfors, P., Epistemic importance and minimal changes of belief, Australasian Journal of Philosophy, vol. 62 (1984), pp. 136–157.CrossRefGoogle Scholar
[4]Gärdenfors, P., Knowledge in Flux. Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, Massachusetts, 1988.Google Scholar
[5]Gärdenfors, P. and Makinson, D., Revisions of knowledge systems using epistemic entrenchment, Proceedings of the second conference on theoretical aspects of reasoning about knowledge (Vardi, M. Y., editor), 1988, pp. 83–95.Google Scholar
[6]Hansson, S. O., New operators for theory change, Theoria, vol. 55 (1989), pp. 114–132.CrossRefGoogle Scholar
[7]Hansson, S. O., Belief contraction without recovery, Studia Logica, vol. 50 (1991), pp. 251–260.CrossRefGoogle Scholar
[8]Hansson, S. O., Reversing the Levi identity, Journal of Philosophical Logic, in press.Google Scholar
[9]Hansson, S. O., In defense of base contraction, Synthese, vol. 91 (1992), pp. 239–245.CrossRefGoogle Scholar
[10]Makinson, D., On the status of the postulate of recovery in the logic of theory change, Journal of Philosophical Logic, vol. 16 (1987), pp. 383–394.CrossRefGoogle Scholar
[11]Nebel, B., Syntax-Based approaches to belief revision, Belief revision (Gärdenfors, P., editor), Cambridge University Press, Cambridge, 1992, pp. 52–88.CrossRefGoogle Scholar
[12]Niederée, R., Multiple contraction. A further case against Gärdenfors' principle of recovery, The logic of theory change (Fuhrmann, A. and Murreau, M., editors), Lecture Notes in Artificial Intelligence, vol. 465, Springer-Verlag, Berlin, 1991, pp. 322–334.CrossRefGoogle Scholar
[13]Sen, A., Collective choice and social welfare, Holden-Day, San Francisco, 1970.Google Scholar