Belief liberation (and retraction)

Studia Logica

Volumn 79, Issue 1, 2005, Pages 47-72

  Booth, Richard ^a   Chopra, Samir ^b   Ghose, Aditya ^c   Meyer, Thomas ^d  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b CITY UNIVERSITY OF NEW YORK   (United States)

^c UNIVERSITY OF WOLLONGONG   (Australia)

^d UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

AGM theory; Belief revision; Contraction; Inclusion postulate; Withdrawal

Indexed keywords

EID: 27144453438     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-0494-9     Document Type: Article

References (17)

1. 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:510-530, 1985.
2. BOCHMAN, A., 'Belief contraction as nonmonotonic inference', Journal of Symbolic Logic, 65:605-626, 2000.
3. CHOPRA, S., K. GEORGATOS, and R. PARIKH, 'Relevance sensitive non-monotonic inference for belief sequences', Journal of Applied Non-Classical Logics, 11(1-2):131-150, 2001.
4. CHOPRA, S., A. CHOSE, and T. MEYER, 'Non-prioritized ranked belief change', Journal of Philosophical Logic, 32(4):417-443, 2003.
5. DOYLE, J., 'Reason maintenance and belief revision: Foundations versus coherence theories', in P. Gärdenfors, (ed.), Belief Revision, Cambridge University Press, 1992, pp. 29-51.
6. FREUND, M., 'On rational preferences', Journal of Mathematical Economics, 30:215-228, 1998.
7. FUHRMANN, A., and S. O. HANSSON, 'A survey of multiple contractions', Journal of Logic, Language and Information, 3:39-76, 1994.
8. GÄRDENFORS, P., Knowledge in Flux, MIT Press, 1988.
9. GLAISTER, S. M., 'Recovery recovered', Journal of Philosophical Logic, 29:171-206, 2000.
10. HANSSON, S. O., 'Theory contraction and base contraction unified', Journal of Symbolic Logic, 58:602-625, 1993.
11. HANSSON, S. O., A Textbook of Belief Dynamics, Kluwer Academic Publishers, 1999.
12. LEHMANN, D., 'Belief revision, revised', in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95), 1995, pp. 1534-1540.
13. MAKINSON, D., 'On the status of the postulate of recovery in the logic of theory change', Journal of Philosophical Logic, 16:383-394, 1987.
14. MEYER, T., J. HEIDEMA, W. LABUSCHAGNE, and L. LEENEN, 'Systematic withdrawal', Journal of Philosophical Logic, 31(5):415-443, 2002.
15. NEBEL, B., 'How hard is it to revise a belief base?', in D. Dubois and H. Prade, (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 3: Belief Change, Kluwer Academic Publishers, 1998, pp. 77-145.
16. REITER, R., 'A logic for default reasoning', Artificial Intelligence, 13:81-132, 1980.
17. ROTT, H., and M. PAGNUCCO, 'Severe withdrawal (and recovery)', Journal of Philosophical Logic, 28:501-547, 1999.