Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Nonmonotonic and Inductive Logic

NIL 1990: Nonmonotonic and Inductive Logic pp 233–243Cite as

Is it impossible to keep up to date?

  • Conference paper
  • First Online:

  • 130 Accesses

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

Abstract

Two different types of updates of information states are distinguished corresponding to two different kinds of incoming information: information about the actual state of domain; and information about changes made to the state of that domain. Gärdenfors [1986] proves a theorem showing that the first kind of update function can have certain intuitively appealing properties only on pain of triviality. Here a similar trivialisation result is proved for the second kind of update function.

This paper is an improved and shortened version of an unpublished manuscript by the first author. The second author sharpened up the main result of that paper by simplifying to the version presented here.

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.

Literature

  • Gärdenfors, P. “Belief Revisions and the Ramsey Test for Conditionals”, Philosophical Review, 95, 1986.

    Google Scholar 

  • Gärdenfors, P. Knowledge in Flux, Bradford Books, MIT Press, Cambridge, Mass., 1988.

    Google Scholar 

  • Jeffrey, R.C. The Logic of Decision, McGraw Hill, New York, 1965.

    Google Scholar 

  • Katsuno, H., & Mendelzon, A. “On the Difference Between Updating a Knowledge Database and Revising It”, Technical Report, University of Toronto, 1990.

    Google Scholar 

  • Morreau, M. “Planning from First Principles”, in P. Gärdenfors (ed.), Belief Revision, Cambridge University Press, Cambridge 1991.

    Google Scholar 

  • Rott, H. “A Nonmonotonic Conditional Logic for Belief Revision I”, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Springer, Berlin, 1991.

    Google Scholar 

  • Winslett, M. “Reasoning about action using a possible models approach”, in Proceedings of AAAI, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IMS, Universität Stuttgart, Keplerstr 17, D-7000, Stuttgart 1

    M. Morreau

  2. Fachgruppe Philosophie, Universität Konstanz, Postfach 5560, D-7750, Konstanz 1

    H. Rott

Authors
  1. M. Morreau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Rott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Dix K. P. Jantke P. H. Schmitt

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Morreau, M., Rott, H. (1991). Is it impossible to keep up to date?. In: Dix, J., Jantke, K.P., Schmitt, P.H. (eds) Nonmonotonic and Inductive Logic. NIL 1990. Lecture Notes in Computer Science, vol 543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023327

Download citation

  • DOI: https://doi.org/10.1007/BFb0023327

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54564-4

  • Online ISBN: 978-3-540-38469-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation