Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal and Applied Practical Reasoning

FAPR 1996: Practical Reasoning pp 193–207Cite as

A methodology for iterated theory change

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1085))

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].

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. A. del Val and Y. Shoham. A unified view of belief revision and update. Journal of Logic and Computation, 4(5):797–810, 1994.

    Google Scholar 

  4. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.

    Google Scholar 

  5. Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. A Bradford Book-The MIT Press, Cambridge, Massachusetts-London, England, 1988.

    Google Scholar 

  6. Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263–294, 1991.

    Article  Google Scholar 

  7. Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. Belief Revision, pages 183–203, 1992.

    Google Scholar 

  8. David K. Lewis. Counterfactuals. Harvard University Press, 1973.

    Google Scholar 

  9. David Makinson. Five faces of minimality. Studia Logica, 52:339–379, 1993.

    Article  Google Scholar 

  10. Odinaldo Rodrigues. Transfer report: Mphil/phd. Imperial College of Science, Technology and Medicine, February 1996. Department of Computing.

    Google Scholar 

  11. Mark Ryan. Ordered Presentation of Theories — Default Reasoning and Belief Revision. PhD thesis, Department of Computing, Imperial College, U.K., 1992.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, 180 Queen's Gate, SW7 2BZ, London, UK

    Dov Gabbay & Odinaldo Rodrigues

Authors
  1. Dov Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Odinaldo Rodrigues
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation