Abstract
We offer a solution to the triviality result by Gärdenfors. His result claims that there are no non-trivial belief revision systems which satisfy the AGM postulates and are compatible with the Ramsey Test. We show that this result does no longer apply if we restrict some of the AGM postulates to deal only with the non-conditional part of epistemic states.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C.E. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: partial meet contraction and revision functions, Journal of Symbolic Logic, 50:510–530, 1985.
A. Darwiche, J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89: 1–29, 1997.
N. Friedman, J.Y. Halpern, Conditional Logics of Belief Change, in Proceedings of the National Conference on Artificial Intelligence (AAAI 94):915–921, 1994.
P. Gärdenfors, Belief Revision and the Ramsey Test for Conditionals, The Philosophical Review, 1996.
P. Gärdenfors, Variations on the Ramsey Test: more Triviality Results, Studia Logica 46: 319–325, 1987.
P. Gärdenfors, Knowledge in flux: modeling the dynamics of epistemic states, MIT Press, Cambridge, Massachussets, 1988.
L. Giordano, V. Gliozzi, N. Olivetti, A Conditional Logic for Belief Revision, in Proc. JELIA’98, LNAI 1489, Springer, 294–308, 1998.
L. Giordano, V. Gliozzi, N. Olivetti, A Conditional Logic for Iterated Belief Revision, in ECAI2000, Proc. 14th European Conference on Artificial Intelligence, W. Horn (ed.), IOS Press, Berlin, 2000.
L. Giordano, V. Gliozzi, N. Olivetti, Conditional Logic and Iterated Belief Revision, Studia Logica, Special Issue on Belief Revision, 2001.
G. Grahne, Updates and Counterfactuals, Journal of Logic and Computation, Vol 8 No.1:87–117, 1998.
H. Katsuno, A.O. Mendelzon, On the Difference between Updating a Knowledge Base and Revising it, in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
I. Levi, Iteration of Conditionals and the Ramsey Test, Synthese, 76: 49–81, 1988.
S. Lindström, W. Rabinowicz, The Ramsey Test revisited, in Crocco, Fariñas del Cerro, Herzig (eds.) Conditionals from Philosophy to Computer Science, Oxford University Press, 1995.
D. Makinson, The Gärdenfors impossibility theorem in non-monotonic contexts, Studia Logica, vol 46: 1–6, 1990.
W. Nejdl, M. Banagl, Asking About Possibilities-Revision and Update semantics for Subjunctive Queries, in Lakemayer, Nebel, Lecture Notes in Artificial Intelligence: 250–274, 1994.
F.P. Ramsey, in A. Mellor (editor), Philosophical Papers, Cambridge University Press, Cambridge, 1990.
H. Rott, Ifs, though and because, Erkenntnis, vol.25, pp.345–370.
M. D. Ryan and P.-Y. Schobbens. Counterfactuals and updates as inverse modalities. Journal of Logic, Language and Information, 6, pp. 123–146, 1997.
W. Spohn, Ordinal conditional functions: a dynamic theory of epistemic states, in W. L. Harper and B. Skyrms, (eds.), Causation in Decision, Belief Change and Statistics 2, 105–134, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giordano, L., Gliozzi, V., Olivetti, N. (2001). Belief Revision and the Ramsey Test: A Solution. In: Esposito, F. (eds) AI*IA 2001: Advances in Artificial Intelligence. AI*IA 2001. Lecture Notes in Computer Science(), vol 2175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45411-X_18
Download citation
DOI: https://doi.org/10.1007/3-540-45411-X_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42601-1
Online ISBN: 978-3-540-45411-3
eBook Packages: Springer Book Archive