Abstract
In the previous chapter we presented some operators that could be used to perform revision in the AGM sense and action updates complying with Katsuno and Mendelzon’s semantical characterisation of these operations.
It is well known that even though the postulates capture the intuitions behind rational changes of belief and the expected properties of the execution of actions, they are severely limited by the lack of extra information supporting the representation of the current state of affairs or beliefs. Some of these limitations were discussed in Chapter 2 in the sections related to the iteration of the revision process. In particular, the realisation of the initial corpus of beliefs (or the description of the world in the case of action updates) into a unit with little structure (a formula in the finite case or a theory, otherwise) brings several difficulties to reasoning about more sophisticated scenarios.
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
M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. In Paul Rosenbloom and Peter Szolovits, editors, Proceedings of the Seventh National Conference on Artificial Intelligence, volume 2, pages 475–479, Menlo Park, California, 1988. AAAI Press.
F. C. C. Dargam. On Reconciling Conflicting Updates (A Compromise Revision Approach). PhD thesis, Department of Computing, Imperial College, October 1996.
A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89:1–29, 1997.
R. Fagin, J. D. Ullman, and M. Vardi. On the semantics of updates in databases. In Proceedings of the ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 352–365, Atlanta, GA, 1983. ACM.
D. M. Gabbay and O. Rodrigues. A methodology for iterated theory change. In D. M. Gabbay and Hans Jürgen Ohlbach, editors, Practical Reasoning — First International Conference on Formal and Applied Practical Reasoning, FAPR’96, Lecture Notes in Artificial Intelligence. Springer Verlag, 1996.
D. M. Gabbay and O. Rodrigues. Structured belief bases: a practical approach to prioritised base revision. In D. M. Gabbay, Rudolf Kruse, Andreas Nonnengart, and Hans Jürgen Ohlbach, editors, Proceedings of First Internation Joint Conference on Qualitative and Quantitative Practical Reasoning, pages 267–281. Springer-Verlag, June 1997.
P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. A Bradford Book — The MIT Press, Cambridge, Massachusetts, and London, England, 1988.
P. Gärdenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Moshe Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–95, Monterey, California, March 1988. Morgan Kaufmann.
P. Gärdenfors and H. Rott. Belief revision. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pages 35–132. Oxford University Press, 1995.
S. O. Hansson. A dyadic representation of belief. Belief Revision, pages 89–121, 1992.
S. O. Hansson. A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, The Netherlands, 1999.
G. Harman. Change in View: Principles of Reasoning. MIT Press, Cambridge, Massachussetts, 1986.
H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52(3):263–294, 1991.
S. Konieczny and R. P. Pérez. A framework for iterated revision, 2000.
D. Lehmann. Belief revision, revised. In Proceedings of the 14th International Joint Conference of Artificial Intelligence (IJCAI-95), pages 1534–1540, 1995.
D. Makinson. How to give it up: a survey of some recent work on formal aspects of the logic of theory change. Synthese, 62:347–363, 1985.
B. Nebel. A knowledge level analysis of belief revision. In Ron J. Brachman, Hector J. Levesque, and R. Reiter, editors, Proceedings of the first International Conference on Principles of Knowledge Representation and Reasoning, pages 301–311. Morgan Kaufmann, Toronto, Ontario, 1989.
B. Nebel. Belief revision and default reasoning: Syntax-based approaches. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pages 417–428. Morgan Kaufmann, 1991.
B. Nebel. Syntax-based approaches to belief revision. In P. Gärdenfors, editor, Belief Revision, number 29 in Cambridge Tracts in Theoretical Computer Science, pages 52–88. Cambridge University Press, 1992.
O. Rodrigues. A methodology for iterated information change. PhD thesis, Department of Computing, Imperial College, 1998.
H. Rott. Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information, 1:45–78, 1992.
M. D. Ryan. Ordered Presentation of Theories — Default Reasoning and Belief Revision. PhD thesis, Department of Computing, Imperial College, U.K., 1992.
M. Winslett. Reasoning about action using a possible models approach. In Proceedings of AAAI-88, pages 89–93, San Mateo, CA, Saint Paul, MN, 1988. Morgan Kaufmann.
M. Winslett. Epistemic aspects of databases. In C. J. Hogger D. M. Gabbay and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pages 133–174. Oxford University Press, 1995.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gabbay, D.M., Rodrigues, O.T., Russo, A. (2010). Iterating Revision. In: Revision, Acceptability and Context. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14159-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-14159-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14158-4
Online ISBN: 978-3-642-14159-1
eBook Packages: Computer ScienceComputer Science (R0)