The principle of conditional preservation in belief revision

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2284, Issue , 2002, Pages 105-129

  Kern Isberner, Gabriele ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

AXIOMATIZATION; BELIEF REVISION; DYNAMIC ASPECTS; EPISTEMIC STATE; POSSIBILISTIC; RANKING FUNCTIONS; VALUATION FUNCTION;

ARTIFICIAL INTELLIGENCE;

EID: 84956967624     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45758-5_8     Document Type: Conference Paper

References (38)

1. C.E. 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):510–530, 1985.
2. S. Benferhat, D. Dubois, and H. Prade. Representing default rules in possibilistic logic. In Proceedings 3th International Conference on Principles of Knowledge Representation and Reasoning KR’92, pages 673–684, 1992.
3. S. Benferhat, D. Dubois, and H. Prade. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence, 92:259–276, 1997.
4. S. Benferhat, A. Saffiotti, and P. Smets. Belief functions and default reasoning. Artificial Intelligence, 122:1–69, 2000.
5. C. Boutilier and M. Goldszmidt. Revision by conditional beliefs. In Proceedings 11th National Conference on Artificial Intelligence (AAAI’93), pages 649–654, Washington, DC., 1993.
6. P.G. Calabrese. Deduction and inference using conditional logic and probability. In I.R. Goodman, M.M. Gupta, H.T. Nguyen, and G.S. Rogers, editors, Conditional Logic in Expert Systems, pages 71–100. Elsevier, North Holland, 1991.
7. I. Csiszár. I-divergence geometry of probability distributions and minimization problems. Ann. Prob., 3:146–158, 1975.
8. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1–29, 1997.
9. B. DeFinetti. Theory of Probability, volume 1,2. John Wiley and Sons, New York, 1974.
10. J.P. Delgrande and T. Schaub. A consistency-based model for belief change: Preliminary report. In Proceedings AAAI-2000, pages 392–398, Austin, TX, 2000.
11. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In D.M. Gabbay, C.H. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3. Oxford University Press, 1994.
12. D. Dubois and H. Prade. A survey of belief revision and updating rules in various uncertainty models. Intern. Journal of Intelligent Systems, 9:61–100, 1994.
13. B. Fine and G. Rosenberger. Algebraic Generalizations of Discrete Groups. Dekker, New York, Basel, 1999.
14. M. Freund. Preferential orders and plausibility measures. J. Logic Computat., 8:147–158, 1998.
15. N. Friedman and J.Y. Halpern. Plausibility measures and default reasoning. In Proceedings 13th National Conference on Artificial Intelligence, AAAI-96, volume 2, 1996.
16. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, Mass., 1988.
17. M. Goldszmidt, P. Morris, and J. Pearl. A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions on Pattern Analysis and Machine Intelligence, 15(3):220–232, 1993.
18. M. Goldszmidt and J. Pearl. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence, 84:57–112, 1996.
19. H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263–294, 1991.
20. H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, KR’91, pages 387–394, San Mateo, Ca., 1991. Morgan Kaufmann.
21. G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence, 98:169–208, 1998.
22. G. Kern-Isberner. Postulates for conditional belief revision. In Proceedings Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99, pages 186–191. Morgan Kaufmann, 1999.
23. G. Kern-Isberner. A unifying framework for symbolic and numerical approaches to nonmonotonic reasoning and belief revision. Department of Computer Science, FernUniversität Hagen, 1999. Habilitation thesis.
24. G. Kern-Isberner. Solving the inverse representation problem. In Proceedings 14th European Conference on Artificial Intelligence, ECAI’2000, pages 581–585, Berlin, 2000. IOS Press.
25. G. Kern-Isberner. Conditional preservation and conditional indifference. Journal of Applied Non-Classical Logics, 11(1-2):85–106, 2001.
26. G. Kern-Isberner. Conditionals in knowledge representation and belief revision. In Proceedings Fifth Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their applications, DGNMR’01, Potsdam, Germany, 2001.
27. G. Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087, 2001.
28. G. Kern-Isberner. Handling conditionals adequately in uncertain reasoning. In Proceedings European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01, pages 604–615. Springer LNAI 2143, 2001.
29. G. Kern-Isberner. Representing and learning conditional information in possibility theory. In Proceedings 7th Fuzzy Days,Dortmund, Germany, pages 194–217. Springer LNCS 2206, 2001.
30. R. Kruse, E. Schwecke, and J. Heinsohn. Uncertainty and Vagueness in Knowledge Based Systems. Springer, Berlin Heidelberg New York, 1991.
31. I. Levi. Iteration of conditionals and the Ramsey test. Synthese, 76:49–81, 1988.
32. R.C. Lyndon and P.E. Schupp. Combinatorial group theory. Springer, Berlin Heidelberg New York, 1977.
33. D. Makinson and P. Gärdenfors. Relations between the logic of theory change and nonmonotonic logic. In Proceedings Workshop The Logic of Theory Change, Konstanz, Germany, 1989, pages 185–205, Berlin Heidelberg New York, 1991. Springer.
34. J.B. Paris. The uncertain reasoner’s companion – A mathematical perspective. Cambridge University Press, 1994.
35. J.B. Paris and A. Vencovská. A method for updating that justifies minimum cross entropy. International Journal of Approximate Reasoning, 7:1–18, 1992.
36. F.P. Ramsey. General propositions and causality. In R.B. Braithwaite, editor, Foundations of Mathematics and other logical essays, pages 237–257. Routledge and Kegan Paul, New York, 1950.
37. J.E. Shore and R.W. Johnson. Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy. IEEE Transactions on Information Theory, IT-26:26–37, 1980.
38. W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In W.L. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, II, pages 105–134. Kluwer Academic Publishers, 1988.