Skip to main content
SpringerLink
Log in

Accommodative Belief Revision

  • Conference paper
Logics in Artificial Intelligence (JELIA 2008)

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

Included in the following conference series:

Abstract

Accommodative revision is a novel method of non-prioritized belief revision. The epistemic state of an agent contains both knowledge that is immune to revision and beliefs that are allowed to change. Incoming information is first revised by the knowledge of the agent, and then the epistemic state of the agent is revised using this modified input. The properties of the method are studied and examples of its use are given.

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

Access this chapter

Log in via an institution
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. The Journal of Symbolic Logic 50(2), 510–530 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bellot, D., Godefroid, C., Han, P., Prost, J.P., Schlechta, K., Wurbel, E.: A semantical approach to the concept of screened revision. Theoria 63, 24–33 (1997)

    MathSciNet  Google Scholar 

  3. Benferhat, S., Kaci, S., Le Berre, D., Williams, M.-A.: Weakening conflicting information for iterated revision and knowledge integration. Artificial Intelligence 153, 339–371 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  4. Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Transactions on Database Systems 10(4), 565–603 (1985)

    Article  Google Scholar 

  5. Cravo, M.R., Cachopo, J.P., Cachopo, A.C., Martins, J.P.: Permissive belief revision. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 335–348. Springer, Heidelberg (2001)

    Google Scholar 

  6. Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In: Proceedings of the AAAI-88 Seventh National Conference on Artificial Intelligence, pp. 475–479. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  7. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. In: Fagin, R. (ed.) Theoretical Aspects of Reasoning about Knowledge. Proceedings of the Fifth Conference (TARK 1994), pp. 5–23 (1994)

    Google Scholar 

  8. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89(1-2), 1–29 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  9. Delgrande, J.P., Liu, D.H., Schaub, T., Thiele, S.: COBA 2.0: A consistency-based belief change system. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 78–90. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Eloranta, S.: Updating the knowledge base (in Finnish). Technical Report C-1995-5, Department of Computer Science, University of Helsinki (1995)

    Google Scholar 

  11. Eloranta, S.: Dynamic features of the knowledge base. Technical Report C-2004-90, Department of Computer Science, University of Helsinki (2004)

    Google Scholar 

  12. Fermé, E.L., Hansson, S.O.: Selective revision. Studia Logica 63(3), 331–342 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  13. Freund, M., Lehmann, D.: Belief revision and rational inference. Technical Report TR 94-16, Hebrew University (1994)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  15. Hansson, S.O.: Belief contraction without recovery. Studia Logica 50(2), 251–260 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  16. Hansson, S.O.: A survey of non-prioritized belief revision. Erkenntnis 50(2-3), 413–427 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  17. Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)

    Google Scholar 

  18. Katsuno, H., Mendelzon, A.O.: Propositional knowledgebase revision and minimal change. Artificial Intelligence 52(3), 263–294 (1992)

    Article  MathSciNet  Google Scholar 

  19. Makinson, D.: Screened revision. Theoria 63, 14–23 (1997)

    Article  MathSciNet  Google Scholar 

  20. Maranhão, J.: Refinement: A tool to deal with inconsistencies. In: Proceedings of the Eighth International Conference on Artificial Intelligence and Law, ICAIL 2001, pp. 52–59 (2001)

    Google Scholar 

  21. Jones, S.P.: Haskell 98 Language and Libraries: the Revised Report. Cambridge University Press, Cambridge (2003); Journal of Functional Programming 13(1) (2003)

    Google Scholar 

  22. Reiter, R.: On integrity constraints. In: 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 97–111. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  23. Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 455–462 (1988)

    Google Scholar 

  24. Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic state. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. II, pp. 105–134. Kluwer Academic Publishers, Dordrecht (1988)

    Google Scholar 

  25. Weber, A.: Updating propositional formulas. In: Proceedings of the First International Conference on Expert Database Systems (1986)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Helsinki, P.O. Box 68, (Gustaf Hällströmin katu 2b), FIN-00014, Finland

    Satu Eloranta & Olli Niinivaara

  2. Department of Philosophy, University of Helsinki, P.O. Box 9, (Siltavuorenpenger 20 A), FIN-00014, Finland

    Raul Hakli

  3. Department of Computer Science, University of Kuopio, P.O. Box 1627, FIN-70211, Kuopio, Finland

    Matti Nykänen

Authors
  1. Satu Eloranta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raul Hakli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Olli Niinivaara
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matti Nykänen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, TU Dresden, Germany

    Steffen Hölldobler

  2. Institut für Theoretische Informatik, TU Dresden, Germany

    Carsten Lutz

  3. Institute of Philosophy, Dresden University of Technology, Dresden, Germany

    Heinrich Wansing

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eloranta, S., Hakli, R., Niinivaara, O., Nykänen, M. (2008). Accommodative Belief Revision. In: Hölldobler, S., Lutz, C., Wansing, H. (eds) Logics in Artificial Intelligence. JELIA 2008. Lecture Notes in Computer Science(), vol 5293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87803-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87803-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87802-5

  • Online ISBN: 978-3-540-87803-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation