Change search
ReferencesLink to record
Permanent link

Direct link
AGM 25 Years: Twenty-Five Years of Research in Belief Change
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2011 (English)In: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 40, no 2, 295-331 p.Article in journal (Refereed) Published
Abstract [en]

The 1985 paper by Carlos Alchourrn (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.

Place, publisher, year, edition, pages
2011. Vol. 40, no 2, 295-331 p.
Keyword [en]
Belief change, Belief revision, Theory change, Partial meet contraction, Partial meet revision, AGM, Carlos Alchourron, Peter Gardenfors, David Makinson
National Category
URN: urn:nbn:se:kth:diva-39202DOI: 10.1007/s10992-011-9171-9ISI: 000288264500008ScopusID: 2-s2.0-79952582604OAI: diva2:439622
Available from: 2011-09-08 Created: 2011-09-08 Last updated: 2012-02-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
In the same journal
Journal of Philosophical Logic

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 51 hits
ReferencesLink to record
Permanent link

Direct link