On the logic of iterated non-prioritised revision

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3301, Issue , 2005, Pages 86-107

  Booth, Richard ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; INFERENCE ENGINES; MATHEMATICAL MODELS; FUNCTION EVALUATION; MATHEMATICAL OPERATORS;

MAKINSON'S SCREENED REVISION;

INFORMATION ANALYSIS; FORMAL LOGIC;

ITERATED NON-PRIORITISED REVISION; MIXED SEQUENCES;

EID: 26444493100     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11408017_6     Document Type: Conference Paper

References (22)

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. R. Booth, A negotiation-style framework for non-prioritised revision, in: Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2001) (2001) 137-150.
3. C. Boutilier, Iterated revision and minimal change of conditional beliefs, Journal of Philosophical Logic 25 (1996) 262-305.
4. C. Boutilier and M. Goldszmidt, Revision by conditional beliefs, in: Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI'93) (1993) 649-654.
5. J. Cantwell, Some logics of iterated belief change, Studia Logica 63 (1999) 49-84.
6. S. Chopra, K. Georgatos and R. Parikh, Relevance sensitive non-monotonic inference on belief sequences, Journal of Applied Non-Classical Logics 11(1-2) (2001) 131-150.
7. S. Chopra, A. K. Ghose and T. A. Meyer, Iterated revision and recovery: a unified treatment via epistemic states, in: Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI 2002) (2002) 541-545.
8. A. Darwiche and J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89 (1997) 1-29.
9. E. Fermé, Revising the AGM Postulates, PhD Thesis, Universidad de Buenos Aires (1999).
10. P. Gärdenfors, Knowledge in Flux, MIT Press (1988).
11. A. Grove, Two modellings for theory change, Journal of Philosophical Logic, 17 (1988) 157-170.
12. S. O. Hansson, A survey of non-prioritized belief revision, Erkenntnis 50 (1999) 413-427.
13. S. O. Hansson, E. Fermé, J. Cantwell and M. Falappa, Credibility-limited revision, Journal of Symbolic Logic 66(4) (2001) 1581-1596.
14. A. Herzig, S. Konieczny and L. Perrussel, On iterated revision in the AGM framework, in: Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'03) (2003).
15. H. Katsuno and A. O. Mendelzon, Prepositional knowledge base revision and minimal change, Artificial Intelligence 52 (1991) 263-294.
16. G. Kern-Isberner, Postulates for conditional belief revision, in: Proceedings of the Sixteenth International Conference on Artificial Intelligence (IJCAI'99) (1999) 186-191.
17. S. Konieczny and R. Pino Pérez, A framework for iterated revision, Journal of Applied Non-Classical Logics 10(3-4) (2000) 339-367.
18. D. Lehmann, Belief revision, revised, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95) (1995) 1534-1540.
19. D. Makinson, Screened revision, Theoria 63 (1997) 14-23.
20. A. C. Nayak, Iterated belief change based on epistemic entrenchment, Erkenntnis 41 (1994) 353-390.
21. A. C. Nayak, M. Pagnucco and P. Peppas, Dynamic belief revision operators, Artificial Intelligence 146 (2003) 193-228.
22. H. Rott, Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, Oxford University Press (2001).