Dynamic belief revision operators

Artificial Intelligence

Volumn 146, Issue 2, 2003, Pages 193-228

  Nayak, Abhaya C ^a   Pagnucco, Maurice ^b   Peppas, Pavlos ^c  

^a MACQUARIE UNIVERSITY   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c ATHENS INFORMATION TECHNOLOGY   (Greece)

Author keywords

Entrenchment kinematics; Iterated belief change; Lexicographic revision; Unary revision

Indexed keywords

EID: 2942655983     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(03)00017-1     Document Type: Conference Paper

References (26)

1. CE. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
2. C. Areces, V. Becher, Iterable AGM functions, in: M.-A. Williams, H. Rott (Eds.), Frontiers in Belief Revision, Kluwer Academic, Dordrecht, 2001.
3. R. Booth, The lexicographic closure as a revision process, J. Appl. Non-Classical Logics 11 (2001) 35-58.
4. C. Boutilier, Revision sequences and nested conditionals, in: R. Bajcsy (Ed.), Proc. IJCAI-93, Chambéry, France, 1993, pp. 519-525.
5. C. Boutilier, Iterated revision and minimal revision of conditional beliefs, J. Philos. Logic 25 (1996) 262-304.
6. A. Darwiche, J. Pearl, On the logic of iterated belief revision, in: R. Fagin (Ed.), Proc. Fifth Conference on the Theoretical Aspects of Reasoning about Knowledge, 1994, pp. 5-23.
7. A. Darwiche, J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89 (1997) 1-29. (Pubitemid 127412229)
8. P. Gärdenfors, Knowledge in Flux. Modeling the Dynamics of Epistemic States, Bradford/MIT, Cambridge, MA, 1988.
9. M. Freund, D. Lehmann, Belief revision and rational inference, Technical Report 94-16, Leibniz Center for Research in Computer Science, Institute of Computer Science, Hebrew University of Jerusalem.
10. P. Gärdenfors, D. Makinson, Revision of knowledge systems using epistemic entrenchment, in: M. Vardi (Ed.), Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA, 1988, pp. 83-95.
11. P. Gärdenfors, D. Makinson, Nonmonotonic inference based on expectation, Artificial Intelligence 65 (1994) 197-245.
12. A. Grove, Two modellings for theory change, J. Philos. Logic 17 (1988) 157-170.
13. S.O. Hansson, A Textbook of Belief Dynamics: Theory Change and Database Updating, Kluwer Academic, Dordrecht, 1999.
14. H. Katsuno, A.O. Mendelzon, On the difference between updating a knowledge base and revising it, in: P. Gärdenfors (Ed.), Belief Revision, Cambridge University Press, Cambridge, 1992, pp. 183-203.
15. S. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
16. D. Lehmann, Belief revision, revised, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 1534-1540.
17. A. Nayak, N. Foo, M. Pagnucco, A. Sattar, Changing conditional beliefs unconditionally, in: Y. Shoham (Ed.), Proc. Sixth Conference on Theoretical Aspects of Reasoning about Knowledge, 1996, pp. 119-135.
18. A.C. Nayak, Iterated belief change based on epistemic entrenchment, Erkenntnis 41 (1994) 353-390.
19. A. Nayak, N. Foo, M. Pagnucco, A. Sattar, Entrenchment kinematics 101, in: C. Zhang, J. Debenham, D. Lukose (Eds.), Proc. Seventh Australian Joint Conference on Artificial Intelligence, World Scientific, Singapore, 1994, pp. 157-164.
20. O. Papini, Iterated revision operations stemming from the history of an agent's observations, in: M.A. Williams, H. Rott (Eds.), Frontiers in Belief Revision, Kluwer Academic, Dordrecht, 2001.
21. P. Peppas, M.-A. Williams, Constructive modellings for theory change, Notre Dame J. Formal Logic 36 (1) (1995)120-133.
22. A. Renyi, Foundations of Probability, Holden-Day, 1970.
23. H. Rott, Change, Choice and Inference. A Study of Belief Revision and Nonmonotonic Reasoning, Oxford University Press, Oxford, 2001.
24. H. Rott, Coherence and conservatism in the dynamics of belief. Part I: Finding the right framework, Erkenntnis 50 (1999) 387-412.
25. W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, in: W.L. Harper, B. Skyrms (Eds.), Causation in Decision, Belief Change and Statistics, Vol. 2, 1988, pp. 105-134.
26. M.-A. Williams, Transmutations of knowledge systems, in: J. Doyle, E. Sandewall (Eds.), Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning, 1994, pp. 619-629.