INVESTIGADORES
BECHER veronica Andrea
congresos y reuniones científicas
Título:
Unified Semantics for Revision and Update, or the Theory of Lazy Update
Autor/es:
BECHER, VERÓNICA
Lugar:
Buenos Aires
Reunión:
Jornada; roceedings of the 24 Jornadas Argentinas de Informática e Investigación Operativa (JAIIO); 1995
Institución organizadora:
Universidad de Buenos Aires
Resumen:
This paper deals with the connection between two formalisms for theory change: the AGM model of revision and the Katsuno-Mendelzon model of update.Revision and update have been considered orthogonal operations serving different purposes. However, there have been no attempts ofrecasting one function in terms of the other one, and this is what this work addresses.We semantically recast the AGM revision function as a special case of update. The strategy is to define a global notion of distance (from the theory under update) in terms of the indexical orderings of comparative similarity. We show that the change-operation entailed by this global distance is precisely an AGM revision function. This result allows for conclusions about the two fundamentally different forms of theory change.
