Iterated belief change: A transition system approach

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 460-465

  Hunter, Aaron ^a   Delgrande, James P ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

A TRANSITIONS; ALTERNATING SEQUENCES; BELIEF CHANGE; BELIEF REVISION; EVOLUTION OPERATOR;

ARTIFICIAL INTELLIGENCE;

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

References (12)

1. C.E. Alchourron, P. Gardenfors, and D. Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50(2):510-530, 1985.
2. C. Boutilier. Generalized update: Belief change in dynamic settings. In Proceedings of IJCAI 1995, pages 1550-1556, 1995.
3. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89(1-2):1-29, 1997. (Pubitemid 127412229)
4. J.P. Delgrande. Preliminary considerations on the modelling of belief change operators by metric spaces. In Proceedings of NMR 2004, pages 118-125, June 2004.
5. M. Gelfond and V. Lifschitz. Action languages. Linköping Electronic Articles in Computer and Information Science, 3(16):1-16, 1998.
6. A. Herzig, J. Lang, and P. Marquis. Revision and update in multi-agent belief structures. In Proceedings of LOFT 6, 2004.
7. H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In Peter Gardenfors, editor, Belief Revision, pages 183-203. Cambridge University Press, 1992.
8. R.C. Moore. A formal theory of knowledge and action. In J.R. Hobbs and R.C. Moore, editors, Formal Theories of the Commonsense World, pages 319-358. Ablex Publishing, 1985.
9. A.C. Nayak. Iterated belief change based on epistemic entrenchment. Erkenntnis, 41:353-390, 1994.
10. O. Papini. Iterated revision operations stemming from the history of an agent's observations. In H. Rott and M. Williams, editors, Frontiers in Belief Revision, pages 279-301. Kluwer Academic Publishers, 2001.
11. S. Shapiro, M. Pagnucco, Y. Lesperance, and H.J. Levesque. Iterated belief change in the situation calculus. In Proceedings of KR 2000, pages 527-538. Morgan Kaufmann Publishers, 2000.
12. H.P. van Ditmarsch. Descriptions of game actions. Journal of Logic, Language and Information (JoLLI), 11:349-365, 2002.