Abstract
In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl's ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors' Triviality Result.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
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.
C. Boutilier, Revision sequences and nested conditionals, in Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambery, pp. 519-525.
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), pp. 915-921, 1994.
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, to appear in ECAI2000, Proc. 14th European Conference on Artificial Intelligence, W. Horn (ed.), IOS Press, Berlin, 2000, pp. 28-32.
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.
H. Katsuno, K. Satoh, A unified view of consequence relation, belief revision and conditional logic, in Proc. 12th International Joint Conference on Artificial Intelligence (IJCAI'91), 1991, pp. 406-412.
D. Lehmann, Belief revision revised, in Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI'95), 1995, pp. 1534-1540.
D. Lewis, Counterfactuals, Blackwell, 1973.
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.
W. Nejdl, M. Banagl, Asking about possibilities-revision and update semantics for subjunctive queries, in Lakemayer, Nebel, Foundations of Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 810: 250-274, 1994.
D. Nute, Topics in Conditional Logic, Reidel, Dordrecht, 1980.
F. P. Ramsey, in A. Mellor (editor), Philosophical Papers, Cambridge University Press, Cambridge, 1990.
M. D. Ryan and P.-Y. Schobbens, Counterfactuals and updates as inverse modalities, Journal of Logic, Language and Information, 6, pp. 123-146, 1997.
R. Stalnaker, A theory of conditionals, in N. Rescher (ed.), Studies in Logical Theory, American Philosophical Quarterly, Monograph Series no. 2, Blackwell, Oxford: 98-112, 1968.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Giordano, L., Gliozzi, V. & Olivetti, N. Iterated Belief Revision and Conditional Logic. Studia Logica 70, 23–47 (2002). https://doi.org/10.1023/A:1014602224874
Issue Date:
DOI: https://doi.org/10.1023/A:1014602224874