A Unified Treatment for Knowledge Dynamics.
Isabelle Bloch, Ramón Pino-Pérez, Carlos Enrique Uzcategui · 2004
Using morpho-logics we show how to find explanations of observations, how to perform revision, contraction, fusion, in an unified way. In the framework of abduction, we show how to deal with observations inconsistent with the background theory and introduce methods to treat multiple observations. Based on these ideas we introduce a dynamics for transforming the background theory in function of observations.