Abstract
Although the crucial role of if-then-conditionals for the dynamics of knowledge has been known for several decades, they do not seem to fit well in the framework of classical belief revision theory. In particular, the propositional paradigm of minimal change guiding the AGM-postulates of belief revision proved to be inadequate for preserving conditional beliefs under revision. In this paper, we present a thorough axiomatization of a principle of conditional preservation in a very general framework, considering the revision of epistemic states by sets of conditionals. This axiomatization is based on a non-standard approach to conditionals, which focuses on their dynamic aspects, and uses the newly introduced notion of conditional valuation functions as representations of epistemic states. In this way, probabilistic revision as well as possibilistic revision and the revision of ranking functions can all be dealt with within one framework. Moreover, we show that our approach can also be applied in a merely qualitative environment, extending AGM-style revision to properly handling conditional beliefs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
S. Benferhat, D. Dubois, and H. Prade. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence, 92:259–276, 1997.
S. Benferhat, A. Saffiotti, and P. Smets. Belief functions and default reasoning. Artificial Intelligence, 122:1–69, 2000.
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.
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.
I. Csiszár. I-divergence geometry of probability distributions and minimization problems. Ann. Prob., 3:146–158, 1975.
A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1–29, 1997.
B. DeFinetti. Theory of Probability, volume 1,2. John Wiley and Sons, New York, 1974.
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.
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.
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.
B. Fine and G. Rosenberger. Algebraic Generalizations of Discrete Groups. Dekker, New York, Basel, 1999.
M. Freund. Preferential orders and plausibility measures. J. Logic Computat., 8:147–158, 1998.
N. Friedman and J.Y. Halpern. Plausibility measures and default reasoning. In Proceedings 13th National Conference on Artificial Intelligence, AAAI-96, volume 2, 1996.
P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, Mass., 1988.
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.
M. Goldszmidt and J. Pearl. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence, 84:57–112, 1996.
H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263–294, 1991.
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.
G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artificial Intelligence, 98:169–208, 1998.
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.
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.
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.
G. Kern-Isberner. Conditional preservation and conditional indifference. Journal of Applied Non-Classical Logics, 11(1—2):85–106, 2001.
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.
G. Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087, 2001.
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.
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.
R. Kruse, E. Schwecke, and J. Heinsohn. Uncertainty and Vagueness in Knowledge Based Systems. Springer, Berlin Heidelberg New York, 1991.
I. Levi. Iteration of conditionals and the Ramsey test. Synthese, 76:49–81, 1988.
R.C. Lyndon and P.E. Schupp. Combinatorial group theory. Springer, Berlin Heidelberg New York, 1977.
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.
J.B. Paris. The uncertain reasoner’s companion-A mathematical perspective. Cambridge University Press, 1994.
J.B. Paris and A. Vencovská. A method for updating that justifies minimum cross entropy. International Journal of Approximate Reasoning, 7:1–18, 1992.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kern-Isberner, G. (2002). The Principle of Conditional Preservation in Belief Revision. In: Eiter, T., Schewe, KD. (eds) Foundations of Information and Knowledge Systems. FoIKS 2002. Lecture Notes in Computer Science, vol 2284. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45758-5_8
Download citation
DOI: https://doi.org/10.1007/3-540-45758-5_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43220-3
Online ISBN: 978-3-540-45758-9
eBook Packages: Springer Book Archive