The measurement of ranks and the laws of iterated contraction

Artificial Intelligence

Volumn 172, Issue 10, 2008, Pages 1195-1218

  Hild, Matthias ^a   Spohn, Wolfgang ^b  

^a UNIVERSITY OF VIRGINIA   (United States)

^b UNIVERSITY OF KONSTANZ   (Germany)

Author keywords

Belief revision theory; Contraction; Difference measurement; Iterated contraction; Ranking theory

Indexed keywords

COMPUTATIONAL METHODS; ITERATIVE METHODS;

DIFFERENCE MEASUREMENT; ITERATED CONTRACTION; RANKING FUNCTIONS; RANKING THEORY;

ARTIFICIAL INTELLIGENCE;

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

References (35)

1. Alchourrón C.E., Gärdenfors P., and Makinson D. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50 (1985) 510-530
2. Bochman A. Contraction of epistemic states: A general theory. In: Williams M.-A., and Rott H. (Eds). Frontiers in Belief Revision (1999), Kluwer, Dordrecht 195-220
3. C. Boutilier, Revision sequences and nested conditionals, in: R. Bajcsy (Ed.), IJCAI-93-Proceedings of the 13th International Joint Conference on Artificial Intelligence, 1993, pp. 519-525
4. Boutilier C. Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic 25 (1996) 263-305
5. Cantwell J. On the logic of small changes in hypertheories. Theoria 63 (1997) 54-89
6. Cohen L.J. The Implications of Induction (1970), Methuen, London
7. Darwiche A., and Pearl J. On the logic of iterated belief revision. Artificial Intelligence 89 (1997) 1-29
8. Dubois D., and Prade H. Possibilistic inference under matrix form. In: Prade H., and Negoita C.V. (Eds). Fuzzy Logic in Knowledge Engineering (1986), Verlag TÜV Rheinland, Köln 112-126
9. Dubois D., and Prade H. Possibility Theory: An Approach to Computerized Processing of Uncertainty (1988), Plenum Press, New York
10. Dubois D., Moral S., and Prade H. Belief change rules in ordinal and numerical uncertainty theories. In: Gabbay D.M., and Smets P. (Eds). Handbook of Defeasible Reasoning and Uncertainty Management Systems vol. 3 (1998), Kluwer, Dordrecht 311-392
11. Fermé E., and Rott H. Revision by comparison. Artificial Intelligence 157 (2004) 5-47
12. Gärdenfors P. Conditionals and changes of belief. In: Niiniluoto I., and Tuomela R. (Eds). The Logic and Epistemology of Scientific Change (Acta Philosophica Fennica 30) (1978), North-Holland, Amsterdam 381-404
13. Gärdenfors P. Knowledge in Flux (1988), MIT Press, Cambridge, MA
14. Gärdenfors P., and Rott H. Belief revision. In: Gabbay D.M., Hogger C.J., and Robinson J.A. (Eds). Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, Epistemic and Temporal Reasoning (1995), Oxford University Press, Oxford 35-132
15. Goldszmidt M., and Pearl J. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84 (1996) 57-112
16. Halpern J.Y. Reasoning about Uncertainty (2003), MIT Press, Cambridge, MA
17. Hansson S.O. Reversing the Levi identity. Journal of Philosophical Logic 22 (1993) 637-669
18. M. Hild, A representation theorem for iterated contraction, unpublished manuscript, 1997
19. Huber F. Ranking functions and rankings on languages. Artificial Intelligence 170 (2006) 462-471
20. Jeffrey R.C. The Logic of Decision (1965), University of Chicago Press, Chicago second ed. 1983
21. Krantz D.H., Luce R.D., Suppes P., and Tversky A. Foundations of Measurement, vol. 1 (1971), Academic Press, New York vol. 2, 1989, vol. 3, 1990
22. Lehmann D. Belief revision, revised. In: Mellish C.S. (Ed). IJCAI '95-Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 2 (1995), Morgan Kaufmann, San Mateo 1534-1540
23. Levi I. Mild Contraction: Evaluating Loss of Information Due to Loss of Belief (2004), Oxford University Press, Oxford
24. Nayak A.C. Iterated belief change based on epistemic entrenchment. Erkenntnis 41 (1994) 353-390
25. A.C. Nayak, R. Goebel, M.A. Orgun, Iterated belief change from first principles, in: IJCAI-07. Proceedings of the 20th International Joint Conference of Artificial Intelligence, 2007, pp. 2568-2573
26. Rott H. Coherence and conservatism in the dynamics of belief. Part I: Finding the right framework. Erkenntnis 50 (1999) 387-412
27. Rott H. Change, Choice, and Inference. A Study of Belief Revision and Nonmonotonic Reasoning (2001), Oxford University Press, Oxford
28. Rott H. Shifting priorities: Simple representations for twenty seven iterated theory change operators. In: Makinson D., Malinowski J., and Wansing H. (Eds). Towards Mathematical Philosophy (2008), Springer, Dordrecht
29. Shackle G.L.S. Decision, Order, and Time in Human Affairs. second ed. (1961), Cambridge University Press, Cambridge 1969
30. W. Spohn, Eine Theorie der Kausalität, unpublished Habilitationsschrift, Universität München, 1983, available at: http://www.uni-konstanz.de/FuF/Philo/Philosophie/Spohn/spohn_files/Habilitation.pdf
31. Spohn W. Ordinal conditional functions. A dynamic theory of epistemic states. In: Harper W.L., and Skyrms B. (Eds). Causation in Decision, Belief Change, and Statistics, vol. II (1988), Kluwer, Dordrecht 105-134
32. W. Spohn, Ranking functions, AGM style, in: B. Hansson, S. Halldén, N.-E. Sahlin, W. Rabinowicz (Eds.), Internet-Festschrift for Peter Gärdenfors, 1999, http://www.lucs.lu.se/spinning/
33. Spohn W. A survey of ranking theory. In: Huber F., and Schmidt-Petri C. (Eds). Degrees of Belief. An Anthology (2008), Springer, Dordrecht
34. von Neumann J., and Morgenstern O. Theory of Games and Economic Behavior (1944), Princeton University Press, Princeton second ed. 1947
35. Williams M.-A. Iterated theory base change: A computational model. In: Mellish C.S. (Ed). IJCAI '95-Proceedings of the 14th International Joint Conference on Artificial Intelligence vol. 2 (1995), Morgan Kaufmann, San Mateo 1541-1547