INVESTIGADORES
BECHER veronica Andrea
capítulos de libros
Título:
Iterable AGM functions
Autor/es:
CARLOS ARECES; VERÓNICA BECHER
Libro:
Frontiers of Belief Revision
Editorial:
Kluwer Academic Publishers
Referencias:
Lugar: Dordrecht/Boston?London; Año: 2001; p. 261 - 278
Resumen:
ABSTRACT: The AGM model Alchourron et al., 1985] has been criticized for not addressing the problem of iterated change. This is true, but in some cases the invalid claim that \AGM does not allow iteration" has been made. In this paper we examine the most elementary scheme of iteration: a binary operation * de ned for any theory K and any formula . We naturally extend the AGM model showing that it is in fact compatible with iteration. Following Alchourron and Makinson's early reference to an iterated form of the safe contraction function, we provide extended constructions for each of the ve AGM presentations (meet functions, systems of spheres, postulates, epistemic entrenchments and safe hierarchies) and prove their equivalence.
