Browsing by Author "Hansson, Sven Ove"
Now showing 1 - 4 of 4
Results Per Page
Sort Options
- AGM 25 years: twenty-five years of research in belief changePublication . Fermé, Eduardo; Hansson, Sven OveThe 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, 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.
- Credibility limited revisionPublication . Hansson, Sven Ove; Fermé, Eduardo Leopoldo; Cantwell, John; Falappa, Marcelo AlejandroFive types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
- Editorial introduction—25 years of AGM theoryPublication . Fermé, Eduardo; Hansson, Sven Ove
- Selective revisionPublication . Fermé, Eduardo L.; Hansson, Sven OveWe introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.