A unifying semantics for belief change

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 793-797

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

^a UNIVERSITY OF LEIPZIG   (Germany)

^b City College of New York   (United States)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

^d UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF CHANGE; BELIEF CONTRACTION; BELIEF REVISION; CHANGE OPERATORS; CONDITION; POSSIBLE WORLD SEMANTICS; POSSIBLE WORLDS; SECOND ORDERS;

SEMANTICS;

EID: 85017340257     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

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, 510-530, (1985).
2. H Andreka, M. Ryan, and P. Y. Schobbens, 'Operators and laws for combining preference relations', Journal of Logic and Computation, 12(1), 13-53, (2002).
3. A. Bochman, A Logical Theory of Nonmonotonic Inference and Belief Change, Springer, 2001.
4. R. Booth, S. Chopra, A. Ghose, and T. Meyer, 'Belief liberation (and retraction)', in Proceedings of the Ninth Conference on Theoretical Aspects of Rationality and Knowledge (TARK'03), pp. 159-172, (2003).
5. J. Cantwell, 'Eligible contraction', Studia Logica, 73, 167-182, (2003).
6. P. Gärdenfors, Knowledge in Flux, MIT Press, 1988.
7. A. Grove, 'Two modellings for theory change', Journal of Philosophical Logic, 17, 157-170, (1988).
8. S. O. Hansson, 'Changes of disjunctively closed bases', Journal of Logic, Language and Information, 2(4), 255-284, (1993).
9. S. O. Hansson, 'Theory contraction and base contraction unified', Journal of Symbolic Logic, 58, 602-625, (1993).
10. S. O. Hansson, A Textbook of Belief Dynamics, Kluwer Academic Publishers, 1999.
11. H. Katsuno and A.O. Mendelzon, 'Propositional knowledge base revision and minimal change', Artificial Intelligence, 52, 263-294, (1991).
12. S. Kraus, D. Lehmann, and M. Magidor, 'Nonmonotonic reasoning, preferential models and cumulative logics', Artificial Intelligence, 44, 167-207, (1991).
13. T. Meyer, J. Heidema, W. Labuschagne, and L. Leenen, 'Systematic withdrawal', Journal of Philosophical Logic, 31, 415-443, (2002).
14. H. Rott, 'Preferential belief change using generalized epistemic entrenchment', Journal of Logic, Language and Information, 1, 45-78, (1992).
15. H. Rott and M. Pagnucco, 'Severe withdrawal (and recovery)', Journal of Philosophical Logic, 28, 501-547, (1999).