Abstract
In this paper we introduce a conditional logic BC to represent belief revision. Logic BC has a standard semantics in terms of possible worlds structures with a selection function and has strong similarities with Stalnaker’s logic C2. Moreover, Gärdenfors’ Triviality Result does not apply to BC. We provide a representation result, which shows that each belief revision system corresponds to a BC-model and every BC model satisfying the covering condition determines a belief revision system.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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, in Journal of Symbolic Logic, 50:510–530, 1985.
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, in The Philosophical Review, 1996.
P. Gärdenfors, Belief Revision, in D. Gabbay (ed.), Handbook of Logic in Artificial Intelligence, 1995.
P. Gärdenfors, Knowledge in flux: modeling the dynamics of epistemic states, MIT Press, Cambridge, Massachussets, 1988.
G. Grahne, Updates and Counterfactuals, in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pp. 269–276.
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), pp. 406–412.
D. Lehmann, Belief revision revised, in Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI’95), pp. 1534–1540.
I. Levi, Iteration of Conditionals and the Ramsey Test, in Synthese: 49–81, 1988.
D. Lewis, Counterfactuals, Blackwell, 1973.
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.
D. Nute, Topics in Conditional Logic, Reidel, Dordrecht, 1980.
D. Nute, Conditional Logic, in Handbook of Philosophical Logic, Vol. II, 387–439, 1984.
F.P. Ramsey, in A. Mellor (editor), Philosophical Papers, Cambridge University Press, Cambridge, 1990.
R. Stalnaker, A Theory of Conditional, in N. Rescher (ed.), Studies in Logical Theory, American Philosophical Quarterly, Monograph Series no.2, Blackwell, Oxford: 98–112.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giordano, L., Gliozzi, V., Olivetti, N. (1998). A Conditional Logic for Belief Revision. In: Dix, J., del Cerro, L.F., Furbach, U. (eds) Logics in Artificial Intelligence. JELIA 1998. Lecture Notes in Computer Science(), vol 1489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49545-2_20
Download citation
DOI: https://doi.org/10.1007/3-540-49545-2_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65141-3
Online ISBN: 978-3-540-49545-1
eBook Packages: Springer Book Archive