A framework for iterated revision

Journal of Applied Non-Classical Logics

Volumn 10, Issue 3-4, 2000, Pages 339-367

  Konieczny, Sebastien ^a   Pérez, Pino Rǎmon ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Belief revision; Iterated Belief revision

Indexed keywords

EID: 0013430390     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.2000.10511003     Document Type: Article

References (38)

1. C. E. Alchourrón, P. Giirdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530, 1985.
2. S. Benferhat, D. Dubois and 0. Papini. A sequential reversible belief revision methods based on polynomials. In Proceedings of AAAI'99, pages 733-738, 1999.
3. S. Benferhat, S. Konieczny, 0. Papini, and R. Pino Perez. Revision iteree basee sur la primaute forte des observations. In Journees Nationales sur les Modeles de misonnement ( JNMR '99 ), Paris, 1999. Electronic proceedings http:/ jwww.irit.fr/GDRI3-ModRais / articlesJNMR.html.
4. S. Benferhat, S. Konieczny, 0. Papini, and R. Pino Perez. Iterated revision by epistemic states: axioms, semantics and syntax. In Proceedings of the fourteenth European Conference on Artificial Intelligence (ECAI'OO), pages 13-17, 2000.
5. C. Boutilier. Revision sequences and nested conditionals. In Proceedings oj the Thirteenth International Joint Conference on A rtificial Intelligence (IJCAI-93), pages 519-525, 1993.
6. C. Boutilin. Iterated revision and minimal change of conditional beliefs. JOTtrnal of Philosophical Logic, 25(3):262-305, 1996.
7. M. Dalal. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of AAAI-88, pages 475-479, 1988.
8. A. Darwiche and J. Pearl. On the logic of iterated belief revision. In Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1994 Conference, pages 5-23, 1994.
9. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial intelligence, 89:1-29, 1997. (Pubitemid 127412229)
10. N. Friedman and J.Y. Halpern. Belief revision: a critique. In Proceeding~ of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR '96), pages 421-431, 1996.
11. E. L. Ferrne and S. 0. Hansson. Selective revision. Studia Logica, 3(3):331-342, 1999.
12. M. Freund and D. Lehmann. Belief revision and rational inference. Technical Report TR-94-16, Institute of Computer Science, The Hebrew University of Jerusalem, 1994.
13. P. Giirdenfors. Knowledge in flux. MIT Press, 1988.
14. S. 0. Hansson. Semi-revision. Journal of applied non-classical logic, 7:151-175, 1997.
15. H. Katsuno and A. 0. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91}, pages 387-394, 1991.
16. H. Katsuno and A. 0. Mendelzon. Propositional knowledge base revtston and minimal change. Artificial Intelligence, 52:263-294, 1991.
17. D. Lehmann. Belief revision, revised. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95}, pages 1534-1540, 1995.
18. P. Liberatore. The complexity of iterated belief revision. In Proceedings of the Sixth International Conference on Database Theory (ICDT'97}, pages 276-290, 1997. (Pubitemid 127013759)
19. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
20. D. Makinson. Screened revision. Theoria, 1998. Special issue on non-prioritized belief revision. (NFPS96]
21. A. C. Nayak, N. Y. Faa, M. Pagnucco, and A. Sattar. Changing conditional beliefs unconditionally. In Proceedings of the sixth conference of Theoretical Aspects of Rationality and Knowledge, pages 119-135, 1996.
22. M. D. Ryan. Defaults and revision in structured theories. In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science (LICS'91}, pages 362-373, 1991.
23. M. D. Ryan. Ordered Presentations of Theories. PhD thesis, Imperial College, London, 1992
24. M. D. Ryan. Belief revision and ordered thr;ory presentations. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information. De Gruyter Publishers, 1994. Also in Proceedings of the Eighth Amsterdam Colloquium on Logic, University of Amsterdam, 1991.
25. K. Schlechta. Non-prioritized belief revision based on distances between models. Theoria, 1998. Special issue on non-prioritized belief reVlSlOn.
26. P. Giirdenfors. Knowledge in flux. MIT Press, 1988.
27. S. 0. Hansson. Semi-revision. Journal of applied non-classical logic, 7:151-175, 1997.
28. H. Katsuno and A. 0. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91}, pages 387-394, 1991.
29. H. Katsuno and A. 0. Mendelzon. Propositional knowledge base revtston and minimal change. Artificial Intelligence, 52:263-294, 1991.
30. D. Lehmann. Belief revision, revised. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI' 95}, pages 1534-1540, 1995.
31. P. Liberatore. The complexity of iterated belief revision. In Proceedings of the Sixth International Conference on Database Theory (ICDT'97}, pages 276-290, 1997. (Pubitemid 127013759)
32. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
33. D. Makinson. Screened revision. Theoria, 1998. Special issue on non-prioritized belief revision. (NFPS96]
34. A. C. Nayak, N. Y. Faa, M. Pagnucco, and A. Sattar. Changing conditional beliefs unconditionally. In Proceedings of the sixth conference of Theoretical Aspects of Rationality and Knowledge, pages 119-135, 1996.
35. M. D. Ryan. Defaults and revision in structured theories. In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science (LICS'91}, pages 362-373, 1991.
36. M. D. Ryan. Ordered Presentations of Theories. PhD thesis, Imperial College, London, 1992.
37. M. D. Ryan. Belief revision and ordered thr;ory presentations. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information. De Gruyter Publishers, 1994. Also in Proceedings of the Eighth Amsterdam Colloquium on Logic, University of Amsterdam, 1991.
38. K. Schlechta. Non-prioritized belief revision based on distances between models. Theoria, 1998. Special issue on non-prioritized belief reVlSlOn.