Abstract
In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Gerhard Brewka and Joachim Hertzberg. How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation, 3(5):517–532, 1993.
M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. Proceedings of the 7th National Conference on Artificial Intelligence, pages 475–479, 1988.
A. del Val and Y. Shoham. A unified view of belief revision and update. Journal of Logic and Computation, 4(5):797–810, 1994.
H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. A Bradford Book-The MIT Press, Cambridge, Massachusetts-London, England, 1988.
Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263–294, 1991.
Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. Belief Revision, pages 183–203, 1992.
David K. Lewis. Counterfactuals. Harvard University Press, 1973.
David Makinson. Five faces of minimality. Studia Logica, 52:339–379, 1993.
Odinaldo Rodrigues. Transfer report: Mphil/phd. Imperial College of Science, Technology and Medicine, February 1996. Department of Computing.
Mark Ryan. Ordered Presentation of Theories — Default Reasoning and Belief Revision. PhD thesis, Department of Computing, Imperial College, U.K., 1992.
Alvaro Del Val. Computing knowledge base updates. In B. Nebel, C. Rich, and W. Swartout, editors, Proc. Third International Conference on Principles of Knowledge Representation and Reasoning (KR '92), pages 740–750. Morgan Kaufmann, San Francisco, CA, 1992.
Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of AAAI-88, St Pauls, MS, pages 89–93, San Mateo, CA, 1988. Morgan Kaufmann.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gabbay, D., Rodrigues, O. (1996). A methodology for iterated theory change. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_73
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_73
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive