Twenty Five Years of Research in Belief Change
The 1985 paper by Carlos Alchourron (1931 1996) Peter Gardenfors, and David Makinson (AGM) "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model.