Studia Logica

, Volume 79, Issue 1, pp 47–72

Belief Liberation (and Retraction)

  • Richard Booth
  • Samir Chopra
  • Aditya Ghose
  • Thomas Meyer
Article

DOI: 10.1007/s11225-005-0494-9

Cite this article as:
Booth, R., Chopra, S., Ghose, A. et al. Stud Logica (2005) 79: 47. doi:10.1007/s11225-005-0494-9

Abstract

We provide a formal study of belief retraction operators that do not necessarily satisfy the (Inclusion) postulate. Our intuition is that a rational description of belief change must do justice to cases in which dropping a belief can lead to the inclusion, or ‘liberation’, of others in an agent's corpus. We provide two models of liberation via retraction operators: ρ-liberation and linear liberation. We show that the class of ρ-liberation operators is included in the class of linear ones and provide axiomatic characterisations for each class. We show how any retraction operator (including the liberation operators) can be ‘converted’ into either a withdrawal operator (i.e., satisfying (Inclusion)) or a revision operator via (a slight variant of) the Harper Identity and the Levi Identity respectively.

Keywords

Belief revision AGM theory contraction withdrawal Inclusion postulate 

Copyright information

© Springer Science + Business Media, Inc. 2005

Authors and Affiliations

  • Richard Booth
    • 1
  • Samir Chopra
    • 1
  • Aditya Ghose
    • 1
  • Thomas Meyer
    • 1
  1. 1.Department of Computer ScienceUniversity of LeipzigLeipzigGermany
  2. 2.Department of Computer ScienceBrooklyn College of CUNYBrooklynUSA
  3. 3.School of IT and Computer ScienceUniversity of WollongongWollongongAustralia
  4. 4.National ICT Australia, School of Computer Science and EngineeringUniversity of New South WalesAustralia

Personalised recommendations