Taking LEVI IDENTITY seriously: A plea for iterated belief contraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4092 LNAI, Issue , 2006, Pages 305-317

  Nayak, Abhaya ^a   Goebel, Randy ^b   Orgun, Mehmet ^a   Pham, Tarn ^c  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF ALBERTA   (Canada)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Belief Change; Information State Change; Iterated Belief Contraction

Indexed keywords

INFORMATION DISSEMINATION; INFORMATION USE; PROBLEM SOLVING;

BELIEF CHANGE; INFORMATION STATE CHANGE; ITERATED BELIEF CONTRACTION; LEVI IDENTITY;

ITERATIVE METHODS;

EID: 33749384838     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11811220_26     Document Type: Conference Paper

References (13)

1. C. E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change. Journal of Symbolic Logic, 50:510-530, 1985.
2. S. Benferhat, S. Konieczny, O. Papini and R. Pino Pérez. Iterated Revision by epistemic states: axioms, semantics and syntax. In W. Horn (ed.) Proceedings of ECAI 2000: 14th European Conference on Artificial Intelligence, pages 13-17, 2000, IOS Press.
3. A. Bochman. Contraction of epistemic states: A general theory. In M.-A. Williams and H. Rott (eds.) Frontiers in Belief Revision, Kluwer, pp. 195-220, 2001.
4. R. Booth, S. Chopra, A. Ghose and T. Meyer. A unifying semantics for belief change. In R. Lopez De Mantaras and L. Saitta (eds.) Proceedings of ECAI 2004: Sixteenth European Conference on Artificial Intelligence, pages 793-797, 2004, IOS Press.
5. C. Boutilier. Iterated revision and Minimal Revision of Conditional Beliefs. Journal of Philosophical Logic, 25:262 - 304, 1996.
6. A. Darwiche and J. Pearl. On the Logic of Iterated Belief Revision. Artifical Intelligence, 89:1-29, 1997.
7. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge Massachusetts, 1988.
8. A. Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157-170, 1988.
9. A. C. Nayak. Iterated Belief Change Based on Epistemic Entrenchment. Erkenntnis 41:353 - 390, 1994.
10. A. C. Nayak, M. Pagnucco, and P. Peppas. Dynamic belief revision operators. Artifical Intelligence, pages 193-228, 2003.
11. H. Rott. Change, Choice and Inference: A study of belief revision and nonmonotonic reasoning. Oxford Science Publications, Clarendon Press, 2001.
12. H. Rott. Adjusting Priorities: Simple Representations for 27 Iterated Theory Change Operators. Manuscript, October 2004.
13. M-A. Williams. Transmutations of Knowledge Systems. In J. Doyle and E. Sandewall (eds.) Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pp. 619 - 629, 1994.