Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Logic, Rationality and Interaction

LORI 2009: Logic, Rationality, and Interaction pp 42–54Cite as

A General Family of Preferential Belief Removal Operators

  • Conference paper

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

Abstract

Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in [5]. However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of [5] to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on finite prioritised belief bases.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Article  MathSciNet  MATH  Google Scholar 

  2. Benferhat, S., Lagrue, S., Papini, O.: Revision of partially ordered information: Axiomatization, semantics and iteration. In: Pack Kaelbling, L., Saffiotti, A. (eds.) IJCAI, pp. 376–381. Professional Book Center (2005)

    Google Scholar 

  3. Bochman, A.: A Logical Theory of Nonmonotonic Inference and Belief Change. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  4. Booth, R., Chopra, S., Ghose, A., Meyer, T.: Belief liberation (and retraction). Studia Logica 79(1), 47–72 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  5. Booth, R., Chopra, S., Meyer, T., Ghose, A.: A unifying semantics for belief change. In: Proceedings of ECAI 2004, pp. 793–797 (2004)

    Google Scholar 

  6. Booth, R., Meyer, T.: Equilibria in social belief removal. In: KR, pp. 145–155 (2008)

    Google Scholar 

  7. Cantwell, J.: Relevant contraction. In: Proceedings of the Dutch-German Workshop on Non-Monotonic Reasoning, DGNMR 1999 (1999)

    Google Scholar 

  8. Cantwell, J.: Eligible contraction. Studia Logica 73, 167–182 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  9. Arló Costa, H.: Rationality and value: The epistemological role of indeterminate and agent-dependent values. Philosophical Studies 128(1), 7–48 (2006)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. Hansson, S.O.: Changes on disjunctively closed bases. Journal of Logic, Language and Information 2, 255–284 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  12. Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  14. Levi, I.: The Fixation of Belief and Its Undoing. Cambridge University Press, Cambridge (1991)

    Book  Google Scholar 

  15. Maynard-Zhang, P., Lehmann, D.: Representing and aggregating conflicting beliefs. Journal of Artificial Intelligence Research 19, 155–203 (2003)

    MathSciNet  MATH  Google Scholar 

  16. Meyer, T., Heidema, J., Labuschagne, W., Leenen, L.: Systematic withdrawal. Journal of Philosophical Logic 31(5), 415–443 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  17. Rott, H.: Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information 1, 45–78 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  18. Rott, H.: Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning. Oxford University Press, Oxford (2001)

    MATH  Google Scholar 

  19. Rott, H., Pagnucco, M.: Severe withdrawal (and recovery). Journal of Philosophical Logic 28, 501–547 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  20. Shoham, Y.: A semantical approach to nonmonotic logics. In: LICS, pp. 275–279 (1987)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, Mahasarakham University, Mahasarakham, 44150, Thailand

    Richard Booth & Chattrakul Sombattheera

  2. Meraka Institute, CSIR and School of Computer Science, University of Kwazulu-Natal, South Africa

    Thomas Meyer

Authors
  1. Richard Booth
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chattrakul Sombattheera
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Logic and Intelligence, Southwest University, 2, Tiansheng Road, 400715, Chongqing, China

    Xiangdong He

  2. Philosophy Department, University of Maryland, Institute for Advanced Computer Studies (UMIACS), 20742, College Park, MD, USA

    John Horty

  3. Center for Logic and Philosophy of Science, Tilburg University, Dante Building, 5000, Tilburg, LE, The Netherlands

    Eric Pacuit

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Booth, R., Meyer, T., Sombattheera, C. (2009). A General Family of Preferential Belief Removal Operators. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04893-7_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04892-0

  • Online ISBN: 978-3-642-04893-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation