Iterated belief contraction from first principles

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2568-2573

  Nayak, Abhaya C ^a   Goebel, Randy ^b   Orgun, Mehmet A ^a  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF ALBERTA   (Canada)

Author keywords

Belief change; Information state change; Iterated belief contraction

Indexed keywords

BELIEF CHANGE; BELIEF CONTRACTION; BELIEF REVISION; FIRST PRINCIPLES; INFORMATION STATE; ORDINAL RANKING;

ARTIFICIAL INTELLIGENCE;

EID: 84856166313     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. A. Bochman. Contraction of epistemic states: A general theory. In M.-A. Williams and H. Rott, editors, Frontiers in Belief Revision, pages 195-220. Kluwer, 2001.
3. C. Boutilier. Iterated revision and minimal revision of conditional beliefs. Journal of Philosophical Logic, 25:262-304, 1996.
4. Samir Chopra, Aditya Ghose, and Thomas Meyer. Iterated revision and the axiom of recovery: A unified treatment via epistemic states. In Proceedings of the ECAI 2002: 15th European Conference on Artificial Intelligence, ECAI, pages 541-545, 2002.
5. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artifical Intelligence, 89:1-29, 1997. (Pubitemid 127412229)
6. Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books, MIT Press, Cambridge Massachusetts, 1988.
7. Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157-170, 1988.
8. A. C. Nayak, M. Pagnucco, and P. Peppas. Dynamic Belief Revision Operators. Artifical Intelligence, pages 193-228, 2003.
9. A. C. Nayak, R. Goebel, M. A. Orgun, and T. Pham. Taking Levi Identity Seriously: A plea for iterated belief contraction. In Proc. of the 1st Int. Conf. on Knowledge Science, Engineering and Management (KSEM 06), pages 305-317. LNAI, Springer, 2006.
10. A. C. Nayak. Iterated Belief Change based on Epistemic Entrenchment. Erkenntnis, 41:353-390, 1994.
11. Hans Rott. Change, Choice and Inference: A study of belief revision and nonmonotonic reasoning. Oxford Science Publications, Clarendon Press, 2001.
12. Hans Rott. Shifting priorities: Simple representations for twenty-seven iterated theory change operators. Manuscript, 2006.
13. W. Spohn. Ordinal conditional functions. a dynamic theory of epistemic states. In W. L. Harper and B. Skirms, editors, Causation in Decisions, Belief Change and Statistics, vol. II, pages 105-134. Kluwer, 1988.
14. M-A. Williams. Transmutations of knowledge systems. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 619-29, 1994.