A thorough axiomatization of a principle of conditional preservation in belief revision

Annals of Mathematics and Artificial Intelligence

Volumn 40, Issue 1-2, 2004, Pages 127-164

  Kern Isberner, Gabriele ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Belief revision; Conditional preservation; Conditionals; Epistemic states; Iterated revision

Indexed keywords

EID: 0346495954     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026110129951     Document Type: Conference Paper

References (45)

1. C. Alchourrón, P. Gärdenfors and P. Makinson, On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic 50(2) (1985) 510-530.
2. C. Beierle and G. Kern-Isberner, Modelling conditional knowledge discovery and belief revision by abstract state machines, in: Abstract State Machines 2003 - Advances in Theory and Applications, Proc. of the 10th Internat. Workshop, ASM'2003, eds. E. Boerger, A. Gargantini and E. Riccobene, Lecture Notes in Computer Science, Vol. 2589 (Springer, New York, 2003) pp. 186-203.
3. S. Benferhat, D. Dubois and H. Prade, Representing default rules in possibilistic logic, in: Proc. of the 3th Internat. Conf. on Principles of Knowledge Representation and Reasoning KR'92 (1992) pp. 673-684.
4. S. Benferhat, D. Dubois and H. Prade, Nonmonotonic reasoning, conditional objects and possibility theory, Artificial Intelligence 92 (1997) 259-276.
5. S. Benferhat, A. Saffiotti and P. Smets, Belief functions and default reasoning, Artificial Intelligence 122 (2000) 1-69.
6. C. Boutilier and M. Goldszmidt, Revision by conditional beliefs, in: Proc. of the 11th National Conf. on Artificial Intelligence (AAAI'93), Washington, DC (1993) pp. 649-654.
7. P. Calabrese, Deduction and inference using conditional logic and probability, in: Conditional Logic in Expert Systems, eds. I. Goodman, M. Gupta, H. Nguyen and G. Rogers (Elsevier/North-Holland, Amsterdam, 1991) pp. 71-100.
8. R. Cowell, A. Dawid, S. Lauritzen and D. Spiegelhalter, Probabilistic Networks and Expert System (Springer, Berlin, 1999).
9. I. Csiszár, I-divergence geometry of probability distributions and minimization problems, Annals of Probability 3 (1975) 146-158.
10. A. Darwiche and J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89 (1997) 1-29.
11. B. DeFinetti, Theory of Probability, Vols. 1,2 (Wiley, New York, 1974).
12. J. Delgrande and T. Schaub, A consistency-based model for belief change: Preliminary repor, in: Proc. of AAAI-2000, Austin, TX (2000) pp. 392-398.
13. D. Dubois, J. Lang and H. Prade, Possibilistic logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, eds. D. Gabbay, C. Hogger and J. Robinson, Vol. 3 (Oxford Univ. Press, Oxford, 1994).
14. D. Dubois and H. Prade, Conditioning, non-monotonic logic and nonstandard uncertainty models, in: Conditional Logic in Expert Systems, eds. I. Goodman, M. Gupta, H. Nguyen and G. Rogers (Elsevier/North Holland, Amsterdam, 1991) pp. 115-158.
15. D. Dubois and H. Prade, A survey of belief revision and updating rules in various uncertainty models, International Journal of Intelligent Systems 9 (1994) 61-100.
16. B. Fine and G. Rosenberger, Algebraic Generalizations of Discrete Groups (Marcel Dekker, New York/Basel, 1999).
17. M. Freund, Preferential orders and plausibility measures, Journal of Logic Computation 8 (1998) 147-158.
18. N. Friedman and J. Halpern, Plausibility measures and default reasoning, in: Proc. of the 13th National Conf. on Artificial Intelligence, AAAI-96, Vol. 2 (1996).
19. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States (MIT Press, Cambridge, MA, 1988).
20. M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to nonmonotonic reasoning, IEEE Transactions on Pattern Analysis and Machine Intelligence 15(3) (1993) 220-232.
21. M. Goldszmidt and J. Pearl, Qualitative probabilities for default reasoning, belief revision, and causal modeling, Artificial Intelligence 84 (1996) 57-112.
22. H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, in: Proc. of the 2nd Internat. Conf. on Principles of Knowledge Representation and Reasoning, KR'91, San Mateo, CA (Morgan Kaufmann, Los Altos, CA, 1991) pp. 387-394.
23. H. Katsuno and A. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence 52 (1991) 263-294.
24. G. Kern-Isberner, Characterizing the principle of minimum cross-entropy within a conditional-logical framework, Artificial Intelligence 98 (1998) 169-208.
25. G. Kern-Isberner, Postulates for conditional belief revision, in: Proc. of the 16th Internat. Joint Conf. on Artificial Intelligence, IJCAI-99 (Morgan Kaufmann, Los Altos, CA, 1999) pp. 186-191.
26. G. Kern-Isberner, A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision, Habilitation thesis, Department of Computer Science, Fern Universität Hagen (1999).
27. G. Kern-Isberner, Solving the inverse representation problem, in: Proc. of the 14th European Conf. on Artificial Intelligence, ECAI'2000 (IOS Press, Berlin, 2000) pp. 581-585.
28. G. Kern-Isberner, Conditional indifference and conditional preservation, Journal of Applied Non-Classical Logics 11(1/2) (2001) 85-106.
29. G. Kern-Isberner, Conditionals in knowledge representation and belief revision, in: Proc. of the 15th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, DGNMR'01, Potsdam, Germany (2001).
30. G. Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief Revision, Lecture Notes in Artificial Intelligence, Vol. 2087 (Springer, Berlin, 2001).
31. G. Kern-Isberner, Handling conditionals adequately in uncertain reasoning, in: Proc. of the European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU'01, Lecture Notes in Artificial Intelligence, Vol. 2143 (Springer, Berlin, 2001) pp. 604-615.
32. G. Kern-Isberner, Representing and learning conditional information in possibility theory, in: Proc. of the 7th Fuzzy Days, Dortmund, Germany, Lecture Notes in Computer Science, Vol. 2206 (Springer, New York, 2001) pp. 194-217.
33. G. Kern-Isberner, The principle of conditional preservation in belief revision, in: Proc. of the 2nd Internat. Symposium on Foundations of Information and Knowledge Systems, FoIKS 2002, Lecture Notes in Computer Science, Vol. 2284 (Springer, New York, 2002) pp. 105-129.
34. G. Kern-Isberner, A structural approach to default reasoning, in: Proc. of the 8th Internat. Conf. on Principles of Knowledge Representation and Reasoning, KR'2002, San Francisco, CA (Morgan Kaufmann, Los Altos, CA, 2002) pp. 147-157.
35. R. Kruse, E. Schwecke and J. Heinsohn, Uncertainty and Vagueness in Knowledge Based Systems (Springer, Berlin, 1991).
36. I. Levi, Iteration of conditionals and the Ramsey test, Synthese 76 (1988) 49-81.
37. R. Lyndon and P. Schupp, Combinatorial Group Theory (Springer, Berlin, 1977).
38. D. Makinson and P. Gärdenfors, Relations between the logic of theory change and nonmonotonic logic, in: Proc. of the Workshop on the Logic of Theory Change, Konstanz, Germany, 1989 (Springer, Berlin, 1991) pp. 185-205.
39. J. Paris, The Uncertain Reasoner's Companion - A Mathematical Perspective (Cambridge Univ. Press, Cambridge, 1994).
40. J. Paris and A. Vencovská, A method for updating that justifies minimum cross entropy, International Journal of Approximate Reasoning 7 (1992) 1-18.
41. J. Pearl, Probabilistic Reasoning in Intelligent Systems (Morgan Kaufmann, San Mateo, CA., 1988).
42. F. Ramsey, General propositions and causality, in: Foundations of Mathematics and Other Logical Essays, ed. R. Braithwaite (Routledge and Kegan Paul, New York, 1950) pp. 237-257.
43. J. Shore and R. Johnson, Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy, IEEE Transactions on Information Theory 26 (1980) 26-37.
44. W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, in: Causation in Decision, Belief Change, and Statistics, Vol. II, eds. W. Harper and B. Skyrms (Kluwer Academic Publishers, Dordrecht, 1988) pp. 105-134.
45. E. Walker, Stone algebras, conditional events, and three valued logic, IEEE Transactions on Systems, Man, and Cybernetics (Special Issue on the Conditional Event Algebra) 24(12) (1994) 1699-1707.