Belief liberation (and retraction)

Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2003

Volumn , Issue , 2003, Pages 159-172

  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

[No Author keywords available]

Indexed keywords

BELIEF CHANGE; FORMAL STUDIES; LEVI IDENTITY; REVISION OPERATOR; SLIGHT VARIANT;

EID: 85017354324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/846241.846263     Document Type: Conference Paper

References (17)

1. C. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic, 50 (1985) 510-530.
2. A. Bochman, Belief contraction as nonmonotonic inference, Journal of Symbolic Logic, 65 (2000) 605-626.
3. S. Chopra, K. Georgatos and R. Parikh, Relevance sensitive non-monotonic inference for belief sequences, Journal of Applied Non-Classical Logics, 11 (1-2) (2001) 131-150.
4. J. Doyle, Reason maintenance and belief revision: Foundations versus coherence theories, in: P. Gärdenfors (ed.), Belief Revision, Cambridge University Press, (1992) 29-51.
5. M. Freund, On rational preferences, Journal of Mathematical Economics 30 (1998) 215-228.
6. A. Fuhrmann and S. O. Hansson, A survey of multiple contractions, Journal of Logic, Language and Information, 3 (1994) 39-76.
7. P. Gärdenfors, Knowledge in Flux, MIT Press, (1988).
8. S. M. Glaister, Recovery recovered, Journal of Philosophical Logic, 29 (2000) 171-206.
9. S. O. Hansson, Theory contraction and base contraction unified, Journal of Symbolic Logic, 58 (1993) 602-625.
10. S. O. Hansson, A Textbook of Belief Dynamics, Kluwer Academic Publishers, (1999).
11. D. Lehmann, Belief revision, revised, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95) (1995) 1534-1540.
12. D. Makinson, On the status of the postulate of recovery in the logic of theory change, Journal of Philosophical Logic, 16 (1987) 383-394.
13. T.A Meyer, J. Heidema, W. Labuschagne and L. Leenen, Systematic Withdrawal, Journal of Philosophical Logic, 31, 5 (2002) 415-443.
14. T. A. Meyer, A. K. Ghose and S. Chopra, Non-prioritised ranked belief change, in: Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK'01) (2001) 151-162.
15. B. Nebel, 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) 77-145.
16. R. Reiter, A logic for default reasoning, Artificial Intelligence, 13 (1980) 81-132.
17. H. Rott and M. Pagnucco, Severe withdrawal (and recovery), Journal of Philosophical Logic, 28 (1999) 501-547.