Iterated belief revision, revised

Artificial Intelligence

Volumn 171, Issue 1, 2007, Pages 1-18

  Jin, Yi ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Conditional beliefs; Implicit dependence; Iterated belief revision

Indexed keywords

INFORMATION ANALYSIS; INTELLIGENT AGENTS; PROBLEM SOLVING; THEOREM PROVING;

CONDITIONAL BELIEFS; IMPLICIT DEPENDENCE; ITERATED BELIEF REVISION;

ITERATIVE METHODS;

EID: 33846103835     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2006.11.002     Document Type: Article

References (39)

1. Alchourrón C.E., and Makinson D. On the logic of theory change: contraction functions and their associated revision functions. Theoria 48 (1982) 14-37
2. Alchourrón C.E., and Makinson D. On the logic of theory change: safe contraction. Studia Logica 44 (1985) 405-422
3. Alchourrón C.E., Gärdenfors P., and Makinson D. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic 50 2 (1985) 510-530
4. R. Booth, S. Chopra, T. Meyer, Restrained revision, in: Proceedings of the Sixth Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), 2005
5. Booth R. A negotiation-style framework for non-prioritised revision. Proceedings of Theoretical Aspects of Reasoning about Knowledge (TARK) vol. 8 (2001), Morgan Kaufmann 137-150
6. C. Boutilier, Revision sequences and nested conditionals, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1993, pp. 519-525
7. Boutilier C. Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic 25 3 (1996)
8. Darwiche A., and Pearl J. On the logic of iterated belief revision. In: Fagin R. (Ed). Proceedings of Theoretical Aspects of Reasoning about Knowledge (TARK) (1994), Morgan Kaufmann 5-23
9. Darwiche A., and Pearl J. On the logic of iterated belief revision. Artificial Intelligence 89 (1997) 1-29
10. Delgrande J.P., Dubois D., and Lang J. Iterated revision as prioritized merging. In: Doherty P., Mylopoulos J., and Welty C.A. (Eds). Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR) (2006), AAAI Press 210-220
11. Fariñas del Cerro L., and Herzig A. Belief change and dependence. In: Shoham Y. (Ed). Proceedings of Theoretical Aspects of Reasoning about Knowledge (TARK) (1996), Morgan Kaufmann 147-162
12. Fermé E.L., and Hansson S.O. Selective revision. Studia Logica 63 3 (1999) 331-342
13. M. Freund, D. Lehmann, Belief revision and rational inference, Technical Report TR-94-16, Institute of Computer Science, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel, 1994
14. P. Gärdenfors, D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in: Proceedings of Theoretical Aspects of Reasoning about Knowledge (TARK), Asilomar, CA, 1988, pp. 83-95
15. Gärdenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States (1988), MIT Press
16. M. Goldszmidt, Qualitative probabilities: a normative framework for commonsense reasoning, PhD thesis, University of California at Los Angeles, 1992
17. Hansson S.O. Revision of belief sets and belief bases. In: Dubois D., and Prade H. (Eds). Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 3: Belief Change (1998), Kluwer Academic Publishers, Dordrecht 17-75
18. Hansson S.O. A survey of non-prioritized belief revision. Erkenntnis 50 (1999) 413-427
19. Hansson S.O. Ten philosophical problems in belief revision. Journal of Logic and Computation 13 1 (2003) 37-49
20. Jin Y., and Thielscher M. Representing beliefs in the fluent calculus. In: de Mántaras R.L., and Saitta L. (Eds). Proceedings of the European Conference on Artificial Intelligence (ECAI). Valencia, Spain (August 2004), IOS Press 823-827
21. Y. Jin, M. Thielscher, Actions and belief revision: a computational approach, in: J. Delgrande, J. Lang, H. Rott, J. Tallon, (Eds.), Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, Dagstuhl Seminar 05321, 2005
22. Katsuno H., and Mendelzon A. On the difference between updating a knowledge base and revising it. In: Allen J.F., Fikes R., and Sandewall E. (Eds). Proceedings of Principles of Knowledge Representation and Reasoning (KR) (1991), Morgan Kaufmann 387-394
23. Katsuno H., and Mendelzon A.O. Propositional knowledge base revision and minimal change. Artificial Intelligence 52 3 (1991) 263-294
24. Keller A.M., and Winslett M. On the use of an extended relational model to handle changing incomplete information. IEEE Transactions on Software Engineering SE-11 7 (July 1985) 620-633
25. Konieczny S., and Pérez R.P. A framework for iterated revision. Journal of Applied Non-Classical Logics 10 3-4 (2000)
26. S. Konieczny, R.P. Pérez, Dynamical revision operators with memory, in: S. Benferhat, E. Giunchiglia (Eds.), Ninth International Workshop on Non-Monotonic Reasoning (NMR), 2002, pp. 171-179
27. D.J. Lehmann, Belief revision, revised, in: C.S. Mellish (Ed.), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1995, pp. 1534-1540
28. Nayak A., Foo N., Pagnucco M., and Sattar A. Changing conditional belief unconditionally. Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) (1996), Morgan Kaufmann 119-135
29. Nayak A., Nelson P., and Polansky H. Belief change as change in epistemic entrenchment. Synthese 109 (1996) 143-174
30. Nayak A., Pagnucco M., and Peppas P. Dynamic belief revision operators. Artificial Intelligence 146 2 (2003) 193-228
31. Nayak A. Iterated belief change based on epistemic entrenchment. Erkenntnis 4 (1994) 353-390
32. Rott H. A nonmonotonic conditional logic for belief revision. In: Fuhrmann A., and Morreau M. (Eds). The Logic of Theory Change (1991), Springer, Berlin 135-183
33. Rott H. Coherence and conservatism in the dynamics of belief. Part i: finding the right framework. Erkenntnis 50 (1999) 387-412
34. Rott H. Two dogmas of belief revision. Journal of Philosophy 97 9 (2000) 503-522
35. Rott H. Coherence and conservatism in the dynamics of belief II: iterated belief change without dispositional coherence. Journal of Logic and Computation 13 1 (2003) 111-145
36. Spohn W. Ordinal conditional functions: a dynamic theory of epistemic state. In: Harper W.L., and Skyrms B. (Eds). Causation in Decision: Belief, Change and Statistics: Proceedings of the Irvine Conference on Probability and Causation, vol. II (1988), Kluwer Academic Publisher, Dordrecht 105-134
37. Spohn W. A reason for explanation: explanations provide stable reasons. In: Spohn W., et al. (Ed). Existence and Explanation (1991), Kluwer Academic Publisher, Dordrecht 165-196
38. Williams M.-A. Two operators for theory bases. Proceedings of the Australian Joint Artificial Intelligence Conference (1992), World Scientific 259-265
39. Williams M.-A. Transmutations of knowledge systems. In: Doyle J., Sandewall E., and Torasso P. (Eds). Principles of Knowledge Representation and Reasoning (KR) (1994), Morgan Kaufmann 619-629