Skip to main content

Is Revision a Special Kind of Update?

  • Conference paper
Book cover AI 2011: Advances in Artificial Intelligence (AI 2011)

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

Included in the following conference series:

Abstract

It is widely acknowledged that belief revision and belief update are two very different types of processes – one is appropriate to model belief change in a static environment, the other in a dynamic environment. Technically speaking, the former is constructed with the aid of a global preference ordering over possible worlds as the selection mechanism, and the latter with the aid of a family of such local orderings. It has been argued that update can be defined via revision. In this paper I argue that indeed revision can be defined via update in a restricted sense if a distance function is used as the selection mechanism.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50, 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. Audibert, L., Lhoussaine, C., Schlechta, K.: Distance based revision of preferential logics. Logic Journal of the IGPL 7(4), 429–446 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  3. Ben-Naim, J.: Lack of finite characterizations for the distance-based revision. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 239–248. AAAI Press (2006)

    Google Scholar 

  4. Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books, MIT Press, Cambridge (1988)

    MATH  Google Scholar 

  5. Gärdenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. In: Procs. of the 2nd TARK, pp. 83–96 (1988)

    Google Scholar 

  6. Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157–170 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  7. Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Gärdenfors, P. (ed.) Belief Revision, pp. 183–203. CUP (1992)

    Google Scholar 

  8. Lehmann, D.J., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symb. Log. 66(1), 295–317 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  9. Lewis, D.: Probabilities of conditionals and conditional probabilities. The Philosophical Review 85(3), 297–315 (1976)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nayak, A.C. (2011). Is Revision a Special Kind of Update?. In: Wang, D., Reynolds, M. (eds) AI 2011: Advances in Artificial Intelligence. AI 2011. Lecture Notes in Computer Science(), vol 7106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25832-9_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25832-9_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25831-2

  • Online ISBN: 978-3-642-25832-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics